| // RUN: %clang_cc1 -fsyntax-only -fobjc-runtime-has-weak -fobjc-weak -fblocks -Wno-objc-root-class -std=c++98 -Wno-c++0x-extensions -verify %s |
| |
| @interface AnObject |
| @property(weak) id value; |
| @end |
| |
| __attribute__((objc_arc_weak_reference_unavailable)) |
| @interface NOWEAK : AnObject // expected-note 2 {{class is declared here}} |
| @end |
| |
| struct S { |
| __weak id a; // expected-note {{because type 'S' has a member with __weak ownership}} |
| }; |
| |
| union U { |
| __weak id a; |
| S b; // expected-error {{union member 'b' has a non-trivial copy constructor}} |
| }; |
| |
| void testCast(AnObject *o) { |
| __weak id a = reinterpret_cast<__weak NOWEAK *>(o); // expected-error {{class is incompatible with __weak references}} \ |
| // expected-error {{explicit ownership qualifier on cast result has no effect}} \ |
| // expected-error {{assignment of a weak-unavailable object to a __weak object}} |
| |
| __weak id b = static_cast<__weak NOWEAK *>(o); // expected-error {{class is incompatible with __weak references}} \ |
| // expected-error {{explicit ownership qualifier on cast result has no effect}} \ |
| // expected-error {{assignment of a weak-unavailable object to a __weak object}} |
| } |