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