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 // expected-error {{explicit ownership qualifier on cast result has no effect}} 20 } 21 22 // rdar://9732636 23 __attribute__((objc_arc_weak_reference_unavailable)) 24 @interface NOWEAK 25 + (id) new; 26 @end 27 28 NOWEAK * Test1() { 29 NOWEAK * strong1 = [NOWEAK new]; 30 __weak id weak1; 31 weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}} 32 33 __weak id weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}} 34 return (__weak id)strong1; // expected-error {{cast of weak-unavailable object of type 'NOWEAK *' to a __weak object of type '__weak id'}} \ 35 // expected-error {{explicit ownership qualifier on cast result has no effect}} 36 } 37 38 @protocol P @end 39 @protocol P1 @end 40 41 NOWEAK<P, P1> * Test2() { 42 NOWEAK<P, P1> * strong1 = 0; 43 __weak id<P> weak1; 44 weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}} 45 46 __weak id<P> weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}} 47 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>'}} \ 48 // expected-error {{explicit ownership qualifier on cast result has no effect}} 49 } 50 51
