arc-unavailable-for-weakref.mm revision d1e40d5389a4382cbebc97d54792f41ee0414af4 
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
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}
20
21// rdar://9732636
22__attribute__((objc_arc_weak_reference_unavailable))
23@interface NOWEAK
24+ (id) new;
25@end
26
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}
35
36@protocol P @end
37@protocol P1 @end
38
39NOWEAK<P, P1> * Test2() {
40  NOWEAK<P, P1> * strong1 = 0;
41  __weak id<P> weak1;
42  weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
43
44  __weak id<P> weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
45  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>'}}
46}
47
48