Clang Project

clang_source_code/test/Index/Core/index-source.m
1// RUN: c-index-test core -print-source-symbols -- %s -target x86_64-apple-macosx10.7 | FileCheck %s
2// RUN: c-index-test core -print-source-symbols -include-locals -- %s -target x86_64-apple-macosx10.7 | FileCheck -check-prefix=LOCAL %s
3
4@interface Base
5// CHECK: [[@LINE-1]]:12 | class/ObjC | Base | [[BASE_USR:.*]] | _OBJC_CLASS_$_Base | Decl | rel: 0
6-(void)meth;
7// CHECK: [[@LINE-1]]:8 | instance-method/ObjC | meth | c:objc(cs)Base(im)meth | -[Base meth] | Decl,Dyn,RelChild | rel: 1
8// CHECK-NEXT: RelChild | Base | c:objc(cs)Base
9+(Base*)class_meth;
10// CHECK: [[@LINE-1]]:9 | class-method/ObjC | class_meth | c:objc(cs)Base(cm)class_meth | +[Base class_meth] | Decl,Dyn,RelChild | rel: 1
11// CHECK: [[@LINE-2]]:3 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelCont | rel: 1
12// CHECK-NEXT: RelCont | class_meth | c:objc(cs)Base(cm)class_meth
13
14@end
15
16void foo();
17// CHECK: [[@LINE+6]]:6 | function/C | goo | c:@F@goo | _goo | Def | rel: 0
18// CHECK: [[@LINE+5]]:10 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelCont | rel: 1
19// CHECK-NEXT: RelCont | goo | c:@F@goo
20// CHECK-NOT: [[@LINE+3]]:16 | param
21// LOCAL: [[@LINE+2]]:16 | param(local)/C | b | [[b_USR:c:.*]] | _b | Def,RelChild | rel: 1
22// LOCAL-NEXT: RelChild | goo | c:@F@goo
23void goo(Base *b) {
24  // CHECK-NOT: [[@LINE+6]]:7 | variable
25  // LOCAL: [[@LINE+5]]:7 | variable(local)/C | x | [[x_USR:c:.*]] | _x | Def,RelCont | rel: 1
26  // LOCAL-NEXT: RelCont | goo | c:@F@goo
27  // CHECK-NOT: [[@LINE+3]]:11 | param
28  // LOCAL: [[@LINE+2]]:11 | param(local)/C | b | [[b_USR]] | _b | Ref,Read,RelCont | rel: 1
29  // LOCAL-NEXT: RelCont | x | [[x_USR]]
30  int x = b;
31  // CHECK-NOT: [[@LINE+5]]:7 | variable
32  // LOCAL: [[@LINE+4]]:7 | variable(local)/C | y | [[y_USR:c:.*]] | _y | Def,RelCont | rel: 1
33  // CHECK-NOT: [[@LINE+3]]:11 | variable
34  // LOCAL: [[@LINE+2]]:11 | variable(local)/C | x | [[x_USR]] | _x | Ref,Read,RelCont | rel: 1
35  // LOCAL-NEXT: RelCont | y | [[y_USR]]
36  int y = x;
37
38  // CHECK-NOT: [[@LINE+1]]:10 | struct
39  // LOCAL: [[@LINE+1]]:10 | struct(local)/C | Foo | c:{{.*}} | <no-cgname> | Def,RelCont | rel: 1
40  struct Foo {
41    int i;
42  };
43
44  // CHECK: [[@LINE+2]]:3 | function/C | foo | c:@F@foo | _foo | Ref,Call,RelCall,RelCont | rel: 1
45  // CHECK-NEXT: RelCall,RelCont | goo | c:@F@goo
46  foo();
47  // CHECK: [[@LINE+3]]:6 | instance-method/ObjC | meth | c:objc(cs)Base(im)meth | -[Base meth] | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 2
48  // CHECK-NEXT: RelCall,RelCont | goo | c:@F@goo
49  // CHECK-NEXT: RelRec | Base | c:objc(cs)Base
50  [b meth];
51
52  // CHECK: [[@LINE+2]]:4 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelCont | rel: 1
53  // CHECK-NEXT: RelCont | goo | c:@F@goo
54  [Base class_meth];
55
56  // CHECK: [[@LINE+4]]:3 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelCont | rel: 1
57  // CHECK-NEXT: RelCont | goo | c:@F@goo
58  // CHECK: [[@LINE+2]]:14 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelCont | rel: 1
59  // CHECK-NEXT: RelCont | goo | c:@F@goo
60  Base *f = (Base *) 2;
61}
62
63// CHECK: [[@LINE+1]]:11 | protocol/ObjC | Prot1 | [[PROT1_USR:.*]] | <no-cgname> | Decl | rel: 0
64@protocol Prot1
65@end
66
67// CHECK: [[@LINE+3]]:11 | protocol/ObjC | Prot2 | c:objc(pl)Prot2 | <no-cgname> | Decl | rel: 0
68// CHECK: [[@LINE+2]]:17 | protocol/ObjC | Prot1 | c:objc(pl)Prot1 | <no-cgname> | Ref,RelBase,RelCont | rel: 1
69// CHECK-NEXT: RelBase,RelCont | Prot2 | c:objc(pl)Prot2
70@protocol Prot2<Prot1>
71@end
72
73// CHECK: [[@LINE+7]]:12 | class/ObjC | Sub | c:objc(cs)Sub | _OBJC_CLASS_$_Sub | Decl | rel: 0
74// CHECK: [[@LINE+6]]:18 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelBase,RelCont | rel: 1
75// CHECK-NEXT: RelBase,RelCont | Sub | c:objc(cs)Sub
76// CHECK: [[@LINE+4]]:23 | protocol/ObjC | Prot2 | c:objc(pl)Prot2 | <no-cgname> | Ref,RelBase,RelCont | rel: 1
77// CHECK-NEXT: RelBase,RelCont | Sub | c:objc(cs)Sub
78// CHECK: [[@LINE+2]]:30 | protocol/ObjC | Prot1 | c:objc(pl)Prot1 | <no-cgname> | Ref,RelBase,RelCont | rel: 1
79// CHECK-NEXT: RelBase,RelCont | Sub | c:objc(cs)Sub
80@interface Sub : Base<Prot2, Prot1>
81@end
82
83@interface NSArray<ObjectType> : Base
84// CHECK-NOT: ObjectType
85-(ObjectType)getit;
86@end
87
88// CHECK: [[@LINE+1]]:6 | function/C | over_func | c:@F@over_func#I# | __Z9over_funci | Decl | rel: 0
89void over_func(int x) __attribute__((overloadable));
90// CHECK: [[@LINE+1]]:6 | function/C | over_func | c:@F@over_func#f# | __Z9over_funcf | Decl | rel: 0
91void over_func(float x) __attribute__((overloadable));
92
93// CHECK: [[@LINE+1]]:6 | enum/C | MyEnum | c:@E@MyEnum | <no-cgname> | Def | rel: 0
94enum MyEnum {
95  // CHECK: [[@LINE+2]]:3 | enumerator/C | EnumeratorInNamed | c:@E@MyEnum@EnumeratorInNamed | <no-cgname> | Def,RelChild | rel: 1
96  // CHECK-NEXT: RelChild | MyEnum | c:@E@MyEnum
97  EnumeratorInNamed
98};
99
100// CHECK: [[@LINE+1]]:1 | enum/C | <no-name> | c:@Ea@One | <no-cgname> | Def | rel: 0
101enum {
102  // CHECK: [[@LINE+2]]:3 | enumerator/C | One | c:@Ea@One@One | <no-cgname> | Def,RelChild | rel: 1
103  // CHECK-NEXT: RelChild | <no-name> | c:@Ea@One
104  One,
105  // CHECK: [[@LINE+2]]:3 | enumerator/C | Two | c:@Ea@One@Two | <no-cgname> | Def,RelChild | rel: 1
106  // CHECK-NEXT: RelChild | <no-name> | c:@Ea@One
107  Two,
108};
109
110// CHECK: [[@LINE+1]]:13 | type-alias/C | jmp_buf | c:index-source.m@T@jmp_buf | <no-cgname> | Def | rel: 0
111typedef int jmp_buf[(18)];
112// CHECK: [[@LINE+3]]:12 | function/C | setjmp | c:@F@setjmp | _setjmp | Decl | rel: 0
113// CHECK: [[@LINE+2]]:19 | type-alias/C | jmp_buf | c:index-source.m@T@jmp_buf | <no-cgname> | Ref,RelCont | rel: 1
114// CHECK-NEXT: RelCont | setjmp | c:@F@setjmp
115extern int setjmp(jmp_buf);
116
117@class I1;
118@interface I1
119// CHECK: [[@LINE+1]]:8 | instance-method/ObjC | meth | c:objc(cs)I1(im)meth | -[I1 meth] | Decl,Dyn,RelChild | rel: 1
120-(void)meth;
121@end
122
123@interface I2
124// CHECK: [[@LINE-1]]:12 | class/ObjC | I2 | [[I2_USR:.*]] | {{.*}} | Decl | rel: 0
125
126@property (readwrite) id prop;
127// CHECK: [[@LINE-1]]:26 | instance-method/acc-get/ObjC | prop | [[I2_prop_getter_USR:.*]] | -[I2 prop] | Decl,Dyn,Impl,RelChild,RelAcc | rel: 2
128// CHECK: [[@LINE-2]]:26 | instance-method/acc-set/ObjC | setProp: | [[I2_prop_setter_USR:.*]] | -[I2 setProp:] | Decl,Dyn,Impl,RelChild,RelAcc | rel: 2
129// CHECK: [[@LINE-3]]:26 | instance-property/ObjC | prop | [[I2_prop_USR:.*]] | <no-cgname> | Decl,RelChild | rel: 1
130
131@property (readwrite, getter=customGet, setter=customSet:) id unrelated;
132// CHECK: [[@LINE-1]]:30 | instance-method/acc-get/ObjC | customGet | {{.*}} | -[I2 customGet] | Decl,Dyn,RelChild,RelAcc | rel: 2
133// CHECK: [[@LINE-2]]:48 | instance-method/acc-set/ObjC | customSet: | {{.*}} | -[I2 customSet:] | Decl,Dyn,RelChild,RelAcc | rel: 2
134// CHECK: [[@LINE-3]]:63 | instance-property/ObjC | unrelated | {{.*}} | <no-cgname> | Decl,RelChild | rel: 1
135
136-(id)declaredGet;
137@property (readwrite, getter=declaredGet) id otherProp;
138// CHECK: [[@LINE-1]]:30 | instance-method/acc-get/ObjC | declaredGet | {{.*}} | -[I2 declaredGet] | Ref,RelCont | rel: 1
139// CHECK: [[@LINE-3]]:6 | instance-method/acc-get/ObjC | declaredGet | {{.*}} | -[I2 declaredGet] | Decl,Dyn,RelChild,RelAcc | rel: 2
140// CHECK: [[@LINE-3]]:46 | instance-method/acc-set/ObjC | setOtherProp: | {{.*}} | -[I2 setOtherProp:] | Decl,Dyn,Impl,RelChild,RelAcc | rel: 2
141
142// CHECK: [[@LINE+4]]:63 | instance-property(IB,IBColl)/ObjC | buttons | [[buttons_USR:.*]] | <no-cgname> | Decl,RelChild | rel: 1
143// CHECK-NEXT: RelChild | I2 | [[I2_USR]]
144// CHECK: [[@LINE+2]]:50 | class/ObjC | I1 | c:objc(cs)I1 | _OBJC_CLASS_$_I1 | Ref,RelCont,RelIBType | rel: 1
145// CHECK-NEXT: RelCont,RelIBType | buttons | [[buttons_USR]]
146@property (nonatomic, strong) IBOutletCollection(I1) NSArray *buttons;
147@end
148
149@implementation I2
150// CHECK: [[@LINE+9]]:13 | instance-property/ObjC | prop | [[I2_prop_USR:.*]] | <no-cgname> | Def,RelChild,RelAcc | rel: 2
151// CHECK-NEXT: RelChild | I2 | [[I2_USR]]
152// CHECK-NEXT: RelAcc | _prop | c:objc(cs)I2@_prop
153// CHECK: [[@LINE+6]]:13 | instance-method/acc-get/ObjC | prop | [[I2_prop_getter_USR]] | -[I2 prop] | Def,Dyn,Impl,RelChild | rel: 1
154// CHECK-NEXT: RelChild | I2 | [[I2_USR]]
155// CHECK: [[@LINE+4]]:13 | instance-method/acc-set/ObjC | setProp: | [[I2_prop_setter_USR]] | -[I2 setProp:] | Def,Dyn,Impl,RelChild | rel: 1
156// CHECK-NEXT: RelChild | I2 | [[I2_USR]]
157// CHECK: [[@LINE+2]]:20 | field/ObjC | _prop | c:objc(cs)I2@_prop | <no-cgname> | Def,RelChild | rel: 1
158// CHECK-NEXT: RelChild | I2 | [[I2_USR]]
159@synthesize prop = _prop;
160
161// CHECK: [[@LINE+11]]:12 | instance-method(IB)/ObjC | doAction:foo: | [[doAction_USR:.*]] | -[I2 doAction:foo:] | Def,Dyn,RelChild | rel: 1
162// CHECK-NEXT: RelChild | I2 | [[I2_USR]]
163// CHECK: [[@LINE+9]]:22 | class/ObjC | I1 | c:objc(cs)I1 | _OBJC_CLASS_$_I1 | Ref,RelCont,RelIBType | rel: 1
164// CHECK-NEXT: RelCont,RelIBType | doAction:foo: | [[doAction_USR]]
165// CHECK-NOT: [[@LINE+7]]:27 | param
166// LOCAL: [[@LINE+6]]:27 | param(local)/C | sender | c:{{.*}} | _sender | Def,RelChild | rel: 1
167// LOCAL-NEXT: RelChild | doAction:foo: | [[doAction_USR:.*]]
168// CHECK: [[@LINE+4]]:39 | class/ObjC | I1 | c:objc(cs)I1 | _OBJC_CLASS_$_I1 | Ref,RelCont | rel: 1
169// CHECK-NOT: [[@LINE+3]]:44 | param
170// LOCAL: [[@LINE+2]]:44 | param(local)/C | bar | c:{{.*}} | _bar | Def,RelChild | rel: 1
171// LOCAL-NEXT: RelChild | doAction:foo: | [[doAction_USR]]
172-(IBAction)doAction:(I1 *)sender foo:(I1 *)bar {
173  [self prop];
174  // CHECK: [[@LINE-1]]:9 | instance-method/acc-get/ObjC | prop | [[I2_prop_getter_USR]] | -[I2 prop] | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 2
175  // CHECK-NEXT: RelCall,RelCont | doAction:foo: | [[doAction_USR]]
176  // CHECK-NEXT: RelRec | I2 | [[I2_USR]]
177
178  [self setProp: bar];
179  // CHECK: [[@LINE-1]]:9 | instance-method/acc-set/ObjC | setProp: | [[I2_prop_setter_USR]] | -[I2 setProp:] | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 2
180  // CHECK-NEXT: RelCall,RelCont | doAction:foo: | [[doAction_USR]]
181  // CHECK-NEXT: RelRec | I2 | [[I2_USR]]
182
183  self.prop;
184  // CHECK: [[@LINE-1]]:8 | instance-property/ObjC | prop | [[I2_prop_USR]] | <no-cgname> | Ref,RelCont | rel: 1
185  // CHECK-NEXT: RelCont | doAction:foo: | [[doAction_USR]]
186  // CHECK: [[@LINE-3]]:8 | instance-method/acc-get/ObjC | prop | [[I2_prop_getter_USR]] | -[I2 prop] | Ref,Call,Dyn,Impl,RelRec,RelCall,RelCont | rel: 2
187  // CHECK-NEXT: RelCall,RelCont | doAction:foo: | [[doAction_USR]]
188  // CHECK-NEXT: RelRec | I2 | [[I2_USR]]
189
190  self.prop = self.prop;
191  // CHECK: [[@LINE-1]]:8 | instance-property/ObjC | prop | [[I2_prop_USR]] | <no-cgname> | Ref,Writ,RelCont | rel: 1
192  // CHECK-NEXT: RelCont | doAction:foo: | [[doAction_USR]]
193  // CHECK:[[@LINE-3]]:8 | instance-method/acc-set/ObjC | setProp: | [[I2_prop_setter_USR]] | -[I2 setProp:] | Ref,Call,Dyn,Impl,RelRec,RelCall,RelCont | rel: 2
194  // CHECK-NEXT: RelCall,RelCont | doAction:foo: | [[doAction_USR]]
195  // CHECK-NEXT: RelRec | I2 | [[I2_USR]]
196}
197@end
198
199@interface I3
200@property (readwrite) id prop;
201// CHECK: [[@LINE+3]]:6 | instance-method/acc-get/ObjC | prop | c:objc(cs)I3(im)prop | -[I3 prop] | Decl,Dyn,RelChild,RelAcc | rel: 2
202// CHECK-NEXT: RelChild | I3 | c:objc(cs)I3
203// CHECK-NEXT: RelAcc | prop | c:objc(cs)I3(py)prop
204-(id)prop;
205// CHECK: [[@LINE+4]]:8 | instance-method/acc-set/ObjC | setProp: | c:objc(cs)I3(im)setProp: | -[I3 setProp:] | Decl,Dyn,RelChild,RelAcc | rel: 2
206// CHECK-NEXT: RelChild | I3 | c:objc(cs)I3
207// CHECK-NEXT: RelAcc | prop | c:objc(cs)I3(py)prop
208// LOCAL-NOT: [[@LINE+1]]:20 | param
209-(void)setProp:(id)p;
210@end
211
212// CHECK: [[@LINE+1]]:17 | class/ObjC | I3 | c:objc(cs)I3 | <no-cgname> | Def | rel: 0
213@implementation I3
214// CHECK: [[@LINE+5]]:13 | instance-property/ObjC | prop | c:objc(cs)I3(py)prop | <no-cgname> | Def,RelChild,RelAcc | rel: 2
215// CHECK-NEXT: RelChild | I3 | c:objc(cs)I3
216// CHECK-NEXT: RelAcc | _prop | c:objc(cs)I3@_prop
217// CHECK: [[@LINE+2]]:13 | instance-method/acc-get/ObjC | prop | c:objc(cs)I3(im)prop | -[I3 prop] | Def,Dyn,Impl,RelChild | rel: 1
218// CHECK: [[@LINE+1]]:13 | instance-method/acc-set/ObjC | setProp: | c:objc(cs)I3(im)setProp: | -[I3 setProp:] | Def,Dyn,Impl,RelChild | rel: 1
219@synthesize prop = _prop;
220@end
221
222// CHECK: [[@LINE+5]]:12 | class/ObjC | I3 | c:objc(cs)I3 | _OBJC_CLASS_$_I3 | Ref,RelExt,RelCont | rel: 1
223// CHECK-NEXT: RelExt,RelCont | bar | c:objc(cy)I3@bar
224// CHECK: [[@LINE+3]]:15 | extension/ObjC | bar | c:objc(cy)I3@bar | <no-cgname> | Decl | rel: 0
225// CHECK: [[@LINE+2]]:21 | protocol/ObjC | Prot1 | c:objc(pl)Prot1 | <no-cgname> | Ref,RelBase,RelCont | rel: 1
226// CHECK-NEXT: RelBase,RelCont | bar | c:objc(cy)I3@bar
227@interface I3(bar) <Prot1>
228@end
229
230// CHECK: [[@LINE+2]]:17 | class/ObjC | I3 | c:objc(cs)I3 | _OBJC_CLASS_$_I3 | Ref,RelCont | rel: 1
231// CHECK: [[@LINE+1]]:20 | extension/ObjC | bar | c:objc(cy)I3@bar | <no-cgname> | Def | rel: 0
232@implementation I3(bar)
233@end
234
235// CHECK-NOT: [[@LINE+1]]:12 | extension/ObjC |
236@interface NonExistent()
237@end
238
239@interface MyGenCls<ObjectType> : Base
240@end
241
242@protocol MyEnumerating
243@end
244
245// CHECK: [[@LINE+4]]:41 | type-alias/C | MyEnumerator | [[MyEnumerator_USR:.*]] | <no-cgname> | Def | rel: 0
246// CHECK: [[@LINE+3]]:26 | protocol/ObjC | MyEnumerating | c:objc(pl)MyEnumerating | <no-cgname> | Ref,RelCont | rel: 1
247// CHECK: [[@LINE+2]]:9 | class/ObjC | MyGenCls | c:objc(cs)MyGenCls | _OBJC_CLASS_$_MyGenCls | Ref,RelCont | rel: 1
248// CHECK: [[@LINE+1]]:18 | class/ObjC | Base | c:objc(cs)Base | _OBJC_CLASS_$_Base | Ref,RelCont | rel: 1
249typedef MyGenCls<Base *><MyEnumerating> MyEnumerator;
250
251// CHECK: [[@LINE+7]]:12 | class/ObjC | PermanentEnumerator | [[PermanentEnumerator_USR:.*]] | _OBJC_CLASS_$_PermanentEnumerator | Decl | rel: 0
252// CHECK: [[@LINE+6]]:34 | type-alias/C | MyEnumerator | [[MyEnumerator_USR]] | <no-cgname> | Ref,RelCont | rel: 1
253// CHECK-NEXT: RelCont | PermanentEnumerator | [[PermanentEnumerator_USR]]
254// CHECK: [[@LINE+4]]:34 | class/ObjC | MyGenCls | c:objc(cs)MyGenCls | _OBJC_CLASS_$_MyGenCls | Ref,Impl,RelBase,RelCont | rel: 1
255// CHECK-NEXT: RelBase,RelCont | PermanentEnumerator | [[PermanentEnumerator_USR]]
256// CHECK: [[@LINE+2]]:34 | protocol/ObjC | MyEnumerating | c:objc(pl)MyEnumerating | <no-cgname> | Ref,Impl,RelBase,RelCont | rel: 1
257// CHECK-NEXT: RelBase,RelCont | PermanentEnumerator | [[PermanentEnumerator_USR]]
258@interface PermanentEnumerator : MyEnumerator
259@end
260
261// CHECK: [[@LINE+2]]:48 | protocol/ObjC | Prot1 | c:objc(pl)Prot1 | <no-cgname> | Ref,RelBase,RelCont | rel: 1
262// CHECK: [[@LINE+1]]:35 | protocol/ObjC | MyEnumerating | c:objc(pl)MyEnumerating | <no-cgname> | Ref,Impl,RelBase,RelCont | rel: 1
263@interface PermanentEnumerator2 : MyEnumerator<Prot1>
264@end
265
266@interface I4
267@property id foo;
268@end
269
270@implementation I4 {
271  id _blahfoo; // explicit def
272  // CHECK: [[@LINE-1]]:6 | field/ObjC | _blahfoo | c:objc(cs)I4@_blahfoo | <no-cgname> | Def,RelChild | rel: 1
273}
274@synthesize foo = _blahfoo; // ref of field _blahfoo
275// CHECK: [[@LINE-1]]:13 | instance-property/ObjC | foo | c:objc(cs)I4(py)foo | <no-cgname> | Def,RelChild,RelAcc | rel: 2
276// CHECK-NEXT: RelChild | I4 | c:objc(cs)I4
277// CHECK-NEXT: RelAcc | _blahfoo | c:objc(cs)I4@_blahfoo
278// CHECK: [[@LINE-4]]:13 | instance-method/acc-get/ObjC | foo | c:objc(cs)I4(im)foo | -[I4 foo] | Def,Dyn,Impl,RelChild | rel: 1
279// CHECK-NEXT: RelChild | I4 | c:objc(cs)I4
280// CHECK: [[@LINE-6]]:13 | instance-method/acc-set/ObjC | setFoo: | c:objc(cs)I4(im)setFoo: | -[I4 setFoo:] | Def,Dyn,Impl,RelChild | rel: 1
281// CHECK-NEXT: RelChild | I4 | c:objc(cs)I4
282// CHECK: [[@LINE-8]]:19 | field/ObjC | _blahfoo | c:objc(cs)I4@_blahfoo | <no-cgname> | Ref | rel: 0
283
284-(void)method {
285  _blahfoo = 0;
286  // CHECK: [[@LINE-1]]:3 | field/ObjC | _blahfoo | c:objc(cs)I4@_blahfoo | <no-cgname> | Ref,Writ,RelCont | rel: 1
287}
288@end
289
290@interface I5
291@property id foo;
292@end
293
294@implementation I5
295@synthesize foo = _blahfoo; // explicit def of field _blahfoo
296// CHECK: [[@LINE-1]]:13 | instance-property/ObjC | foo | c:objc(cs)I5(py)foo | <no-cgname> | Def,RelChild,RelAcc | rel: 2
297// CHECK-NEXT: RelChild | I5 | c:objc(cs)I5
298// CHECK-NEXT: RelAcc | _blahfoo | c:objc(cs)I5@_blahfoo
299// CHECK: [[@LINE-4]]:13 | instance-method/acc-get/ObjC | foo | c:objc(cs)I5(im)foo | -[I5 foo] | Def,Dyn,Impl,RelChild | rel: 1
300// CHECK-NEXT: RelChild | I5 | c:objc(cs)I5
301// CHECK: [[@LINE-6]]:13 | instance-method/acc-set/ObjC | setFoo: | c:objc(cs)I5(im)setFoo: | -[I5 setFoo:] | Def,Dyn,Impl,RelChild | rel: 1
302// CHECK-NEXT: RelChild | I5 | c:objc(cs)I5
303// CHECK: [[@LINE-8]]:19 | field/ObjC | _blahfoo | c:objc(cs)I5@_blahfoo | <no-cgname> | Def,RelChild | rel: 1
304
305-(void)method {
306  _blahfoo = 0;
307  // CHECK: [[@LINE-1]]:3 | field/ObjC | _blahfoo | c:objc(cs)I5@_blahfoo | <no-cgname> | Ref,Writ,RelCont | rel: 1
308}
309@end
310
311@interface I6
312@property id foo;
313@end
314
315@implementation I6
316@synthesize foo; // implicit def of field foo
317// CHECK: [[@LINE-1]]:13 | instance-property/ObjC | foo | c:objc(cs)I6(py)foo | <no-cgname> | Def,RelChild,RelAcc | rel: 2
318// CHECK-NEXT: RelChild | I6 | c:objc(cs)I6
319// CHECK-NEXT: RelAcc | foo | c:objc(cs)I6@foo
320// CHECK: [[@LINE-4]]:13 | instance-method/acc-get/ObjC | foo | c:objc(cs)I6(im)foo | -[I6 foo] | Def,Dyn,Impl,RelChild | rel: 1
321// CHECK-NEXT: RelChild | I6 | c:objc(cs)I6
322// CHECK: [[@LINE-6]]:13 | instance-method/acc-set/ObjC | setFoo: | c:objc(cs)I6(im)setFoo: | -[I6 setFoo:] | Def,Dyn,Impl,RelChild | rel: 1
323// CHECK-NEXT: RelChild | I6 | c:objc(cs)I6
324// CHECK: [[@LINE-8]]:13 | field/ObjC | foo | c:objc(cs)I6@foo | <no-cgname> | Def,Impl,RelChild | rel: 1
325
326-(void)method {
327  foo = 0;
328  // CHECK: [[@LINE-1]]:3 | field/ObjC | foo | c:objc(cs)I6@foo | <no-cgname> | Ref,Writ,RelCont | rel: 1
329}
330@end
331
332@interface I7
333@property id foo;
334@end
335
336@implementation I7 // implicit def of field _foo
337// CHECK: [[@LINE-1]]:17 | instance-property/ObjC | foo | c:objc(cs)I7(py)foo | <no-cgname> | Def,Impl,RelChild,RelAcc | rel: 2
338// CHECK-NEXT: RelChild | I7 | c:objc(cs)I7
339// CHECK-NEXT: RelAcc | _foo | c:objc(cs)I7@_foo
340// CHECK: [[@LINE-4]]:17 | instance-method/acc-get/ObjC | foo | c:objc(cs)I7(im)foo | -[I7 foo] | Def,Dyn,Impl,RelChild | rel: 1
341// CHECK-NEXT: RelChild | I7 | c:objc(cs)I7
342// CHECK: [[@LINE-6]]:17 | instance-method/acc-set/ObjC | setFoo: | c:objc(cs)I7(im)setFoo: | -[I7 setFoo:] | Def,Dyn,Impl,RelChild | rel: 1
343// CHECK-NEXT: RelChild | I7 | c:objc(cs)I7
344// CHECK: [[@LINE-8]]:17 | field/ObjC | _foo | c:objc(cs)I7@_foo | <no-cgname> | Def,Impl,RelChild | rel: 1
345
346-(void)method {
347  _foo = 0;
348// CHECK: [[@LINE-1]]:3 | field/ObjC | _foo | c:objc(cs)I7@_foo | <no-cgname> | Ref,Writ,RelCont | rel: 1
349}
350@end
351
352#define NS_ENUM(_name, _type) enum _name:_type _name; enum _name : _type
353
354typedef NS_ENUM(AnotherEnum, int) {
355// CHECK-NOT: [[@LINE-1]]:17 | type-alias/C | AnotherEnum |
356// CHECK-NOT: [[@LINE-2]]:17 | {{.*}} | Ref
357// CHECK: [[@LINE-3]]:17 | enum/C | AnotherEnum | [[AnotherEnum_USR:.*]] | {{.*}} | Def | rel: 0
358  AnotherEnumFirst = 0,
359  AnotherEnumSecond = 1,
360  AnotherEnumThird = 2,
361};
362
363AnotherEnum anotherT;
364// CHECK: [[@LINE-1]]:1 | enum/C | AnotherEnum | [[AnotherEnum_USR]] | {{.*}} | Ref,RelCont | rel: 1
365enum AnotherEnum anotherE;
366// CHECK: [[@LINE-1]]:6 | enum/C | AnotherEnum | [[AnotherEnum_USR]] | {{.*}} | Ref,RelCont | rel: 1
367
368#define TRANSPARENT(_name) struct _name _name; struct _name
369#define OPAQUE(_name) struct _name *_name; struct _name
370
371typedef TRANSPARENT(AStruct) {
372  int x;
373};
374
375AStruct aStructT;
376// CHECK: [[@LINE-1]]:1 | struct/C | AStruct | {{.*}} | {{.*}} | Ref,RelCont | rel: 1
377struct AStruct aStructS;
378// CHECK: [[@LINE-1]]:8 | struct/C | AStruct | {{.*}} | {{.*}} | Ref,RelCont | rel: 1
379
380typedef OPAQUE(Separate) {
381  int x;
382};
383
384Separate separateT;
385// CHECK: [[@LINE-1]]:1 | type-alias/C | Separate | {{.*}} | {{.*}} | Ref,RelCont | rel: 1
386struct Separate separateE;
387// CHECK: [[@LINE-1]]:8 | struct/C | Separate | {{.*}} | {{.*}} | Ref,RelCont | rel: 1
388
389@interface ClassReceivers
390
391@property(class) int p1;
392// CHECK: [[@LINE-1]]:22 | class-method/acc-get/ObjC | p1 | c:objc(cs)ClassReceivers(cm)p1 | +[ClassReceivers p1] | Decl,Dyn,Impl,RelChild,RelAcc | rel: 2
393// CHECK-NEXT: RelChild | ClassReceivers | c:objc(cs)ClassReceivers
394// CHECK-NEXT: RelAcc | p1 | c:objc(cs)ClassReceivers(cpy)p1
395// CHECK: [[@LINE-4]]:22 | class-method/acc-set/ObjC | setP1: | c:objc(cs)ClassReceivers(cm)setP1: | +[ClassReceivers setP1:] | Decl,Dyn,Impl,RelChild,RelAcc | rel: 2
396// CHECK-NEXT: RelChild | ClassReceivers | c:objc(cs)ClassReceivers
397// CHECK-NEXT: RelAcc | p1 | c:objc(cs)ClassReceivers(cpy)p1
398// CHECK: [[@LINE-7]]:22 | instance-property/ObjC | p1 | c:objc(cs)ClassReceivers(cpy)p1 | <no-cgname> | Decl,RelChild | rel: 1
399// CHECK-NEXT: RelChild | ClassReceivers | c:objc(cs)ClassReceivers
400
401+ (int)implicit;
402+ (void)setImplicit:(int)x;
403
404@end
405
406void classReceivers() {
407  ClassReceivers.p1 = 0;
408// CHECK: [[@LINE-1]]:3 | class/ObjC | ClassReceivers | c:objc(cs)ClassReceivers | _OBJC_CLASS_$_ClassReceivers | Ref,RelCont | rel: 1
409// CHECK: [[@LINE-2]]:18 | instance-property/ObjC | p1 | c:objc(cs)ClassReceivers(cpy)p1 | <no-cgname> | Ref,Writ,RelCont | rel: 1
410// CHECK-NEXT: RelCont | classReceivers | c:@F@classReceivers
411// CHECK: [[@LINE-4]]:18 | class-method/acc-set/ObjC | setP1: | c:objc(cs)ClassReceivers(cm)setP1: | +[ClassReceivers setP1:] | Ref,Call,Impl,RelCall,RelCont | rel: 1
412// CHECK-NEXT: RelCall,RelCont | classReceivers | c:@F@classReceivers
413  (void)ClassReceivers.p1;
414// CHECK: [[@LINE-1]]:9 | class/ObjC | ClassReceivers | c:objc(cs)ClassReceivers | _OBJC_CLASS_$_ClassReceivers | Ref,RelCont | rel: 1
415// CHECK: [[@LINE-2]]:24 | instance-property/ObjC | p1 | c:objc(cs)ClassReceivers(cpy)p1 | <no-cgname> | Ref,RelCont | rel: 1
416// CHECK-NEXT: RelCont | classReceivers | c:@F@classReceivers
417// CHECK: [[@LINE-4]]:24 | class-method/acc-get/ObjC | p1 | c:objc(cs)ClassReceivers(cm)p1 | +[ClassReceivers p1] | Ref,Call,Impl,RelCall,RelCont | rel: 1
418// CHECK-NEXT: RelCall,RelCont | classReceivers | c:@F@classReceivers
419
420  ClassReceivers.implicit = 0;
421// CHECK: [[@LINE-1]]:3 | class/ObjC | ClassReceivers | c:objc(cs)ClassReceivers | _OBJC_CLASS_$_ClassReceivers | Ref,RelCont | rel: 1
422  (void)ClassReceivers.implicit;
423// CHECK: [[@LINE-1]]:9 | class/ObjC | ClassReceivers | c:objc(cs)ClassReceivers | _OBJC_CLASS_$_ClassReceivers | Ref,RelCont | rel: 1
424}
425
426@interface ImplicitProperties
427
428- (int)implicit;
429- (void)setImplicit:(int)x;
430
431+ (int)classImplicit;
432+ (void)setClassImplicit:(int)y;
433
434@end
435
436void testImplicitProperties(ImplicitProperties *c) {
437  c.implicit = 0;
438// CHECK: [[@LINE-1]]:5 | instance-method/ObjC | setImplicit: | c:objc(cs)ImplicitProperties(im)setImplicit: | -[ImplicitProperties setImplicit:] | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 2
439// CHECK-NEXT: RelCall,RelCont | testImplicitProperties | c:@F@testImplicitProperties
440  c.implicit;
441// CHECK: [[@LINE-1]]:5 | instance-method/ObjC | implicit | c:objc(cs)ImplicitProperties(im)implicit | -[ImplicitProperties implicit] | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 2
442// CHECK-NEXT: RelCall,RelCont | testImplicitProperties | c:@F@testImplicitProperties
443  ImplicitProperties.classImplicit = 1;
444// CHECK: [[@LINE-1]]:22 | class-method/ObjC | setClassImplicit: | c:objc(cs)ImplicitProperties(cm)setClassImplicit: | +[ImplicitProperties setClassImplicit:] | Ref,Call,RelCall,RelCont | rel: 1
445// CHECK-NEXT: RelCall,RelCont | testImplicitProperties | c:@F@testImplicitProperties
446  ImplicitProperties.classImplicit;
447// CHECK: [[@LINE-1]]:22 | class-method/ObjC | classImplicit | c:objc(cs)ImplicitProperties(cm)classImplicit | +[ImplicitProperties classImplicit] | Ref,Call,RelCall,RelCont | rel: 1
448// CHECK-NEXT: RelCall,RelCont | testImplicitProperties | c:@F@testImplicitProperties
449}
450
451@interface EmptySelectors
452
453- (int):(int)_; // CHECK: [[@LINE]]:8 | instance-method/ObjC | : | c:objc(cs)EmptySelectors(im): | -[EmptySelectors :]
454- (void)test: (int)x :(int)y; // CHECK: [[@LINE]]:9 | instance-method/ObjC | test:: | c:objc(cs)EmptySelectors(im)test:: | -[EmptySelectors test::]
455- (void):(int)_ :(int)m:(int)z; // CHECK: [[@LINE]]:9 | instance-method/ObjC | ::: | c:objc(cs)EmptySelectors(im)::: | -[EmptySelectors :::]
456
457@end
458
459@implementation EmptySelectors
460
461- (int):(int)_ { // CHECK: [[@LINE]]:8 | instance-method/ObjC | : | c:objc(cs)EmptySelectors(im): | -[EmptySelectors :]
462  [self :2]; // CHECK: [[@LINE]]:9 | instance-method/ObjC | : | c:objc(cs)EmptySelectors(im): | -[EmptySelectors :]
463  return 0;
464}
465
466- (void)test: (int)x :(int)y { // CHECK: [[@LINE]]:9 | instance-method/ObjC | test:: | c:objc(cs)EmptySelectors(im)test:: | -[EmptySelectors test::]
467}
468
469- (void) :(int)_ :(int)m :(int)z { // CHECK: [[@LINE]]:10 | instance-method/ObjC | ::: | c:objc(cs)EmptySelectors(im)::: | -[EmptySelectors :::]
470  [self test:0:1]; // CHECK: [[@LINE]]:9 | instance-method/ObjC | test:: | c:objc(cs)EmptySelectors(im)test:: | -[EmptySelectors test::]
471  [self: 0: 1: 2]; // CHECK: [[@LINE]]:8 | instance-method/ObjC | ::: | c:objc(cs)EmptySelectors(im)::: | -[EmptySelectors :::]
472}
473
474@end
475
476@protocol Prot3 // CHECK: [[@LINE]]:11 | protocol/ObjC | Prot3 | [[PROT3_USR:.*]] | <no-cgname> | Decl |
477-(void)meth; // CHECK: [[@LINE]]:8 | instance-method(protocol)/ObjC | meth | [[PROT3_meth_USR:.*]] | -[Prot3 meth] | Decl,Dyn,RelChild |
478@end
479
480void test_rec1() {
481  id<Prot3, Prot1> o1;
482  [o1 meth]; // CHECK: [[@LINE]]:7 | instance-method(protocol)/ObjC | meth | [[PROT3_meth_USR]] | {{.*}} | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 3
483    // CHECK-NEXT: RelCall,RelCont | test_rec1 |
484    // CHECK-NEXT: RelRec | Prot3 | [[PROT3_USR]]
485    // CHECK-NEXT: RelRec | Prot1 | [[PROT1_USR]]
486  Base<Prot3, Prot1> *o2;
487  [o2 meth]; // CHECK: [[@LINE]]:7 | instance-method/ObjC | meth | {{.*}} | Ref,Call,Dyn,RelRec,RelCall,RelCont | rel: 4
488    // CHECK-NEXT: RelCall,RelCont | test_rec1 |
489    // CHECK-NEXT: RelRec | Base | [[BASE_USR]]
490    // CHECK-NEXT: RelRec | Prot3 | [[PROT3_USR]]
491    // CHECK-NEXT: RelRec | Prot1 | [[PROT1_USR]]
492}
493
CodeThinker, Enjoy your reading code