1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-config ipa=dynamic-bifurcate -analyzer-config objc-inlining=false -verify %s
2// expected-no-diagnostics
3
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; @end
10@interface NSObject <NSObject> {}
11+(id)alloc;
12-(id)init;
13-(id)autorelease;
14-(id)copy;
15- (Class)class;
16-(id)retain;
17@end
18
19// Vanila: ObjC class method is called by name.
20@interface MyParent : NSObject
21+ (int)getInt;
22@end
23@interface MyClass : MyParent
24+ (int)getInt;
25@end
26@implementation MyClass
27+ (int)testClassMethodByName {
28    int y = [MyClass getInt];
29    return 5/y; // no-warning
30}
31+ (int)getInt {
32  return 0;
33}
34@end