1// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fobjc-runtime-has-weak -fsyntax-only -fobjc-arc -verify -Wno-objc-root-class %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                           // expected-error {{explicit ownership qualifier on cast result has no effect}}
20}
21
22// rdar://9732636
23__attribute__((objc_arc_weak_reference_unavailable))
24@interface NOWEAK
25+ (id) new;
26@end
27
28NOWEAK * Test1() {
29  NOWEAK * strong1 = [NOWEAK new];
30  __weak id weak1;
31  weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
32
33  __weak id weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
34  return (__weak id)strong1; // expected-error {{cast of weak-unavailable object of type 'NOWEAK *' to a __weak object of type '__weak id'}} \
35                             // expected-error {{explicit ownership qualifier on cast result has no effect}}
36}
37
38@protocol P @end
39@protocol P1 @end
40
41NOWEAK<P, P1> * Test2() {
42  NOWEAK<P, P1> * strong1 = 0;
43  __weak id<P> weak1;
44  weak1 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
45
46  __weak id<P> weak2 = strong1; // expected-error {{assignment of a weak-unavailable object to a __weak object}}
47  return (__weak id<P>)strong1; // expected-error {{cast of weak-unavailable object of type 'NOWEAK<P,P1> *' to a __weak object of type '__weak id<P>'}} \
48                                // expected-error {{explicit ownership qualifier on cast result has no effect}}
49}
50
51// rdar://10535245
52__attribute__((objc_arc_weak_reference_unavailable))
53@interface NSFont
54@end
55
56@interface I
57{
58}
59@property (weak) NSFont *font; // expected-error {{synthesizing __weak instance variable of type 'NSFont *', which does not support weak references}}
60@end
61
62@implementation I // expected-note {{when implemented by class I}}
63@synthesize font = _font;
64@end
65
66// rdar://13676793
67@protocol MyProtocol
68@property (weak) NSFont *font; // expected-error {{synthesizing __weak instance variable of type 'NSFont *', which does not support weak references}}
69@end
70
71@interface I1 <MyProtocol>
72@end
73
74@implementation I1 // expected-note {{when implemented by class I1}}
75@synthesize font = _font;
76@end
77
78@interface Super
79@property (weak) NSFont *font;  // expected-error {{synthesizing __weak instance variable of type 'NSFont *', which does not support weak references}}
80@end
81
82
83@interface I2 : Super
84@end
85
86@implementation I2 // expected-note {{when implemented by class I2}}
87@synthesize font = _font;
88@end
89
90__attribute__((objc_arc_weak_reference_unavailable(1)))	// expected-error {{'objc_arc_weak_reference_unavailable' attribute takes no arguments}}
91@interface I3
92@end
93