1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config mode=shallow -verify %s 2 // expected-no-diagnostics 3 4 void clang_analyzer_checkInlined(unsigned); 5 6 typedef signed char BOOL; 7 typedef struct objc_class *Class; 8 typedef 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
