xref: /aosp_15_r20/external/clang/test/Analysis/shallow-mode.m (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li// RUN: %clang_cc1 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config mode=shallow -verify %s
2*67e74705SXin Li// expected-no-diagnostics
3*67e74705SXin Li
4*67e74705SXin Livoid clang_analyzer_checkInlined(unsigned);
5*67e74705SXin Li
6*67e74705SXin Litypedef signed char BOOL;
7*67e74705SXin Litypedef struct objc_class *Class;
8*67e74705SXin Litypedef struct objc_object {
9*67e74705SXin Li    Class isa;
10*67e74705SXin Li} *id;
11*67e74705SXin Li@protocol NSObject  - (BOOL)isEqual:(id)object; @end
12*67e74705SXin Li@interface NSObject <NSObject> {}
13*67e74705SXin Li+(id)alloc;
14*67e74705SXin Li-(id)init;
15*67e74705SXin Li@end
16*67e74705SXin Li
17*67e74705SXin Li@interface MyClass : NSObject
18*67e74705SXin Li+ (void)callee;
19*67e74705SXin Li+ (void)caller;
20*67e74705SXin Li@end
21*67e74705SXin Li
22*67e74705SXin Li@implementation MyClass
23*67e74705SXin Li+ (void)caller {
24*67e74705SXin Li    [MyClass callee];
25*67e74705SXin Li}
26*67e74705SXin Li+ (void)callee {
27*67e74705SXin Li  clang_analyzer_checkInlined(0); // The call is not inlined.
28*67e74705SXin Li}
29*67e74705SXin Li@end