1 // RUN: %clang_cc1 -triple i686-mingw32 %std_cxx11-14 -ast-dump %s | FileCheck %s
2 // RUN: %clang_cc1 -triple i686-mingw32 %std_cxx17- -ast-dump %s | FileCheck %s -check-prefix=CHECK-1Z
3
4 template<class T>
5 class P {
6 public:
P(T * t)7 P(T* t) {}
8 };
9
10 namespace foo {
A(int=0)11 class A { public: A(int = 0) {} };
12 enum B {};
13 typedef int C;
14 }
15
16 // CHECK: VarDecl {{0x[0-9a-fA-F]+}} <line:[[@LINE+1]]:1, col:36> col:15 ImplicitConstrArray 'foo::A[2]'
17 static foo::A ImplicitConstrArray[2];
18
main()19 int main() {
20 // CHECK: CXXNewExpr {{0x[0-9a-fA-F]+}} <col:19, col:28> 'foo::A *'
21 P<foo::A> p14 = new foo::A;
22 // CHECK: CXXNewExpr {{0x[0-9a-fA-F]+}} <col:19, col:28> 'foo::B *'
23 P<foo::B> p24 = new foo::B;
24 // CHECK: CXXNewExpr {{0x[0-9a-fA-F]+}} <col:19, col:28> 'foo::C *'
25 P<foo::C> pr4 = new foo::C;
26 }
27
getName()28 foo::A getName() {
29 // CHECK: CXXConstructExpr {{0x[0-9a-fA-F]+}} <col:10, col:17> 'foo::A'
30 return foo::A();
31 }
32
destruct(foo::A * a1,foo::A * a2,P<int> * p1)33 void destruct(foo::A *a1, foo::A *a2, P<int> *p1) {
34 // CHECK: MemberExpr {{0x[0-9a-fA-F]+}} <col:3, col:8> '<bound member function type>' ->~A
35 a1->~A();
36 // CHECK: MemberExpr {{0x[0-9a-fA-F]+}} <col:3, col:16> '<bound member function type>' ->~A
37 a2->foo::A::~A();
38 // CHECK: MemberExpr {{0x[0-9a-fA-F]+}} <col:3, col:13> '<bound member function type>' ->~P
39 p1->~P<int>();
40 }
41
42 struct D {
43 D(int);
44 ~D();
45 };
46
construct()47 void construct() {
48 using namespace foo;
49 A a = A(12);
50 // CHECK: CXXConstructExpr {{0x[0-9a-fA-F]+}} <col:9, col:13> 'A':'foo::A' 'void (int){{( __attribute__\(\(thiscall\)\))?}}'
51 D d = D(12);
52 // CHECK: CXXConstructExpr {{0x[0-9a-fA-F]+}} <col:9, col:13> 'D' 'void (int){{( __attribute__\(\(thiscall\)\))?}}'
53 }
54
55 namespace PR38987 {
56 struct A { A(); };
f()57 template <class T> void f() { T{}; }
58 template void f<A>();
59 // CHECK: CXXTemporaryObjectExpr {{.*}} <col:31, col:33> 'PR38987::A'
60 }
61
62 void abort() __attribute__((noreturn));
63
64 namespace std {
65 typedef decltype(sizeof(int)) size_t;
66
67 template <typename E> struct initializer_list {
68 const E *p;
69 size_t n;
initializer_liststd::initializer_list70 initializer_list(const E *p, size_t n) : p(p), n(n) {}
71 };
72
73 template <typename F, typename S> struct pair {
74 F f;
75 S s;
pairstd::pair76 pair(const F &f, const S &s) : f(f), s(s) {}
77 };
78
79 struct string {
80 const char *str;
stringstd::string81 string() { abort(); }
stringstd::string82 string(const char *S) : str(S) {}
~stringstd::string83 ~string() { abort(); }
84 };
85
86 template<typename K, typename V>
87 struct map {
88 using T = pair<K, V>;
mapstd::map89 map(initializer_list<T> i, const string &s = string()) {}
~mapstd::map90 ~map() { abort(); }
91 };
92
93 }; // namespace std
94
95 // CHECK: NamespaceDecl {{.*}} attributed_decl
96 namespace attributed_decl {
f()97 void f() {
98 // CHECK: DeclStmt {{.*}} <line:[[@LINE+1]]:5, col:28>
99 [[maybe_unused]] int i1;
100 // CHECK: DeclStmt {{.*}} <line:[[@LINE+1]]:5, col:35>
101 __attribute__((unused)) int i2;
102 // CHECK: DeclStmt {{.*}} <line:[[@LINE+1]]:5, col:35>
103 int __attribute__((unused)) i3;
104 // CHECK: DeclStmt {{.*}} <<built-in>:{{.*}}, {{.*}}:[[@LINE+1]]:40>
105 __declspec(dllexport) extern int i4;
106 // CHECK: DeclStmt {{.*}} <line:[[@LINE+1]]:5, col:40>
107 extern int __declspec(dllexport) i5;
108 }
109 }
110
111 // CHECK-1Z: NamespaceDecl {{.*}} attributed_case
112 namespace attributed_case {
f(int n)113 void f(int n) {
114 switch (n) {
115 case 0:
116 n--;
117 // CHECK: AttributedStmt {{.*}} <line:[[@LINE+2]]:5, line:[[@LINE+4]]:35>
118 // CHECK: FallThroughAttr {{.*}} <line:[[@LINE+1]]:20>
119 __attribute__((fallthrough))
120 // CHECK: FallThroughAttr {{.*}} <line:[[@LINE+1]]:22>
121 __attribute__((fallthrough));
122 case 1:
123 n++;
124 break;
125 }
126 }
127 } // namespace attributed_case
128
129 // CHECK: NamespaceDecl {{.*}} attributed_stmt
130 namespace attributed_stmt {
131 // In DO_PRAGMA and _Pragma cases, `LoopHintAttr` comes from <scratch space>
132 // file.
133
134 #define DO_PRAGMA(x) _Pragma (#x)
135
f()136 void f() {
137 // CHECK: AttributedStmt {{.*}} <line:[[@LINE-3]]:24, line:[[@LINE+2]]:33>
138 DO_PRAGMA (unroll(2))
139 for (int i = 0; i < 10; ++i);
140
141 // CHECK: AttributedStmt {{.*}} <line:[[@LINE+2]]:5, line:[[@LINE+3]]:33>
142 // CHECK: LoopHintAttr {{.*}} <line:[[@LINE+1]]:13, col:22>
143 #pragma unroll(2)
144 for (int i = 0; i < 10; ++i);
145
146 // CHECK: AttributedStmt {{.*}} <line:[[@LINE+2]]:5, line:[[@LINE+5]]:33>
147 // CHECK: LoopHintAttr {{.*}} <line:[[@LINE+1]]:19, col:41>
148 #pragma clang loop vectorize(enable)
149 // CHECK: LoopHintAttr {{.*}} <line:[[@LINE+1]]:19, col:42>
150 #pragma clang loop interleave(enable)
151 for (int i = 0; i < 10; ++i);
152
153 // CHECK: AttributedStmt {{.*}} <line:[[@LINE+1]]:5, line:[[@LINE+2]]:33>
154 _Pragma("unroll(2)")
155 for (int i = 0; i < 10; ++i);
156 }
157 }
158
159 #if __cplusplus >= 201703L
160 // CHECK-1Z: FunctionDecl {{.*}} construct_with_init_list
construct_with_init_list()161 std::map<int, int> construct_with_init_list() {
162 // CHECK-1Z-NEXT: CompoundStmt
163 // CHECK-1Z-NEXT: ReturnStmt {{.*}} <line:[[@LINE+5]]:3, col:35
164 // CHECK-1Z-NEXT: ExprWithCleanups {{.*}} <col:10, col:35
165 // CHECK-1Z-NEXT: CXXBindTemporaryExpr {{.*}} <col:10, col:35
166 // CHECK-1Z-NEXT: CXXTemporaryObjectExpr {{.*}} <col:10, col:35
167 // CHECK-1Z-NEXT: CXXStdInitializerListExpr {{.*}} <col:28, col:35
168 return std::map<int, int>{{0, 0}};
169 }
170
171 // CHECK-1Z: NamespaceDecl {{.*}} in_class_init
172 namespace in_class_init {
173 struct A {};
174
175 // CHECK-1Z: CXXRecordDecl {{.*}} struct B definition
176 struct B {
177 // CHECK-1Z: FieldDecl {{.*}} a 'A':'in_class_init::A'
178 // CHECK-1Z-NEXT: InitListExpr {{.*}} <col:11, col:12
179 A a = {};
180 };
181 }
182
183 // CHECK-1Z: NamespaceDecl {{.*}} delegating_constructor_init
184 namespace delegating_constructor_init {
185 struct A {};
186
187 struct B : A {
188 A a;
Bdelegating_constructor_init::B189 B(A a) : a(a) {}
190 };
191
192 // CHECK-1Z: CXXRecordDecl {{.*}} struct C definition
193 struct C : B {
194 // CHECK-1Z: CXXConstructorDecl {{.*}} C
195 // CHECK-1Z-NEXT: CXXCtorInitializer 'B':'delegating_constructor_init::B'
196 // CHECK-1Z-NEXT: CXXConstructExpr {{.*}} <col:11, col:15
197 // CHECK-1Z-NEXT: InitListExpr {{.*}} <col:13, col:14
Cdelegating_constructor_init::C198 C() : B({}) {};
199 };
200 }
201
202 // CHECK-1Z: NamespaceDecl {{.*}} new_init
203 namespace new_init {
A()204 void A() {
205 // CHECK-1Z: CXXNewExpr {{.*}} <line:[[@LINE+2]]:5, col:14
206 // CHECK-1Z-NEXT: InitListExpr {{.*}} <col:12, col:14
207 new int{0};
208 }
209 }
210 #endif
211