1// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config mode=shallow -verify %s 2// expected-no-diagnostics 3 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; @end 12@interface NSObject <NSObject> {} 13+(id)alloc; 14-(id)init; 15@end 16 17@interface MyClass : NSObject 18+ (void)callee; 19+ (void)caller; 20@end 21 22@implementation MyClass 23+ (void)caller { 24 [MyClass callee]; 25} 26+ (void)callee { 27 clang_analyzer_checkInlined(0); // The call is not inlined. 28} 29@end