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