1*67e74705SXin Li// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config ipa=dynamic-bifurcate -verify %s 2*67e74705SXin Li 3*67e74705SXin Litypedef signed char BOOL; 4*67e74705SXin Li@protocol NSObject - (BOOL)isEqual:(id)object; @end 5*67e74705SXin Li@interface NSObject <NSObject> {} 6*67e74705SXin Li+(id)alloc; 7*67e74705SXin Li-(id)init; 8*67e74705SXin Li+(id)new; 9*67e74705SXin Li-(id)autorelease; 10*67e74705SXin Li-(id)copy; 11*67e74705SXin Li- (Class)class; 12*67e74705SXin Li-(id)retain; 13*67e74705SXin Li@end 14*67e74705SXin Livoid clang_analyzer_eval(BOOL); 15*67e74705SXin Li 16*67e74705SXin Li@interface SomeOtherClass : NSObject 17*67e74705SXin Li- (int)getZero; 18*67e74705SXin Li@end 19*67e74705SXin Li@implementation SomeOtherClass 20*67e74705SXin Li- (int)getZero { return 0; } 21*67e74705SXin Li@end 22*67e74705SXin Li 23*67e74705SXin Li@interface MyClass : NSObject 24*67e74705SXin Li- (int)getZero; 25*67e74705SXin Li@end 26*67e74705SXin Li 27*67e74705SXin Li@implementation MyClass 28*67e74705SXin Li- (int)getZero { return 1; } 29*67e74705SXin Li 30*67e74705SXin Li// TODO: Not only we should correctly determine that the type of o at runtime 31*67e74705SXin Li// is MyClass, but we should also warn about it. 32*67e74705SXin Li+ (void) testCastToParent { 33*67e74705SXin Li id a = [[self alloc] init]; 34*67e74705SXin Li SomeOtherClass *o = a; 35*67e74705SXin Li clang_analyzer_eval([o getZero] == 0); // expected-warning{{FALSE}} 36*67e74705SXin Li} 37*67e74705SXin Li@end 38