index-source.cpp source code [clang_source_code/test/Index/Core/index-source.cpp]

1	// RUN: c-index-test core -print-source-symbols -- %s -std=c++1z -target x86_64-apple-macosx10.7 \| FileCheck %s
2	// RUN: c-index-test core -print-source-symbols -include-locals -- %s -std=c++1z -target x86_64-apple-macosx10.7 \| FileCheck -check-prefix=LOCAL %s
3
4	// CHECK: [[@LINE+1]]:7 \| class/C++ \| Cls \| [[Cls_USR:.*]] \| <no-cgname> \| Def \| rel: 0
5	class Cls { public:
6	// CHECK: [[@LINE+3]]:3 \| constructor/C++ \| Cls \| c:@S@Cls@F@Cls#I# \| __ZN3ClsC1Ei \| Decl,RelChild \| rel: 1
7	// CHECK-NEXT: RelChild \| Cls \| c:@S@Cls
8	// CHECK: [[@LINE+1]]:3 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
9	Cls(int x);
10	// CHECK: [[@LINE+2]]:3 \| constructor/cxx-copy-ctor/C++ \| Cls \| c:@S@Cls@F@Cls#&1$@S@Cls# \| __ZN3ClsC1ERKS_ \| Decl,RelChild \| rel: 1
11	// CHECK: [[@LINE+1]]:3 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
12	Cls(const Cls &);
13	// CHECK: [[@LINE+2]]:3 \| constructor/cxx-move-ctor/C++ \| Cls \| c:@S@Cls@F@Cls#&&$@S@Cls# \| __ZN3ClsC1EOS_ \| Decl,RelChild \| rel: 1
14	// CHECK: [[@LINE+1]]:3 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
15	Cls(Cls &&);
16
17	// CHECK: [[@LINE+2]]:3 \| destructor/C++ \| ~Cls \| c:@S@Cls@F@~Cls# \| __ZN3ClsD1Ev \| Decl,RelChild \| rel: 1
18	// CHECK: [[@LINE+1]]:4 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
19	~Cls();
20	};
21
22	// CHECK: [[@LINE+3]]:7 \| class/C++ \| SubCls1 \| [[SubCls1_USR:.*]] \| <no-cgname> \| Def \| rel: 0
23	// CHECK: [[@LINE+2]]:24 \| class/C++ \| Cls \| [[Cls_USR]] \| <no-cgname> \| Ref,RelBase,RelCont \| rel: 1
24	// CHECK-NEXT: RelBase,RelCont \| SubCls1 \| [[SubCls1_USR]]
25	class SubCls1 : public Cls {};
26	// CHECK: [[@LINE+1]]:13 \| type-alias/C \| ClsAlias \| [[ClsAlias_USR:.*]] \| <no-cgname> \| Def \| rel: 0
27	typedef Cls ClsAlias;
28	// CHECK: [[@LINE+5]]:7 \| class/C++ \| SubCls2 \| [[SubCls2_USR:.*]] \| <no-cgname> \| Def \| rel: 0
29	// CHECK: [[@LINE+4]]:24 \| type-alias/C \| ClsAlias \| [[ClsAlias_USR]] \| <no-cgname> \| Ref,RelCont \| rel: 1
30	// CHECK-NEXT: RelCont \| SubCls2 \| [[SubCls2_USR]]
31	// CHECK: [[@LINE+2]]:24 \| class/C++ \| Cls \| [[Cls_USR]] \| <no-cgname> \| Ref,Impl,RelBase,RelCont \| rel: 1
32	// CHECK-NEXT: RelBase,RelCont \| SubCls2 \| [[SubCls2_USR]]
33	class SubCls2 : public ClsAlias {};
34
35	Cls::Cls(int x) {}
36	// CHECK: [[@LINE-1]]:6 \| constructor/C++ \| Cls \| c:@S@Cls@F@Cls#I# \| __ZN3ClsC1Ei \| Def,RelChild \| rel: 1
37	// CHECK: [[@LINE-2]]:1 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
38	// CHECK: [[@LINE-3]]:6 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
39
40	Cls::~/a comment/Cls() {}
41	// CHECK: [[@LINE-1]]:6 \| destructor/C++ \| ~Cls \| c:@S@Cls@F@~Cls# \| __ZN3ClsD1Ev \| Def,RelChild \| rel: 1
42	// CHECK: [[@LINE-2]]:1 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
43	// CHECK: [[@LINE-3]]:20 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
44
45	template <typename TemplArg>
46	class TemplCls {
47	// CHECK: [[@LINE-1]]:7 \| class(Gen)/C++ \| TemplCls \| c:@ST>1#T@TemplCls \| <no-cgname> \| Def \| rel: 0
48	public:
49	TemplCls(int x);
50	// CHECK: [[@LINE-1]]:3 \| constructor/C++ \| TemplCls \| c:@ST>1#T@TemplCls@F@TemplCls#I# \| <no-cgname> \| Decl,RelChild \| rel: 1
51	// CHECK-NEXT: RelChild \| TemplCls \| c:@ST>1#T@TemplCls
52	};
53
54	template<>
55	class TemplCls<double> {
56	// CHECK: [[@LINE-1]]:7 \| class(Gen,TS)/C++ \| TemplCls \| c:@S@TemplCls>#d \| <no-cgname> \| Def,RelSpecialization \| rel: 1
57	// CHECK: RelSpecialization \| TemplCls \| c:@ST>1#T@TemplCls
58	};
59
60	TemplCls<int> gtv(0);
61	// CHECK: [[@LINE-1]]:1 \| class(Gen)/C++ \| TemplCls \| c:@ST>1#T@TemplCls \| <no-cgname> \| Ref,RelCont \| rel: 1
62
63	template<class T>
64	class Wrapper {};
65	template<class T, class P>
66	class Wrapper<T(P)> {};
67
68	// CHECK: [[@LINE+1]]:6 \| function/C \| test1 \| [[TEST1_USR:.]] \| [[TEST1_CG:.]] \| Decl \| rel: 0
69	void test1(Wrapper<void(int)> f);
70	// CHECK: [[@LINE+1]]:6 \| function/C \| test1 \| [[TEST1_USR]] \| [[TEST1_CG]] \| Def \| rel: 0
71	void test1(Wrapper<void(int)> f) {}
72
73	template <typename T>
74	class BT {
75	struct KLR {
76	int idx;
77	};
78
79	// CHECK: [[@LINE+1]]:7 \| instance-method/C++ \| foo \|
80	KLR foo() {
81	return { .idx = 0 }; // Make sure this doesn't trigger a crash.
82	}
83	};
84
85	// CHECK: [[@LINE+1]]:23 \| type-alias/C \| size_t \|
86	typedef unsigned long size_t;
87	// CHECK: [[@LINE+2]]:7 \| function/C \| operator new \| c:@F@operator new#l# \| __Znwm \|
88	// CHECK: [[@LINE+1]]:20 \| type-alias/C \| size_t \| {{.*}} \| Ref,RelCont \|
89	void* operator new(size_t sz);
90
91	// CHECK: [[@LINE+1]]:37 \| variable(Gen)/C++ \| tmplVar \| c:index-source.cpp@VT>1#T@tmplVar \| __ZL7tmplVar \| Def \| rel: 0
92	template<typename T> static const T tmplVar = T(0);
93	// CHECK: [[@LINE+1]]:29 \| variable(Gen,TS)/C++ \| tmplVar \| c:index-source.cpp@tmplVar>#I \| __ZL7tmplVarIiE \| Def \| rel: 0
94	template<> static const int tmplVar<int> = 0;
95	// CHECK: [[@LINE+2]]:5 \| variable/C \| gvi \| c:@gvi \| _gvi \| Def \| rel: 0
96	// CHECK: [[@LINE+1]]:11 \| variable(Gen,TS)/C++ \| tmplVar \| c:index-source.cpp@tmplVar>#I \| __ZL7tmplVarIiE \| Ref,Read,RelCont \| rel: 1
97	int gvi = tmplVar<int>;
98	// CHECK: [[@LINE+2]]:5 \| variable/C \| gvf \| c:@gvf \| _gvf \| Def \| rel: 0
99	// CHECK: [[@LINE+1]]:11 \| variable(Gen)/C++ \| tmplVar \| c:index-source.cpp@VT>1#T@tmplVar \| __ZL7tmplVar \| Ref,Read,RelCont \| rel: 1
100	int gvf = tmplVar<float>;
101
102	template<typename A, typename B>
103	class PartialSpecilizationClass { };
104	// CHECK: [[@LINE-1]]:7 \| class(Gen)/C++ \| PartialSpecilizationClass \| c:@ST>2#T#T@PartialSpecilizationClass \| <no-cgname> \| Def \| rel: 0
105
106	template<typename B>
107	class PartialSpecilizationClass<int, B *> { };
108	// CHECK: [[@LINE-1]]:7 \| class(Gen,TPS)/C++ \| PartialSpecilizationClass \| c:@SP>1#T@PartialSpecilizationClass>#I#*t0.0 \| <no-cgname> \| Def,RelSpecialization \| rel: 1
109	// CHECK-NEXT: RelSpecialization \| PartialSpecilizationClass \| c:@ST>2#T#T@PartialSpecilizationClass
110
111	template<>
112	class PartialSpecilizationClass<int, int> { };
113	// CHECK: [[@LINE-1]]:7 \| class(Gen,TS)/C++ \| PartialSpecilizationClass \| c:@S@PartialSpecilizationClass>#I#I \| <no-cgname> \| Def,RelSpecialization \| rel: 1
114	// CHECK-NEXT: RelSpecialization \| PartialSpecilizationClass \| c:@ST>2#T#T@PartialSpecilizationClass
115
116	template<typename T, typename S>
117	class PseudoOverridesInSpecializations {
118	void function() { }
119	void function(int) { }
120
121	static void staticFunction() { }
122
123	int field;
124	static int variable;
125
126	typedef T TypeDef;
127	using TypeAlias = T;
128
129	enum anEnum { };
130
131	struct Struct { };
132	union Union { };
133
134	using TypealiasOrRecord = void;
135
136	template<typename U> struct InnerTemplate { };
137	template<typename U> struct InnerTemplate <U*> { };
138
139	template<typename U>
140	class InnerClass { };
141	};
142
143	template<>
144	class PseudoOverridesInSpecializations<double, int> {
145	void function() { }
146	// CHECK: [[@LINE-1]]:8 \| instance-method/C++ \| function \| c:@S@PseudoOverridesInSpecializations>#d#I@F@function# \| __ZN32PseudoOverridesInSpecializationsIdiE8functionEv \| Def,RelChild,RelSpecialization \| rel: 2
147	// CHECK-NEXT: RelChild
148	// CHECK-NEXT: RelSpecialization \| function \| c:@ST>2#T#T@PseudoOverridesInSpecializations@F@function#
149
150	void staticFunction() { }
151	// CHECK: [[@LINE-1]]:8 \| instance-method/C++ \| staticFunction \| c:@S@PseudoOverridesInSpecializations>#d#I@F@staticFunction# \| __ZN32PseudoOverridesInSpecializationsIdiE14staticFunctionEv \| Def,RelChild \| rel: 1
152	// CHECK-NOT: RelSpecialization
153
154	int notOverridingField = 0;
155
156	// CHECK-LABEL: checLabelBreak
157	int checLabelBreak = 0;
158
159	int field = 0;
160	// CHECK: [[@LINE-1]]:7 \| field/C++ \| field \| c:@S@PseudoOverridesInSpecializations>#d#I@FI@field \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
161	// CHECK-NEXT: RelChild
162	// CHECK-NEXT: RelSpecialization \| field \| c:@ST>2#T#T@PseudoOverridesInSpecializations@FI@field
163
164	static double variable;
165	// CHECK: [[@LINE-1]]:17 \| static-property/C++ \| variable \| c:@S@PseudoOverridesInSpecializations>#d#I@variable \| __ZN32PseudoOverridesInSpecializationsIdiE8variableE \| Decl,RelChild,RelSpecialization \| rel: 2
166	// CHECK-NEXT: RelChild
167	// CHECK-NEXT: RelSpecialization \| variable \| c:@ST>2#T#T@PseudoOverridesInSpecializations@variable
168
169	typedef double TypeDef;
170	// CHECK: [[@LINE-1]]:18 \| type-alias/C \| TypeDef \| c:index-source.cpp@S@PseudoOverridesInSpecializations>#d#I@T@TypeDef \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
171	// CHECK-NEXT: RelChild
172	// CHECK-NEXT: RelSpecialization \| TypeDef \| c:index-source.cpp@ST>2#T#T@PseudoOverridesInSpecializations@T@TypeDef
173
174	using TypeAlias = int;
175	// CHECK: [[@LINE-1]]:9 \| type-alias/C++ \| TypeAlias \| c:@S@PseudoOverridesInSpecializations>#d#I@TypeAlias \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
176	// CHECK-NEXT: RelChild
177	// CHECK-NEXT: RelSpecialization \| TypeAlias \| c:@ST>2#T#T@PseudoOverridesInSpecializations@TypeAlias
178
179	enum anEnum { };
180	// CHECK: [[@LINE-1]]:8 \| enum/C \| anEnum \| c:@S@PseudoOverridesInSpecializations>#d#I@E@anEnum \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
181	// CHECK-NEXT: RelChild
182	// CHECK-NEXT: RelSpecialization \| anEnum \| c:@ST>2#T#T@PseudoOverridesInSpecializations@E@anEnum
183	class Struct { };
184	// CHECK: [[@LINE-1]]:9 \| class/C++ \| Struct \| c:@S@PseudoOverridesInSpecializations>#d#I@S@Struct \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
185	// CHECK-NEXT: RelChild
186	// CHECK-NEXT: RelSpecialization \| Struct \| c:@ST>2#T#T@PseudoOverridesInSpecializations@S@Struct
187	union Union { };
188	// CHECK: [[@LINE-1]]:9 \| union/C \| Union \| c:@S@PseudoOverridesInSpecializations>#d#I@U@Union \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
189	// CHECK-NEXT: RelChild
190	// CHECK-NEXT: RelSpecialization \| Union \| c:@ST>2#T#T@PseudoOverridesInSpecializations@U@Union
191
192	struct TypealiasOrRecord { };
193	// CHECK: [[@LINE-1]]:10 \| struct/C \| TypealiasOrRecord \| c:@S@PseudoOverridesInSpecializations>#d#I@S@TypealiasOrRecord \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
194	// CHECK-NEXT: RelChild
195	// CHECK-NEXT: RelSpecialization \| TypealiasOrRecord \| c:@ST>2#T#T@PseudoOverridesInSpecializations@TypealiasOrRecord
196
197	template<typename U> struct InnerTemplate { };
198	// CHECK: [[@LINE-1]]:31 \| struct(Gen)/C++ \| InnerTemplate \| c:@S@PseudoOverridesInSpecializations>#d#I@ST>1#T@InnerTemplate \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
199	// CHECK-NEXT: RelChild
200	// CHECK-NEXT: RelSpecialization \| InnerTemplate \| c:@ST>2#T#T@PseudoOverridesInSpecializations@ST>1#T@InnerTemplate
201	template<typename U> struct InnerTemplate <U*> { };
202
203	template<typename U>
204	class InnerClass;
205	// CHECK: [[@LINE-1]]:9 \| class(Gen)/C++ \| InnerClass \| c:@S@PseudoOverridesInSpecializations>#d#I@ST>1#T@InnerClass \| <no-cgname> \| Decl,RelChild,RelSpecialization \| rel: 2
206	// CHECK-NEXT: RelChild
207	// CHECK-NEXT: RelSpecialization \| InnerClass \| c:@ST>2#T#T@PseudoOverridesInSpecializations@ST>1#T@InnerClass
208	};
209
210	template<typename U>
211	class PseudoOverridesInSpecializations<double, int>::InnerClass {
212	};
213	// CHECK: [[@LINE-2]]:54 \| class(Gen)/C++ \| InnerClass \| c:@S@PseudoOverridesInSpecializations>#d#I@ST>1#T@InnerClass \| <no-cgname> \| Def,RelChild \| rel: 1
214	// CHECK-NEXT: RelChild
215	// CHECK: [[@LINE-4]]:7 \| class(Gen,TS)/C++ \| PseudoOverridesInSpecializations \| c:@S@PseudoOverridesInSpecializations>#d#I \| <no-cgname> \| Ref,RelCont \| rel: 1
216	// CHECK-NEXT: RelCont
217
218	template<typename S>
219	class PseudoOverridesInSpecializations<float, S> {
220	typedef float TypealiasOrRecord;
221	// CHECK: [[@LINE-1]]:17 \| type-alias/C \| TypealiasOrRecord \| c:index-source.cpp@SP>1#T@PseudoOverridesInSpecializations>#f#t0.0@T@TypealiasOrRecord \| <no-cgname> \| Def,RelChild,RelSpecialization \| rel: 2
222	// CHECK-NEXT: RelChild
223	// CHECK-NEXT: RelSpecialization \| TypealiasOrRecord \| c:@ST>2#T#T@PseudoOverridesInSpecializations@TypealiasOrRecord
224	};
225
226	template<typename T, typename U>
227	class ConflictingPseudoOverridesInSpecialization {
228	void foo(T x);
229	void foo(U x);
230	};
231
232	template<typename T>
233	class ConflictingPseudoOverridesInSpecialization<int, T> {
234	void foo(T x);
235	// CHECK: [[@LINE-1]]:8 \| instance-method/C++ \| foo \| c:@SP>1#T@ConflictingPseudoOverridesInSpecialization>#I#t0.0@F@foo#S0_# \| <no-cgname> \| Decl,RelChild,RelSpecialization \| rel: 3
236	// CHECK-NEXT: RelChild
237	// CHECK-NEXT: RelSpecialization \| foo \| c:@ST>2#T#T@ConflictingPseudoOverridesInSpecialization@F@foo#t0.0#
238	// CHECK-NEXT: RelSpecialization \| foo \| c:@ST>2#T#T@ConflictingPseudoOverridesInSpecialization@F@foo#t0.1#
239	};
240
241	template<typename T, typename U, int x>
242	void functionSpecialization();
243
244	template<typename T, typename U, int x>
245	void functionSpecialization() { }
246	// CHECK: [[@LINE-1]]:6 \| function/C \| functionSpecialization \| c:@FT@>3#T#T#NIfunctionSpecialization#v# \| <no-cgname> \| Def \| rel: 0
247
248	template<>
249	void functionSpecialization<int, int, 0>();
250	// CHECK: [[@LINE-1]]:6 \| function(Gen,TS)/C++ \| functionSpecialization \| c:@F@functionSpecialization<#I#I#VI0># \| __Z22functionSpecializationIiiLi0EEvv \| Decl,RelSpecialization \| rel: 1
251	// CHECK-NEXT: RelSpecialization \| functionSpecialization \| c:@FT@>3#T#T#NIfunctionSpecialization#v#
252
253	template<>
254	void functionSpecialization<int, int, 0>() { }
255	// CHECK: [[@LINE-1]]:6 \| function(Gen,TS)/C++ \| functionSpecialization \| c:@F@functionSpecialization<#I#I#VI0># \| __Z22functionSpecializationIiiLi0EEvv \| Def,RelSpecialization \| rel: 1
256	// CHECK-NEXT: RelSpecialization \| functionSpecialization \| c:@FT@>3#T#T#NIfunctionSpecialization#v#
257
258	struct ContainsSpecializedMemberFunction {
259	template<typename T>
260	void memberSpecialization();
261	};
262
263	template<typename T>
264	void ContainsSpecializedMemberFunction::memberSpecialization() {
265	// CHECK: [[@LINE-1]]:41 \| instance-method/C++ \| memberSpecialization \| c:@S@ContainsSpecializedMemberFunction@FT@>1#TmemberSpecialization#v# \| <no-cgname> \| Def,RelChild \| rel: 1
266	// CHECK-NEXT: RelChild
267	}
268
269	template<>
270	void ContainsSpecializedMemberFunction::memberSpecialization<int>() {
271	// CHECK: [[@LINE-1]]:41 \| instance-method(Gen,TS)/C++ \| memberSpecialization \| c:@S@ContainsSpecializedMemberFunction@F@memberSpecialization<#I># \| __ZN33ContainsSpecializedMemberFunction20memberSpecializationIiEEvv \| Def,RelChild,RelSpecialization \| rel: 2
272	// CHECK-NEXT: RelChild
273	// CHECK-NEXT: RelSpecialization \| memberSpecialization \| c:@S@ContainsSpecializedMemberFunction@FT@>1#TmemberSpecialization#v#
274	}
275
276	template<typename T>
277	class SpecializationDecl;
278	// CHECK: [[@LINE-1]]:7 \| class(Gen)/C++ \| SpecializationDecl \| c:@ST>1#T@SpecializationDecl \| <no-cgname> \| Decl \| rel: 0
279
280	template<typename T>
281	class SpecializationDecl { };
282	// CHECK: [[@LINE-1]]:7 \| class(Gen)/C++ \| SpecializationDecl \| c:@ST>1#T@SpecializationDecl \| <no-cgname> \| Def \| rel: 0
283
284	template<>
285	class SpecializationDecl<int>;
286	// CHECK: [[@LINE-1]]:7 \| class(Gen,TS)/C++ \| SpecializationDecl \| c:@S@SpecializationDecl>#I \| <no-cgname> \| Decl,RelSpecialization \| rel: 1
287	// CHECK-NEXT: RelSpecialization \| SpecializationDecl \| c:@ST>1#T@SpecializationDecl
288	// CHECK: [[@LINE-3]]:7 \| class(Gen,TS)/C++ \| SpecializationDecl \| c:@S@SpecializationDecl>#I \| <no-cgname> \| Ref \| rel: 0
289
290	template<>
291	class SpecializationDecl<int> { };
292	// CHECK: [[@LINE-1]]:7 \| class(Gen,TS)/C++ \| SpecializationDecl \| c:@S@SpecializationDecl>#I \| <no-cgname> \| Def,RelSpecialization \| rel: 1
293	// CHECK-NEXT: RelSpecialization \| SpecializationDecl \| c:@ST>1#T@SpecializationDecl
294	// CHECK-NEXT: [[@LINE-3]]:7 \| class(Gen,TS)/C++ \| SpecializationDecl \| c:@S@SpecializationDecl>#I \| <no-cgname> \| Ref \| rel: 0
295
296	template<typename T>
297	class PartialSpecilizationClass<Cls, T>;
298	// CHECK: [[@LINE-1]]:7 \| class(Gen,TPS)/C++ \| PartialSpecilizationClass \| c:@SP>1#T@PartialSpecilizationClass>#$@S@Cls#t0.0 \| <no-cgname> \| Decl,RelSpecialization \| rel: 1
299	// CHECK-NEXT: RelSpecialization \| PartialSpecilizationClass \| c:@ST>2#T#T@PartialSpecilizationClass
300	// CHECK: [[@LINE-3]]:7 \| class(Gen)/C++ \| PartialSpecilizationClass \| c:@ST>2#T#T@PartialSpecilizationClass \| <no-cgname> \| Ref \| rel: 0
301	// CHECK-NEXT: [[@LINE-4]]:33 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref \| rel: 0
302
303	template<>
304	class PartialSpecilizationClass<Cls, Cls> : Cls { };
305	// CHECK: [[@LINE-1]]:7 \| class(Gen,TS)/C++ \| PartialSpecilizationClass \| c:@S@PartialSpecilizationClass>#$@S@Cls#S0_ \| <no-cgname> \| Def,RelSpecialization \| rel: 1
306	// CHECK-NEXT: RelSpecialization \| PartialSpecilizationClass \| c:@ST>2#T#T@PartialSpecilizationClass
307	// CHECK-NEXT: [[@LINE-3]]:45 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelBase,RelCont \| rel: 1
308	// CHECK-NEXT: RelBase,RelCont \| PartialSpecilizationClass \| c:@S@PartialSpecilizationClass>#$@S@Cls#S0_
309	// CHECK-NEXT: [[@LINE-5]]:7 \| class(Gen,TS)/C++ \| PartialSpecilizationClass \| c:@S@PartialSpecilizationClass>#$@S@Cls#S0_ \| <no-cgname> \| Ref \| rel: 0
310	// CHECK-NEXT: [[@LINE-6]]:33 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref \| rel: 0
311	// CHECK-NEXT: [[@LINE-7]]:38 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref \| rel: 0
312
313	template<typename T, int x>
314	void functionSp() { }
315
316	struct Record {
317	constexpr static int C = 2;
318	};
319
320	template<>
321	void functionSp<SpecializationDecl<Cls>, Record::C>() {
322	// CHECK: [[@LINE-1]]:6 \| function(Gen,TS)/C++ \| functionSp \| c:@F@functionSp<#$@S@SpecializationDecl>#$@S@Cls#VI2># \| __Z10functionSpI18SpecializationDeclI3ClsELi2EEvv \| Def,RelSpecialization \| rel: 1
323	// CHECK: RelSpecialization \| functionSp \| c:@FT@>2#T#NIfunctionSp#v#
324	// CHECK: [[@LINE-3]]:17 \| class(Gen,TS)/C++ \| SpecializationDecl \| c:@S@SpecializationDecl>#$@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
325	// CHECK: [[@LINE-4]]:36 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
326	// CHECK: [[@LINE-5]]:50 \| static-property/C++ \| C \| c:@S@Record@C \| __ZN6Record1CE \| Ref,RelCont \| rel: 1
327	// CHECK: [[@LINE-6]]:42 \| struct/C++ \| Record \| c:@S@Record \| <no-cgname> \| Ref,RelCont \| rel: 1
328	}
329
330	template<typename T, int x>
331	class ClassWithCorrectSpecialization { };
332
333	template<>
334	class ClassWithCorrectSpecialization<SpecializationDecl<Cls>, Record::C> { };
335	// CHECK: [[@LINE-1]]:38 \| class(Gen,TS)/C++ \| SpecializationDecl \| c:@S@SpecializationDecl>#$@S@Cls \| <no-cgname> \| Ref \| rel: 0
336	// CHECK: [[@LINE-2]]:57 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref \| rel: 0
337	// CHECK: [[@LINE-3]]:71 \| static-property/C++ \| C \| c:@S@Record@C \| __ZN6Record1CE \| Ref,Read \| rel: 0
338	// CHECK: [[@LINE-4]]:63 \| struct/C++ \| Record \| c:@S@Record \| <no-cgname> \| Ref \| rel: 0
339
340	namespace ns {
341	// CHECK: [[@LINE-1]]:11 \| namespace/C++ \| ns \| c:@N@ns \| <no-cgname> \| Decl \| rel: 0
342	namespace inner {
343	// CHECK: [[@LINE-1]]:11 \| namespace/C++ \| inner \| c:@N@ns@N@inner \| <no-cgname> \| Decl,RelChild \| rel: 1
344	void func();
345
346	}
347	namespace innerAlias = inner;
348	// CHECK: [[@LINE-1]]:11 \| namespace-alias/C++ \| innerAlias \| c:@N@ns@NA@innerAlias \| <no-cgname> \| Decl,RelChild \| rel: 1
349	// CHECK: [[@LINE-2]]:24 \| namespace/C++ \| inner \| c:@N@ns@N@inner \| <no-cgname> \| Ref,RelCont \| rel: 1
350	}
351
352	namespace namespaceAlias = ::ns::innerAlias;
353	// CHECK: [[@LINE-1]]:11 \| namespace-alias/C++ \| namespaceAlias \| c:@NA@namespaceAlias \| <no-cgname> \| Decl \| rel: 0
354	// CHECK: [[@LINE-2]]:30 \| namespace/C++ \| ns \| c:@N@ns \| <no-cgname> \| Ref,RelCont \| rel: 1
355	// CHECK: [[@LINE-3]]:34 \| namespace-alias/C++ \| innerAlias \| c:@N@ns@NA@innerAlias \| <no-cgname> \| Ref,RelCont \| rel: 1
356
357	void ::ns::inner::func() {
358	// CHECK: [[@LINE-1]]:8 \| namespace/C++ \| ns \| c:@N@ns \| <no-cgname> \| Ref,RelCont \| rel: 1
359	// CHECK: [[@LINE-2]]:12 \| namespace/C++ \| inner \| c:@N@ns@N@inner \| <no-cgname> \| Ref,RelCont \| rel: 1
360	ns::innerAlias::func();
361	// CHECK: [[@LINE-1]]:3 \| namespace/C++ \| ns \| c:@N@ns \| <no-cgname> \| Ref,RelCont \| rel: 1
362	// CHECK: [[@LINE-2]]:7 \| namespace-alias/C++ \| innerAlias \| c:@N@ns@NA@innerAlias \| <no-cgname> \| Ref,RelCont \| rel: 1
363	}
364
365	void innerUsingNamespace() {
366	using namespace ns;
367	// CHECK: [[@LINE-1]]:19 \| namespace/C++ \| ns \| c:@N@ns \| <no-cgname> \| Ref,RelCont \| rel: 1
368	{
369	using namespace ns::innerAlias;
370	// CHECK: [[@LINE-1]]:25 \| namespace-alias/C++ \| innerAlias \| c:@N@ns@NA@innerAlias \| <no-cgname> \| Ref,RelCont \| rel: 1
371	// CHECK: [[@LINE-2]]:21 \| namespace/C++ \| ns \| c:@N@ns \| <no-cgname> \| Ref,RelCont \| rel: 1
372	// CHECK-NOT: [[@LINE-3]]:21
373	}
374	}
375
376	void indexDefaultValueInDefn(Cls cls = Cls(gvi), Record param = Record()) {
377	// CHECK: [[@LINE-1]]:40 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
378	// CHECK: [[@LINE-2]]:44 \| variable/C \| gvi \| c:@gvi \| _gvi \| Ref,Read,RelCont \| rel: 1
379	// CHECK-NOT: [[@LINE-3]]:44
380	// CHECK: [[@LINE-4]]:65 \| struct/C++ \| Record \| c:@S@Record \| <no-cgname> \| Ref,RelCont \| rel: 1
381	// CHECK-NOT: [[@LINE-5]]:65
382	}
383
384	template<template <typename> class T>
385	struct IndexDefaultValue {
386	IndexDefaultValue(int k = Record::C) {
387	// CHECK: [[@LINE-1]]:38 \| static-property/C++ \| C \| c:@S@Record@C \| __ZN6Record1CE \| Ref,Read,RelCont \| rel: 1
388	// CHECK: [[@LINE-2]]:30 \| struct/C++ \| Record \| c:@S@Record \| <no-cgname> \| Ref,RelCont \| rel: 1
389	}
390	};
391
392	struct DeletedMethods {
393	DeletedMethods(const DeletedMethods &) = delete;
394	// CHECK: [[@LINE-1]]:3 \| constructor/cxx-copy-ctor/C++ \| DeletedMethods \| c:@S@DeletedMethods@F@DeletedMethods#&1$@S@DeletedMethods# \| __ZN14DeletedMethodsC1ERKS_ \| Def,RelChild \| rel: 1
395	// CHECK: RelChild \| DeletedMethods \| c:@S@DeletedMethods
396	// CHECK: [[@LINE-3]]:24 \| struct/C++ \| DeletedMethods \| c:@S@DeletedMethods \| <no-cgname> \| Ref,RelCont \| rel: 1
397	// CHECK: [[@LINE-4]]:3 \| struct/C++ \| DeletedMethods \| c:@S@DeletedMethods \| <no-cgname> \| Ref,RelCont,NameReference \| rel: 1
398	};
399
400	namespace ns2 {
401	template<typename T> struct ACollectionDecl { };
402	}
403
404	template<typename T = Cls,
405	// CHECK: [[@LINE-1]]:23 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
406	// CHECK-NEXT: RelCont \| TemplateDefaultValues \| c:@ST>3#T#NI#t>1#T@TemplateDefaultValues
407	int x = Record::C,
408	// CHECK: [[@LINE-1]]:26 \| static-property/C++ \| C \| c:@S@Record@C \| __ZN6Record1CE \| Ref,Read,RelCont \| rel: 1
409	// CHECK-NEXT: RelCont \| TemplateDefaultValues \| c:@ST>3#T#NI#t>1#T@TemplateDefaultValues
410	// CHECK: [[@LINE-3]]:18 \| struct/C++ \| Record \| c:@S@Record \| <no-cgname> \| Ref,RelCont \| rel: 1
411	template <typename> class Collection = ns2::ACollectionDecl>
412	// CHECK: [[@LINE-1]]:49 \| namespace/C++ \| ns2 \| c:@N@ns2 \| <no-cgname> \| Ref,RelCont \| rel: 1
413	// CHECK-NEXT: RelCont \| TemplateDefaultValues \| c:@ST>3#T#NI#t>1#T@TemplateDefaultValues
414	// CHECK: [[@LINE-3]]:54 \| struct(Gen)/C++ \| ACollectionDecl \| c:@N@ns2@ST>1#T@ACollectionDecl \| <no-cgname> \| Ref,RelCont \| rel: 1
415	// CHECK-NEXT: RelCont \| TemplateDefaultValues \| c:@ST>3#T#NI#t>1#T@TemplateDefaultValues
416	struct TemplateDefaultValues { };
417
418	template<typename T = Record,
419	// CHECK: [[@LINE-1]]:23 \| struct/C++ \| Record \| c:@S@Record \| <no-cgname> \| Ref,RelCont \| rel: 1
420	int x = sizeof(Cls)>
421	// CHECK: [[@LINE-1]]:25 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
422	void functionTemplateDefaultValues() { }
423
424	namespace ensureDefaultTemplateParamsAreRecordedOnce {
425
426	template<typename T = Cls>
427	// CHECK: [[@LINE-1]]:23 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
428	// CHECK-NOT: [[@LINE-2]]:23
429	void functionDecl();
430
431	template<typename T>
432	void functionDecl() { }
433
434	template<typename T = Cls>
435	// CHECK: [[@LINE-1]]:23 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
436	// CHECK-NOT: [[@LINE-2]]:23
437	class TagDecl;
438
439	template<typename T>
440	class TagDecl;
441
442	template<typename T>
443	class TagDecl { };
444
445	template<typename T = Cls>
446	// CHECK: [[@LINE-1]]:23 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
447	using TypeAlias = TagDecl<T>;
448
449	template<typename T = Cls>
450	// CHECK: [[@LINE-1]]:23 \| class/C++ \| Cls \| c:@S@Cls \| <no-cgname> \| Ref,RelCont \| rel: 1
451	// CHECK-NOT: [[@LINE-2]]:23
452	extern T varDecl;
453
454	template<typename T>
455	T varDecl = T();
456
457	} // end namespace ensureDefaultTemplateParamsAreRecordedOnce
458
459	struct StaticAssertRef {
460	static constexpr bool constVar = true;
461	};
462
463	static_assert(StaticAssertRef::constVar, "index static asserts");
464	// CHECK: [[@LINE-1]]:32 \| static-property/C++ \| constVar \| c:@S@StaticAssertRef@constVar \| __ZN15StaticAssertRef8constVarE \| Ref \| rel: 0
465	// CHECK: [[@LINE-2]]:15 \| struct/C++ \| StaticAssertRef \| c:@S@StaticAssertRef \| <no-cgname> \| Ref \| rel: 0
466
467	void staticAssertInFn() {
468	static_assert(StaticAssertRef::constVar, "index static asserts");
469	// CHECK: [[@LINE-1]]:34 \| static-property/C++ \| constVar \| c:@S@StaticAssertRef@constVar \| __ZN15StaticAssertRef8constVarE \| Ref,RelCont \| rel: 1
470	// CHECK-NEXT: RelCont \| staticAssertInFn \| c:@F@staticAssertInFn#
471	// CHECK: [[@LINE-3]]:17 \| struct/C++ \| StaticAssertRef \| c:@S@StaticAssertRef \| <no-cgname> \| Ref,RelCont \| rel: 1
472	// CHECK-NEXT: RelCont \| staticAssertInFn \| c:@F@staticAssertInFn#
473	}
474
475	namespace cpp17structuredBinding {
476
477	struct Cpp17StructuredBinding {
478	int x, y;
479
480	Cpp17StructuredBinding(int x, int y): x(x), y(y) { }
481	};
482
483	auto [structuredBinding1, structuredBinding2] = Cpp17StructuredBinding(Record::C, 0);
484	// CHECK: [[@LINE-1]]:7 \| variable/C++ \| structuredBinding1 \| c:@N@cpp17structuredBinding@structuredBinding1 \| <no-cgname> \| Decl,RelChild \| rel: 1
485	// CHECK-NEXT: RelChild \| cpp17structuredBinding \| c:@N@cpp17structuredBinding
486	// CHECK: [[@LINE-3]]:27 \| variable/C++ \| structuredBinding2 \| c:@N@cpp17structuredBinding@structuredBinding2 \| <no-cgname> \| Decl,RelChild \| rel: 1
487	// CHECK-NEXT: RelChild \| cpp17structuredBinding \| c:@N@cpp17structuredBinding
488
489	void localStructuredBindingAndRef() {
490	int ref = structuredBinding1;
491	// CHECK: [[@LINE-1]]:13 \| variable/C++ \| structuredBinding1 \| c:@N@cpp17structuredBinding@structuredBinding1 \| <no-cgname> \| Ref,Read,RelCont \| rel: 1
492	// CHECK-NEXT: RelCont \| localStructuredBindingAndRef \| c:@N@cpp17structuredBinding@F@localStructuredBindingAndRef#
493	auto [localBinding1, localBinding2] = Cpp17StructuredBinding(ref, structuredBinding2);
494	// CHECK: [[@LINE-1]]:69 \| variable/C++ \| structuredBinding2 \| c:@N@cpp17structuredBinding@structuredBinding2 \| <no-cgname> \| Ref,Read,RelCont \| rel: 1
495	// CHECK-NEXT: RelCont \| localStructuredBindingAndRef \| c:@N@cpp17structuredBinding@F@localStructuredBindingAndRef#
496	// CHECK-NOT: localBinding
497	// LOCAL: [[@LINE-4]]:9 \| variable(local)/C++ \| localBinding1 \| c:index-source.cpp@{{.*}}@N@cpp17structuredBinding@F@localStructuredBindingAndRef#@localBinding1
498	}
499
500	}
501
502	template<typename T>
503	struct Guided { T t; };
504	// CHECK: [[@LINE-1]]:8 \| struct(Gen)/C++ \| Guided \| c:@ST>1#T@Guided \| <no-cgname> \| Def \| rel: 0
505	// CHECK-NEXT: [[@LINE-2]]:19 \| field/C++ \| t \| c:@ST>1#T@Guided@FI@t \| <no-cgname> \| Def,RelChild \| rel: 1
506	// CHECK-NEXT: RelChild \| Guided \| c:@ST>1#T@Guided
507	Guided(double) -> Guided<float>;
508	// CHECK: [[@LINE-1]]:19 \| struct(Gen,TS)/C++ \| Guided \| c:@S@Guided>#f \| <no-cgname> \| Ref \| rel: 0
509	// CHECK-NEXT: [[@LINE-2]]:1 \| struct(Gen)/C++ \| Guided \| c:@ST>1#T@Guided \| <no-cgname> \| Ref \| rel: 0
510	auto guided = Guided{1.0};
511	// CHECK: [[@LINE-1]]:6 \| variable/C \| guided \| c:@guided \| _guided \| Def \| rel: 0
512	// CHECK-NEXT: [[@LINE-2]]:15 \| struct(Gen)/C++ \| Guided \| c:@ST>1#T@Guided \| <no-cgname> \| Ref,RelCont \| rel: 1
513	// CHECK-NEXT: RelCont \| guided \| c:@guided
514
515	namespace rd33122110 {
516
517	struct Outer {
518	template<typename T>
519	struct Nested { };
520	};
521
522	}
523
524	template<>
525	struct rd33122110::Outer::Nested<int>;
526	// CHECK: [[@LINE-1]]:8 \| namespace/C++ \| rd33122110 \| c:@N@rd33122110 \| <no-cgname> \| Ref,RelCont \| rel: 1
527	// CHECK-NEXT: RelCont \| Nested \| c:@N@rd33122110@S@Outer@S@Nested>#I
528	// CHECK: [[@LINE-3]]:20 \| struct/C++ \| Outer \| c:@N@rd33122110@S@Outer \| <no-cgname> \| Ref,RelCont \| rel: 1
529	// CHECK-NEXT: RelCont \| Nested \| c:@N@rd33122110@S@Outer@S@Nested>#I
530
531	namespace index_offsetof {
532
533	struct Struct {
534	int field;
535	};
536
537	struct Struct2 {
538	Struct array[4][2];
539	};
540
541	void foo() {
542	__builtin_offsetof(Struct, field);
543	// CHECK: [[@LINE-1]]:30 \| field/C \| field \| c:@N@index_offsetof@S@Struct@FI@field \| <no-cgname> \| Ref,RelCont \| rel: 1
544	// CHECK-NEXT: RelCont \| foo \| c:@N@index_offsetof@F@foo#
545	__builtin_offsetof(Struct2, array[1][0].field);
546	// CHECK: [[@LINE-1]]:31 \| field/C \| array \| c:@N@index_offsetof@S@Struct2@FI@array \| <no-cgname> \| Ref,RelCont \| rel: 1
547	// CHECK-NEXT: RelCont \| foo \| c:@N@index_offsetof@F@foo#
548	// CHECK: [[@LINE-3]]:43 \| field/C \| field \| c:@N@index_offsetof@S@Struct@FI@field \| <no-cgname> \| Ref,RelCont \| rel: 1
549	// CHECK-NEXT: RelCont \| foo \| c:@N@index_offsetof@F@foo#
550	}
551
552	#define OFFSET_OF_(X, Y) __builtin_offsetof(X, Y)
553
554	class SubclassOffsetof : public Struct {
555	void foo() {
556	OFFSET_OF_(SubclassOffsetof, field);
557	// CHECK: [[@LINE-1]]:34 \| field/C \| field \| c:@N@index_offsetof@S@Struct@FI@field \| <no-cgname> \| Ref,RelCont \| rel: 1
558	// CHECK-NEXT: RelCont \| foo \| c:@N@index_offsetof@S@SubclassOffsetof@F@foo#
559	}
560	};
561
562	}
563

Clang Project