50 lines · plain
1// RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fsyntax-only -fobjc-arc -verify %s2// RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fsyntax-only -fobjc-weak -verify %s3 4__attribute__((objc_arc_weak_reference_unavailable))5@interface NSOptOut1072 // expected-note {{class is declared here}}6@end7 8@interface sub : NSOptOut1072 @end // expected-note 2 {{class is declared here}}9 10int 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__attribute__((objc_arc_weak_reference_unavailable))23@interface NOWEAK24+ (id) new;25@end26 27NOWEAK * 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 // expected-error {{explicit ownership qualifier on cast result has no effect}}35}36 37@protocol P @end38@protocol P1 @end39 40NOWEAK<P, P1> * Test2() {41 NOWEAK<P, P1> * strong1 = 0;42 __weak id<P> weak1;43 weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}44 45 __weak id<P> weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}46 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>'}} \47 // expected-error {{explicit ownership qualifier on cast result has no effect}}48}49 50