clang/test/SemaObjCXX/arc-unavailable-for-weakref.mm

   1 // RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fsyntax-only -fobjc-arc -verify %s
   2 // RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fsyntax-only -fobjc-weak -verify %s
   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 __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                              // expected-error {{explicit ownership qualifier on cast result has no effect}}
  35 }
  36
  37 @protocol P @end
  38 @protocol P1 @end
  39
  40 NOWEAK<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