|
236
|
1 // UNSUPPORTED: system-darwin
|
|
|
2 // RUN: %clang %target_itanium_abi_host_triple %s -c -o - -gdwarf-4 -Xclang -gsimple-template-names=mangled -Xclang -debug-forward-template-params -std=c++20 \
|
|
|
3 // RUN: | llvm-dwarfdump --verify -
|
|
|
4 // RUN: %clang %target_itanium_abi_host_triple %s -c -o - -gdwarf-4 -Xclang -gsimple-template-names=mangled -Xclang -debug-forward-template-params -std=c++20 -gmlt -fdebug-info-for-profiling \
|
|
|
5 // RUN: | llvm-dwarfdump --verify -
|
|
|
6 // RUN: %clang %target_itanium_abi_host_triple %s -c -o - -gdwarf-4 -Xclang -gsimple-template-names=mangled -Xclang -debug-forward-template-params -std=c++20 -fdebug-types-section \
|
|
|
7 // RUN: | llvm-dwarfdump --verify -
|
|
|
8 // RUN: %clang %target_itanium_abi_host_triple %s -c -o - -gdwarf-5 -Xclang -gsimple-template-names=mangled -Xclang -debug-forward-template-params -std=c++20 -fdebug-types-section \
|
|
|
9 // RUN: | llvm-dwarfdump --verify -
|
|
|
10
|
|
|
11 #include <cstdint>
|
|
|
12 #include <cstddef>
|
|
|
13 template<typename ...Ts>
|
|
|
14 struct t1 {
|
|
|
15 };
|
|
|
16 template<typename ...Ts>
|
|
|
17 struct t2;
|
|
|
18 struct udt {
|
|
|
19 };
|
|
|
20 namespace ns {
|
|
|
21 struct udt {
|
|
|
22 };
|
|
|
23 namespace inner {
|
|
|
24 template<typename T> struct ttp { };
|
|
|
25 struct udt { };
|
|
|
26 }
|
|
|
27 template<template<typename> class T>
|
|
|
28 void ttp_user() { }
|
|
|
29 enum Enumeration : int { Enumerator1, Enumerator2, Enumerator3 = 1 };
|
|
|
30 enum class EnumerationClass { Enumerator1, Enumerator2, Enumerator3 = 1 };
|
|
|
31 enum : int { AnonEnum1, AnonEnum2, AnonEnum3 = 1 };
|
|
|
32 enum EnumerationSmall : unsigned char { kNeg = 0xff };
|
|
|
33 }
|
|
|
34 template <typename... Ts>
|
|
|
35 void f1() {
|
|
|
36 t1<Ts...> v1;
|
|
|
37 t2<Ts...> *v2;
|
|
|
38 }
|
|
|
39 template<bool b, int i>
|
|
|
40 void f2() {
|
|
|
41 }
|
|
|
42 template<typename T, T ...A>
|
|
|
43 void f3() {
|
|
|
44 }
|
|
|
45 template<typename T, unsigned = 3>
|
|
|
46 void f4() {
|
|
|
47 }
|
|
|
48 template<typename T, bool b = false>
|
|
|
49 struct t3 { };
|
|
|
50 extern template class t3<int>;
|
|
|
51 template class t3<int>;
|
|
|
52 struct outer_class {
|
|
|
53 struct inner_class {
|
|
|
54 };
|
|
|
55 };
|
|
|
56 int i = 3;
|
|
|
57 template<unsigned N>
|
|
|
58 struct t4 { };
|
|
|
59 namespace {
|
|
|
60 struct t5 { };
|
|
|
61 enum LocalEnum { LocalEnum1 };
|
|
|
62 }
|
|
|
63 template<typename ...T1, typename T2 = int>
|
|
|
64 void f5() { }
|
|
|
65 template<typename T1, typename ...T2>
|
|
|
66 void f6() { }
|
|
|
67 struct t6 {
|
|
|
68 template<typename T>
|
|
|
69 void operator<<(int) {
|
|
|
70 }
|
|
|
71 template<typename T>
|
|
|
72 void operator<(int) {
|
|
|
73 }
|
|
|
74 template<typename T>
|
|
|
75 void operator<=(int) {
|
|
|
76 }
|
|
|
77 template<typename T = int>
|
|
|
78 operator t1<float>*() {
|
|
|
79 return nullptr;
|
|
|
80 }
|
|
|
81 template<typename T>
|
|
|
82 void operator-(int) {
|
|
|
83 }
|
|
|
84 template<typename T>
|
|
|
85 void operator*(int) {
|
|
|
86 }
|
|
|
87 template<typename T>
|
|
|
88 void operator/(int) {
|
|
|
89 }
|
|
|
90 template<typename T>
|
|
|
91 void operator%(int) {
|
|
|
92 }
|
|
|
93 template<typename T>
|
|
|
94 void operator^(int) {
|
|
|
95 }
|
|
|
96 template<typename T>
|
|
|
97 void operator&(int) {
|
|
|
98 }
|
|
|
99 template<typename T>
|
|
|
100 void operator|(int) {
|
|
|
101 }
|
|
|
102 template<typename T>
|
|
|
103 void operator~() {
|
|
|
104 }
|
|
|
105 template<typename T>
|
|
|
106 void operator!() {
|
|
|
107 }
|
|
|
108 template<typename T>
|
|
|
109 void operator=(int) {
|
|
|
110 }
|
|
|
111 template<typename T>
|
|
|
112 void operator>(int) {
|
|
|
113 }
|
|
|
114 template<typename T>
|
|
|
115 void operator,(int) {
|
|
|
116 }
|
|
|
117 template<typename T>
|
|
|
118 void operator()() {
|
|
|
119 }
|
|
|
120 template<typename T>
|
|
|
121 void operator[](int) {
|
|
|
122 }
|
|
|
123 template<typename T>
|
|
|
124 void operator<=>(int) {
|
|
|
125 }
|
|
|
126 template<typename T>
|
|
|
127 void* operator new(std::size_t, T) {
|
|
|
128 __builtin_unreachable();
|
|
|
129 }
|
|
|
130 template<typename T>
|
|
|
131 void operator delete(void*, T) {
|
|
|
132 }
|
|
|
133 template<typename T>
|
|
|
134 void* operator new[](std::size_t, T) {
|
|
|
135 __builtin_unreachable();
|
|
|
136 }
|
|
|
137 template<typename T>
|
|
|
138 void operator delete[](void*, T) {
|
|
|
139 }
|
|
|
140 template<typename T>
|
|
|
141 int operator co_await() { __builtin_unreachable(); }
|
|
|
142
|
|
|
143 };
|
|
|
144 void operator"" _suff(unsigned long long) {}
|
|
|
145 template<template<typename...> class T> void f7() { }
|
|
|
146 template<template<typename...> class T, typename T2> void f8() { }
|
|
|
147 template<typename T>
|
|
|
148 struct t7;
|
|
|
149 using t7i = t7<int>;
|
|
|
150 template<typename T>
|
|
|
151 struct
|
|
|
152 __attribute__((__preferred_name__(t7i)))
|
|
|
153 t7 {
|
|
|
154 };
|
|
|
155 struct t8 {
|
|
|
156 void mem();
|
|
|
157 };
|
|
|
158 namespace ns {
|
|
|
159 inline namespace inl {
|
|
|
160 template<typename T> struct t9 { };
|
|
|
161 }
|
|
|
162 }
|
|
|
163 template<typename T>
|
|
|
164 void (*f9())() {
|
|
|
165 return nullptr;
|
|
|
166 }
|
|
|
167 struct t10 {
|
|
|
168 template<typename T = void>
|
|
|
169 t10() { }
|
|
|
170 };
|
|
|
171
|
|
|
172 template<typename T>
|
|
|
173 void operator_not_really() {
|
|
|
174 }
|
|
|
175
|
|
|
176 template<typename T, T ...A>
|
|
|
177 struct t11 {
|
|
|
178 };
|
|
|
179
|
|
|
180 struct t12 {
|
|
|
181 t11<LocalEnum, LocalEnum1> v1;
|
|
|
182 };
|
|
|
183
|
|
|
184 template<decltype(ns::AnonEnum1)>
|
|
|
185 void f10() {
|
|
|
186 }
|
|
|
187
|
|
|
188 int main() {
|
|
|
189 struct { } A;
|
|
|
190 auto L = []{};
|
|
|
191 f1<int>();
|
|
|
192 f1<float>();
|
|
|
193 f1<bool>();
|
|
|
194 f1<double>();
|
|
|
195 f1<long>();
|
|
|
196 f1<short>();
|
|
|
197 f1<unsigned>();
|
|
|
198 f1<unsigned long long>();
|
|
|
199 f1<long long>();
|
|
|
200 f1<udt>();
|
|
|
201 f1<ns::udt>();
|
|
|
202 f1<ns::udt*>();
|
|
|
203 f1<ns::inner::udt>();
|
|
|
204 f1<t1<int>>();
|
|
|
205 f1<int, float>();
|
|
|
206 f1<int *>();
|
|
|
207 f1<int &>();
|
|
|
208 f1<int &&>();
|
|
|
209 f1<const int>();
|
|
|
210 f1<int[3]>();
|
|
|
211 f1<void>();
|
|
|
212 f1<outer_class::inner_class>();
|
|
|
213 f1<unsigned long>();
|
|
|
214 f2<true, 3>();
|
|
|
215 f3<ns::Enumeration, ns::Enumerator3, (ns::Enumeration)2>();
|
|
|
216 f3<ns::EnumerationClass, ns::EnumerationClass::Enumerator3, (ns::EnumerationClass)2>();
|
|
|
217 f3<ns::EnumerationSmall, ns::kNeg>();
|
|
|
218 f3<decltype(ns::AnonEnum1), ns::AnonEnum3, (decltype(ns::AnonEnum1))2>();
|
|
|
219 f3<LocalEnum, LocalEnum1>();
|
|
|
220 f3<int*, &i>();
|
|
|
221 f3<int*, nullptr>();
|
|
|
222 t4<3> v2;
|
|
|
223 f3<unsigned long, 1>();
|
|
|
224 f3<unsigned long long, 1>();
|
|
|
225 f3<long, 1>();
|
|
|
226 f3<unsigned int, 1>();
|
|
|
227 f3<short, 1>();
|
|
|
228 f3<unsigned char, (char)0>();
|
|
|
229 f3<signed char, (char)0>();
|
|
|
230 f3<unsigned short, 1, 2>();
|
|
|
231 f3<char, 0, 1, 6, 7, 13, 14, 31, 32, 33, (char)127, (char)128>();
|
|
|
232 f3<__int128, ((__int128)9223372036854775807) * 2>();
|
|
|
233 f4<unsigned int>();
|
|
|
234 f1<t3<int>>();
|
|
|
235 f1<t3<t3<int>>>();
|
|
|
236 f1<decltype(L)>();
|
|
|
237 t3<decltype(L)> v1;
|
|
|
238 f1<t3<t3<decltype(L)>>>();
|
|
|
239 f1<int(float)>();
|
|
|
240 f1<void(...)>();
|
|
|
241 f1<void(int, ...)>();
|
|
|
242 f1<const int &>();
|
|
|
243 f1<const int *&>();
|
|
|
244 f1<t5>();
|
|
|
245 f1<decltype(nullptr)>();
|
|
|
246 f1<long*, long*>();
|
|
|
247 f1<long*, udt*>();
|
|
|
248 f1<void *const>();
|
|
|
249 f1<const void *const *>();
|
|
|
250 f1<void()>();
|
|
|
251 f1<void(*)()>();
|
|
|
252 f1<decltype(&L)>();
|
|
|
253 f1<decltype(A)>();
|
|
|
254 f1<decltype(&A)>();
|
|
|
255 f5<t1<int>>();
|
|
|
256 f5<>();
|
|
|
257 f6<t1<int>>();
|
|
|
258 f1<>();
|
|
|
259 f1<const void*, const void*>();
|
|
|
260 f1<t1<int*>*>();
|
|
|
261 f1<int *[]>();
|
|
|
262 t6 v6;
|
|
|
263 v6.operator<< <int>(1);
|
|
|
264 v6.operator< <int>(1);
|
|
|
265 v6.operator<= <int>(1);
|
|
|
266 v6.operator t1<float>*();
|
|
|
267 v6.operator- <int>(3);
|
|
|
268 v6.operator* <int>(3);
|
|
|
269 v6.operator/ <int>(3);
|
|
|
270 v6.operator% <int>(3);
|
|
|
271 v6.operator^ <int>(3);
|
|
|
272 v6.operator& <int>(3);
|
|
|
273 v6.operator| <int>(3);
|
|
|
274 v6.operator~ <int>();
|
|
|
275 v6.operator! <int>();
|
|
|
276 v6.operator= <int>(3);
|
|
|
277 v6.operator> <int>(3);
|
|
|
278 v6.operator, <int>(3);
|
|
|
279 v6.operator() <int>();
|
|
|
280 v6.operator[] <int>(3);
|
|
|
281 v6.operator<=> <int>(3);
|
|
|
282 t6::operator new(0, 0);
|
|
|
283 t6::operator new[](0, 0);
|
|
|
284 t6::operator delete(nullptr, 0);
|
|
|
285 t6::operator delete[](nullptr, 0);
|
|
|
286 v6.operator co_await<int>();
|
|
|
287 42_suff;
|
|
|
288 struct t7 { };
|
|
|
289 f1<t7>();
|
|
|
290 f1<int(&)[3]>();
|
|
|
291 f1<int(*)[3]>();
|
|
|
292 f7<t1>();
|
|
|
293 f8<t1, int>();
|
|
|
294 using namespace ns;
|
|
|
295 ttp_user<inner::ttp>();
|
|
|
296 f1<int*, decltype(nullptr)*>();
|
|
|
297 t7i x;
|
|
|
298 f1<t7i>();
|
|
|
299 f7<ns::inl::t9>();
|
|
|
300 f1<_Atomic(int)>();
|
|
|
301 f1<int, long, volatile char>();
|
|
|
302 f1<__attribute__((__vector_size__(sizeof(int) * 2))) int>();
|
|
|
303 f1<int *const volatile>();
|
|
|
304 f1<const volatile void>();
|
|
|
305 f1<t1<decltype(L)>>();
|
|
|
306 t10 v3;
|
|
|
307 f1<void (::udt::*)() const>();
|
|
|
308 f1<void (::udt::*)() volatile &>();
|
|
|
309 f1<void (::udt::*)() const volatile &&>();
|
|
|
310 f9<int>();
|
|
|
311 f1<void (*const)()>();
|
|
|
312 f1<char const (&)[1]>();
|
|
|
313 f1<void () const &>();
|
|
|
314 f1<void () volatile &&>();
|
|
|
315 f1<void () const volatile>();
|
|
|
316 f1<int *const[1]>();
|
|
|
317 f1<int *const(&)[1]>();
|
|
|
318 f1<void (::udt::* const&)()>();
|
|
|
319 f1<void (*(int))(float)>();
|
|
|
320 f1<t1<int>[1]>();
|
|
|
321 f1<void (*)() noexcept>();
|
|
|
322 f1<void (decltype(A))>();
|
|
|
323 struct t8 { decltype(A) m; };
|
|
|
324 f1<void(t8, decltype(A))>();
|
|
|
325 f1<void(t8)>();
|
|
|
326 operator_not_really<int>();
|
|
|
327 t12 v4;
|
|
|
328 f1<_BitInt(3)>();
|
|
|
329 f1<const unsigned _BitInt(5)>();
|
|
|
330 f1<void(t1<>, t1<>)>();
|
|
|
331 f1<int t1<>::*>();
|
|
|
332 void fcc() __attribute__((swiftcall));
|
|
|
333 f1<decltype(fcc)>();
|
|
|
334 int fnrt() __attribute__((noreturn));
|
|
|
335 f1<decltype(fnrt)>();
|
|
|
336 f10<ns::AnonEnum1>();
|
|
|
337 }
|
|
|
338 void t8::mem() {
|
|
|
339 struct t7 { };
|
|
|
340 f1<t7>();
|
|
|
341 f1<decltype(&t8::mem)>();
|
|
|
342 }
|
|
|
343 namespace complex_type_units {
|
|
|
344 void external_function();
|
|
|
345 namespace {
|
|
|
346 struct internal_type;
|
|
|
347 }
|
|
|
348 template <void (*)() = external_function> struct t2;
|
|
|
349 template <typename = t2<>> class t3 {};
|
|
|
350 template <typename = internal_type, typename = t3<>>
|
|
|
351 struct t4 {
|
|
|
352 };
|
|
|
353 struct t5 {
|
|
|
354 t4<> v1;
|
|
|
355 };
|
|
|
356 void f1() {
|
|
|
357 t5 v1;
|
|
|
358 t3<> v2;
|
|
|
359 }
|
|
|
360 }
|
