1 // RUN: %clang_cc1 -verify %s 2 3 @interface Unrelated 4 @end 5 6 @interface NSObject 7 + (id)new; 8 + (id)alloc; 9 - (NSObject *)init; 10 11 - (id)retain; // expected-note 2{{instance method 'retain' is assumed to return an instance of its receiver type ('NSArray *')}} 12 - autorelease; 13 14 - (id)self; 15 16 - (id)copy; 17 - (id)mutableCopy; 18 19 // Do not infer when instance/class mismatches 20 - (id)newNotInferred; 21 - (id)alloc; 22 + (id)initWithBlarg; 23 + (id)self; 24 25 // Do not infer when the return types mismatch. 26 - (Unrelated *)initAsUnrelated; 27 @end 28 29 @interface NSString : NSObject 30 - (id)init; 31 - (id)initWithCString:(const char*)string; 32 @end 33 34 @interface NSArray : NSObject 35 - (unsigned)count; 36 @end 37 38 @interface NSBlah 39 @end 40 41 @interface NSMutableArray : NSArray 42 @end 43 44 @interface NSBlah () 45 + (Unrelated *)newUnrelated; 46 @end 47 48 void test_inference() { 49 // Inference based on method family 50 __typeof__(([[NSString alloc] init])) *str = (NSString**)0; 51 __typeof__(([[[[NSString new] self] retain] autorelease])) *str2 = (NSString **)0; 52 __typeof__(([[NSString alloc] initWithCString:"blah"])) *str3 = (NSString**)0; 53 54 // Not inferred 55 __typeof__(([[NSString new] copy])) *id1 = (id*)0; 56 57 // Not inferred due to instance/class mismatches 58 __typeof__(([[NSString new] newNotInferred])) *id2 = (id*)0; 59 __typeof__(([[NSString new] alloc])) *id3 = (id*)0; 60 __typeof__(([NSString self])) *id4 = (id*)0; 61 __typeof__(([NSString initWithBlarg])) *id5 = (id*)0; 62 63 // Not inferred due to return type mismatch 64 __typeof__(([[NSString alloc] initAsUnrelated])) *unrelated = (Unrelated**)0; 65 __typeof__(([NSBlah newUnrelated])) *unrelated2 = (Unrelated**)0; 66 67 NSArray *arr = [[NSMutableArray alloc] init]; 68 NSMutableArray *marr = [arr retain]; // expected-warning{{incompatible pointer types initializing 'NSMutableArray *' with an expression of type 'NSArray *'}} 69 marr = [arr retain]; // expected-warning{{incompatible pointer types assigning to 'NSMutableArray *' from 'NSArray *'}} 70 arr = [marr retain]; 71 } 72
