1 // RUN: %clang_cc1 -fsyntax-only -Wno-incomplete-implementation -verify -fblocks %s 2 3 #define NS_DESIGNATED_INITIALIZER __attribute__((objc_designated_initializer)) 4 #define NS_UNAVAILABLE __attribute__((unavailable)) 5 6 void fnfoo(void) NS_DESIGNATED_INITIALIZER; // expected-error {{only applies to init methods of interface or class extension declarations}} 7 8 @protocol P1 9 -(id)init NS_DESIGNATED_INITIALIZER; // expected-error {{only applies to init methods of interface or class extension declarations}} 10 @end 11 12 __attribute__((objc_root_class)) 13 @interface I1 14 -(void)meth NS_DESIGNATED_INITIALIZER; // expected-error {{only applies to init methods of interface or class extension declarations}} 15 -(id)init NS_DESIGNATED_INITIALIZER; 16 +(id)init NS_DESIGNATED_INITIALIZER; // expected-error {{only applies to init methods of interface or class extension declarations}} 17 @end 18 19 @interface I1(cat) 20 -(id)init2 NS_DESIGNATED_INITIALIZER; // expected-error {{only applies to init methods of interface or class extension declarations}} 21 @end 22 23 @interface I1() 24 -(id)init3 NS_DESIGNATED_INITIALIZER; 25 @end 26 27 @implementation I1 28 -(void)meth {} 29 -(id)init NS_DESIGNATED_INITIALIZER { return 0; } // expected-error {{only applies to init methods of interface or class extension declarations}} 30 +(id)init { return 0; } 31 -(id)init3 { return 0; } 32 -(id)init4 NS_DESIGNATED_INITIALIZER { return 0; } // expected-error {{only applies to init methods of interface or class extension declarations}} \ 33 // expected-warning {{convenience initializer missing a 'self' call to another initializer}} 34 @end 35 36 __attribute__((objc_root_class)) 37 @interface B1 38 -(id)initB1 NS_DESIGNATED_INITIALIZER; // expected-note 6 {{method marked as designated initializer of the class here}} 39 -(id)initB2; 40 @end 41 42 @interface B1() 43 -(id)initB3 NS_DESIGNATED_INITIALIZER; // expected-note 4 {{method marked as designated initializer of the class here}} 44 @end; 45 46 @implementation B1 47 -(id)initB1 { return 0; } 48 -(id)initB2 { return 0; } // expected-warning {{convenience initializer missing a 'self' call to another initializer}} 49 -(id)initB3 { return 0; } 50 @end 51 52 @interface S1 : B1 53 -(id)initS1 NS_DESIGNATED_INITIALIZER; // expected-note {{method marked as designated initializer of the class here}} 54 -(id)initS2 NS_DESIGNATED_INITIALIZER; 55 -(id)initS3 NS_DESIGNATED_INITIALIZER; // expected-note 2 {{method marked as designated initializer of the class here}} 56 -(id)initB1; 57 @end 58 59 @interface S1() 60 -(id)initS4 NS_DESIGNATED_INITIALIZER; // expected-note 2 {{method marked as designated initializer of the class here}} 61 @end 62 63 @implementation S1 64 -(id)initS1 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 65 return 0; 66 } 67 -(id)initS2 { 68 return [super initB1]; 69 } 70 -(id)initS3 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 71 return [super initB2]; // expected-warning {{designated initializer invoked a non-designated initializer}} 72 } 73 -(id)initS4 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 74 return [self initB1]; // expected-warning {{designated initializer should only invoke a designated initializer on 'super'}} 75 } 76 -(id)initB1 { 77 return [self initS1]; 78 } 79 -(id)initB3 { 80 return [self initS1]; 81 } 82 @end 83 84 @interface S2 : B1 85 -(id)initB1; 86 @end 87 88 @interface SS2 : S2 89 -(id)initSS1 NS_DESIGNATED_INITIALIZER; 90 @end 91 92 @implementation SS2 // expected-warning {{method override for the designated initializer of the superclass '-initB1' not found}} \ 93 // expected-warning {{method override for the designated initializer of the superclass '-initB3' not found}} 94 -(id)initSS1 { 95 return [super initB1]; 96 } 97 @end 98 99 @interface S3 : B1 100 -(id)initS1 NS_DESIGNATED_INITIALIZER; // expected-note {{method marked as designated initializer of the class here}} 101 @end 102 103 @interface SS3 : S3 104 -(id)initSS1 NS_DESIGNATED_INITIALIZER; // expected-note 2 {{method marked as designated initializer of the class here}} 105 @end 106 107 @implementation SS3 // expected-warning {{method override for the designated initializer of the superclass '-initS1' not found}} 108 -(id)initSS1 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 109 return [super initB1]; // expected-warning {{designated initializer invoked a non-designated initializer}} 110 } 111 @end 112 113 @interface S4 : B1 114 -(id)initB1; 115 -(id)initB3; 116 @end 117 118 @implementation S4 119 -(id)initB1 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 120 return 0; 121 } 122 -(id)initB3 { 123 return [super initB3]; 124 } 125 @end 126 127 @interface S5 : B1 128 -(void)meth; 129 @end 130 131 @implementation S5 132 -(id)initB1 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 133 return 0; 134 } 135 -(id)initB3 { 136 [self initB1]; // expected-warning {{designated initializer should only invoke a designated initializer on 'super'}} 137 S5 *s; 138 [s initB1]; 139 [self meth]; 140 void (^blk)(void) = ^{ 141 [self initB1]; // expected-warning {{designated initializer should only invoke a designated initializer on 'super'}} 142 }; 143 return [super initB3]; 144 } 145 -(void)meth {} 146 @end 147 148 @interface S6 : B1 149 -(id)initS1 NS_DESIGNATED_INITIALIZER; 150 -(id)initS2; 151 -(id)initS3; 152 -(id)initS4; 153 @end 154 155 @implementation S6 // expected-warning {{method override for the designated initializer of the superclass '-initB1' not found}} \ 156 // expected-warning {{method override for the designated initializer of the superclass '-initB3' not found}} 157 -(id)initS1 { 158 return [super initB1]; 159 } 160 -(id)initS2 { // expected-warning {{convenience initializer missing a 'self' call to another initializer}} 161 return [super initB1]; // expected-warning {{convenience initializer should not invoke an initializer on 'super'}} 162 } 163 -(id)initS3 { 164 return [self initB1]; 165 } 166 -(id)initS4 { 167 return [self initS1]; 168 } 169 -(id)initS5 { 170 [super initB1]; // expected-warning {{convenience initializer should not invoke an initializer on 'super'}} 171 void (^blk)(void) = ^{ 172 [super initB1]; // expected-warning {{convenience initializer should not invoke an initializer on 'super'}} 173 }; 174 return [self initS1]; 175 } 176 -(id)initS6 { // expected-warning {{convenience initializer missing a 'self' call to another initializer}} 177 S6 *s; 178 return [s initS1]; 179 } 180 @end 181 182 @interface SS4 : S4 183 -(id)initB1; 184 @end 185 186 @implementation SS4 187 -(id)initB1 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 188 return 0; 189 } 190 @end 191 192 @interface S7 : B1 193 -(id)initB1; 194 -(id)initB3; 195 -(id)initNewOne; 196 @end 197 198 @interface SS7 : S7 199 -(id)initB1; 200 @end 201 202 @implementation SS7 203 -(id)initB1 { 204 return 0; 205 } 206 @end 207 208 __attribute__((objc_root_class)) 209 @interface B2 210 -(id)init; 211 @end 212 213 @interface S8: B2 214 -(id)initS8 NS_DESIGNATED_INITIALIZER; 215 @end 216 217 @implementation S8 218 -(id)initS8 219 { 220 return [super init]; 221 } 222 @end 223 224 @interface S9 : B1 225 -(id)initB1; 226 -(id)initB3; 227 @end 228 229 @interface S9(secondInit) 230 -(id)initNewOne; 231 @end 232 233 @interface SS9 : S9 234 -(id)initB1; 235 @end 236 237 @implementation SS9 238 -(id)initB1 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 239 return 0; 240 } 241 @end 242 243 // rdar://16261494 244 @class GEOPDAnalyticMetadata; // expected-note {{forward declaration of class here}} 245 246 @implementation GEOPDAnalyticMetadata (PlaceCardExtras) // expected-error {{cannot find interface declaration for 'GEOPDAnalyticMetadata'}} 247 - (instancetype)initInProcess 248 { 249 return ((void*)0); 250 } 251 @end 252 253 // rdar://16305460 254 __attribute__((objc_root_class)) 255 @interface MyObject 256 - (instancetype)initWithStuff:(id)stuff __attribute__((objc_designated_initializer)); 257 - (instancetype)init NS_UNAVAILABLE; 258 @end 259 260 @implementation MyObject 261 - (instancetype)init 262 { 263 return ((void*)0); 264 } 265 @end 266 267 // rdar://16323233 268 __attribute__((objc_root_class)) 269 @interface B4 270 -(id)initB4 NS_DESIGNATED_INITIALIZER; // expected-note 4 {{method marked as designated initializer of the class here}} 271 -(id)initNonDI; 272 @end 273 274 @interface rdar16323233 : B4 275 -(id)initS4 NS_DESIGNATED_INITIALIZER; 276 @end 277 278 @implementation rdar16323233 279 -(id)initS4 { 280 static id sSharedObject = (void*)0; 281 (void)^(void) { 282 sSharedObject = [super initB4]; 283 }; 284 return 0; 285 } 286 -(id)initB4 { 287 return [self initS4]; 288 } 289 @end 290 291 @interface S1B4 : B4 292 @end 293 @implementation S1B4 294 -(id)initB4 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 295 return [super initNonDI]; // expected-warning {{designated initializer invoked a non-designated initializer}} 296 } 297 @end 298 299 @interface S2B4 : B4 300 -(id)initB4; 301 @end 302 @implementation S2B4 303 -(id)initB4 { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 304 return [super initNonDI]; // expected-warning {{designated initializer invoked a non-designated initializer}} 305 } 306 @end 307 308 @interface S3B4 : B4 309 @end 310 @implementation S3B4 311 -(id)initNew { 312 return [super initB4]; 313 } 314 -(id)initB4 { 315 return [self initNew]; 316 } 317 @end 318 319 @interface S4B4 : B4 320 -(id)initNew; 321 @end 322 @implementation S4B4 323 -(id)initNew { 324 return [super initB4]; 325 } 326 -(id)initB4 { 327 return [self initNew]; 328 } 329 @end 330 331 @interface S5B4 : B4 332 -(id)initB4; 333 @end 334 @implementation S5B4 335 -(id)initNew { 336 return [super initB4]; 337 } 338 -(id)initB4 { 339 return [self initNew]; 340 } 341 @end 342 343 @interface S6B4 : B4 344 -(id)initNew; 345 -(id)initB4; 346 @end 347 @implementation S6B4 348 -(id)initNew { 349 return [super initB4]; 350 } 351 -(id)initB4 { 352 return [self initNew]; 353 } 354 @end 355 356 __attribute__((objc_root_class)) 357 @interface NSObject 358 -(instancetype) init NS_DESIGNATED_INITIALIZER; // expected-note {{method marked as designated initializer of the class here}} 359 @end 360 361 @interface Test3 : NSObject 362 @end 363 364 @implementation Test3 365 -(instancetype) initWithBasePath:(id)path { 366 return [super init]; 367 } 368 -(instancetype) init { 369 return [self initWithBasePath:0]; 370 } 371 @end 372 373 @interface Test1 : NSObject 374 -(instancetype) init NS_DESIGNATED_INITIALIZER; 375 @end 376 @implementation Test1 377 -(instancetype) init { 378 return self; 379 } 380 @end 381 382 @interface SubTest1 : Test1 383 -(instancetype)init NS_UNAVAILABLE; 384 -(instancetype)initWithRequiredParameter:(id)foo NS_DESIGNATED_INITIALIZER; 385 @end 386 @implementation SubTest1 387 -(instancetype)initWithRequiredParameter:(id)foo { 388 return [super init]; 389 } 390 @end 391 392 @interface Test2 : NSObject 393 @end 394 @interface SubTest2 : Test2 395 @end 396 @implementation SubTest2 397 -(instancetype) init { // expected-warning {{designated initializer missing a 'super' call to a designated initializer of the super class}} 398 return self; 399 } 400 @end 401 402 __attribute__((objc_root_class)) 403 @interface RootNoDI 404 -(id)init; 405 @end 406 407 @interface Base : RootNoDI 408 @end 409 410 @implementation Base 411 @end 412 413 @interface Derived : Base 414 - (instancetype)initWithInt:(int)n NS_DESIGNATED_INITIALIZER; 415 @end 416 417 @implementation Derived 418 - (instancetype)initWithInt:(int)n 419 { 420 return [super init]; 421 } 422 @end 423 424 @interface ExtensionForMissingInterface() // expected-error{{cannot find interface declaration}} 425 - (instancetype)init NS_DESIGNATED_INITIALIZER; 426 @end 427 428 @interface CategoryForMissingInterface(Cat) // expected-error{{cannot find interface declaration}} 429 - (instancetype)init NS_DESIGNATED_INITIALIZER; // expected-error{{only applies to init methods of interface or class extension declarations}} 430 @end 431
