29 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config mode=shallow -verify %s2// expected-no-diagnostics3 4void clang_analyzer_checkInlined(unsigned);5 6typedef signed char BOOL;7typedef struct objc_class *Class;8typedef struct objc_object {9 Class isa;10} *id;11@protocol NSObject - (BOOL)isEqual:(id)object; @end12@interface NSObject <NSObject> {}13+(id)alloc;14-(id)init;15@end16 17@interface MyClass : NSObject18+ (void)callee;19+ (void)caller;20@end21 22@implementation MyClass23+ (void)caller {24 [MyClass callee];25}26+ (void)callee {27 clang_analyzer_checkInlined(0); // The call is not inlined.28}29@end