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 48void 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