1// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fobjc-default-synthesize-properties -fobjc-runtime-has-weak -fsyntax-only -fobjc-arc -verify -Wno-objc-root-class %s 2// rdar://9340606 3 4@interface Foo { 5@public 6 id __unsafe_unretained x; // expected-error {{existing instance variable 'x' for strong property 'x' may not be __unsafe_unretained}} 7 id __weak y; // expected-error {{existing instance variable 'y' for strong property 'y' may not be __weak}} 8 id __autoreleasing z; // expected-error {{instance variables cannot have __autoreleasing ownership}} 9} 10@property(strong) id x; // expected-note {{property declared here}} 11@property(strong) id y; // expected-note {{property declared here}} 12@property(strong) id z; 13@end 14 15@implementation Foo 16@synthesize x; // expected-note {{property synthesized here}} 17@synthesize y; // expected-note {{property synthesized here}} 18@synthesize z; // suppressed 19@end 20 21@interface Bar { 22@public 23 id __unsafe_unretained x; // expected-error {{existing instance variable 'x' for strong property 'x' may not be __unsafe_unretained}} 24 id __weak y; // expected-error {{existing instance variable 'y' for strong property 'y' may not be __weak}} 25 id __autoreleasing z; // expected-error {{instance variables cannot have __autoreleasing ownership}} 26} 27@property(retain) id x; // expected-note {{property declared here}} 28@property(retain) id y; // expected-note {{property declared here}} 29@property(retain) id z; 30@end 31 32@implementation Bar 33@synthesize x; // expected-note {{property synthesized here}} 34@synthesize y; // expected-note {{property synthesized here}} 35@synthesize z; // suppressed 36@end 37 38@interface Bas { 39@public 40 id __unsafe_unretained x; // expected-error {{existing instance variable 'x' for strong property 'x' may not be __unsafe_unretained}} 41 id __weak y; // expected-error {{existing instance variable 'y' for strong property 'y' may not be __weak}} 42 id __autoreleasing z; // expected-error {{instance variables cannot have __autoreleasing ownership}} 43} 44@property(copy) id x; // expected-note {{property declared here}} 45@property(copy) id y; // expected-note {{property declared here}} 46@property(copy) id z; 47@end 48 49@implementation Bas 50@synthesize x; // expected-note {{property synthesized here}} 51@synthesize y; // expected-note {{property synthesized here}} 52@synthesize z; // suppressed 53@end 54 55@interface Bat 56@property(strong) __unsafe_unretained id x; // expected-error {{strong property 'x' may not also be declared __unsafe_unretained}} 57@property(strong) __autoreleasing id z; // expected-error {{strong property 'z' may not also be declared __autoreleasing}} 58@end 59 60@interface Bau 61@property(retain) __unsafe_unretained id x; // expected-error {{strong property 'x' may not also be declared __unsafe_unretained}} 62@property(retain) __autoreleasing id z; // expected-error {{strong property 'z' may not also be declared __autoreleasing}} 63@end 64 65@interface Bav 66@property(copy) __unsafe_unretained id x; // expected-error {{strong property 'x' may not also be declared __unsafe_unretained}} 67@property(copy) __autoreleasing id z; // expected-error {{strong property 'z' may not also be declared __autoreleasing}} 68@end 69 70// rdar://9341593 71@interface Gorf { 72 id __unsafe_unretained x; 73 id y; // expected-error {{existing instance variable 'y' for property 'y' with assign attribute must be __unsafe_unretained}} 74} 75@property(assign) id __unsafe_unretained x; 76@property(assign) id y; // expected-note {{property declared here}} 77@property(assign) id z; 78@end 79 80@implementation Gorf 81@synthesize x; 82@synthesize y; // expected-note {{property synthesized here}} 83@synthesize z; 84@end 85 86@interface Gorf2 { 87 id __unsafe_unretained x; 88 id y; // expected-error {{existing instance variable 'y' for property 'y' with unsafe_unretained attribute must be __unsafe_unretained}} 89} 90@property(unsafe_unretained) id __unsafe_unretained x; 91@property(unsafe_unretained) id y; // expected-note {{property declared here}} 92@property(unsafe_unretained) id z; 93@end 94 95@implementation Gorf2 96@synthesize x; 97@synthesize y; // expected-note {{property synthesized here}} 98@synthesize z; 99@end 100 101// rdar://9355230 102@interface I { 103 char _isAutosaving; 104} 105@property char isAutosaving; 106 107@end 108 109@implementation I 110@synthesize isAutosaving = _isAutosaving; 111@end 112 113// rdar://10239594 114// Test for 'Class' properties being unretained. 115@interface MyClass { 116@private 117 Class _controllerClass; 118 id _controllerId; 119} 120@property (copy) Class controllerClass; 121@property (copy) id controllerId; 122@end 123 124@implementation MyClass 125@synthesize controllerClass = _controllerClass; 126@synthesize controllerId = _controllerId; 127@end 128 129// rdar://10630891 130@interface UIView @end 131@class UIColor; 132 133@interface UIView(UIViewRendering) 134@property(nonatomic,copy) UIColor *backgroundColor; 135@end 136 137@interface UILabel : UIView 138@end 139 140@interface MyView 141@property (strong) UILabel *label; 142@end 143 144@interface MyView2 : MyView @end 145 146@implementation MyView2 147- (void)foo { 148 super.label.backgroundColor = 0; 149} 150@end 151 152// rdar://10694932 153@interface Baz 154@property id prop; 155@property __strong id strong_prop; 156@property (strong) id strong_attr_prop; 157@property (strong) __strong id realy_strong_attr_prop; 158+ (id) alloc; 159- (id) init; 160- (id) implicit; 161- (void) setImplicit : (id) arg; 162@end 163 164void foo(Baz *f) { 165 f.prop = [[Baz alloc] init]; 166 f.strong_prop = [[Baz alloc] init]; 167 f.strong_attr_prop = [[Baz alloc] init]; 168 f.realy_strong_attr_prop = [[Baz alloc] init]; 169 f.implicit = [[Baz alloc] init]; 170} 171 172// rdar://11253688 173@interface Boom 174@property (readonly) const void * innerPointer __attribute__((objc_returns_inner_pointer)); // expected-error {{'objc_returns_inner_pointer' attribute only applies to methods}} 175@end 176 177@interface Foo2 { 178 id _prop; // expected-error {{existing instance variable '_prop' for property 'prop' with assign attribute must be __unsafe_unretained}} 179} 180@property (nonatomic, assign) id prop; // expected-note {{property declared here}} 181@end 182 183@implementation Foo2 184@end 185