Home | History | Annotate | Download | only in SemaObjCXX
      1 // RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fsyntax-only -fobjc-arc -verify %s
      2 // rdar://9693477
      3 
      4 __attribute__((objc_arc_weak_reference_unavailable))
      5 @interface NSOptOut1072  // expected-note {{class is declared here}}
      6 @end
      7 
      8 @interface sub : NSOptOut1072 @end // expected-note 2 {{class is declared here}}
      9 
     10 int main() {
     11   __weak sub *w2; // expected-error {{class is incompatible with __weak references}}
     12 
     13   __weak NSOptOut1072 *ns1; // expected-error {{class is incompatible with __weak references}}
     14 
     15   id obj;
     16 
     17   ns1 = (__weak sub *)obj; // expected-error {{assignment of a weak-unavailable object to a __weak object}} \
     18                            // expected-error {{class is incompatible with __weak references}}
     19 }
     20 
     21 // rdar://9732636
     22 __attribute__((objc_arc_weak_reference_unavailable))
     23 @interface NOWEAK
     24 + (id) new;
     25 @end
     26 
     27 NOWEAK * Test1() {
     28   NOWEAK * strong1 = [NOWEAK new];
     29   __weak id weak1;
     30   weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
     31 
     32   __weak id weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
     33   return (__weak id)strong1; // expected-error {{cast of weak-unavailable object of type 'NOWEAK *' to a __weak object of type '__weak id'}}
     34 }
     35 
     36 @protocol P @end
     37 @protocol P1 @end
     38 
     39 NOWEAK<P, P1> * Test2() {
     40   NOWEAK<P, P1> * strong1 = 0;
     41   __weak id<P> weak1;
     42   weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
     43 
     44   __weak id<P> weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
     45   return (__weak id<P, P1>)strong1; // expected-error {{cast of weak-unavailable object of type 'NOWEAK<P,P1> *' to a __weak object of type '__weak id<P,P1>'}}
     46 }
     47 
     48