34 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config ipa=dynamic-bifurcate -analyzer-config objc-inlining=false -verify %s2// expected-no-diagnostics3 4typedef signed char BOOL;5typedef struct objc_class *Class;6typedef struct objc_object {7 Class isa;8} *id;9@protocol NSObject - (BOOL)isEqual:(id)object; @end10@interface NSObject <NSObject> {}11+(id)alloc;12-(id)init;13-(id)autorelease;14-(id)copy;15- (Class)class;16-(id)retain;17@end18 19// Vanila: ObjC class method is called by name.20@interface MyParent : NSObject21+ (int)getInt;22@end23@interface MyClass : MyParent24+ (int)getInt;25@end26@implementation MyClass27+ (int)testClassMethodByName {28 int y = [MyClass getInt];29 return 5/y; // no-warning30}31+ (int)getInt {32 return 0;33}34@end