1 // Test without serialization:
2 // RUN: %clang_cc1 -std=c++2b -triple x86_64-linux-gnu -fcxx-exceptions -ast-dump %s \
3 // RUN: | FileCheck -strict-whitespace %s
4 //
5 // Test with serialization:
6 // RUN: %clang_cc1 -std=c++2b -triple x86_64-linux-gnu -fcxx-exceptions -emit-pch -o %t %s
7 // RUN: %clang_cc1 -x c++ -std=c++2b -triple x86_64-linux-gnu -fcxx-exceptions -include-pch %t -ast-dump-all /dev/null \
8 // RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \
9 // RUN: | FileCheck -strict-whitespace %s
10 
11 namespace n {
12 void function() {}
13 int Variable;
14 }
15 using n::function;
16 using n::Variable;
17 void TestFunction() {
18   void (*f)() = &function;
19 // CHECK:       DeclRefExpr{{.*}} (UsingShadow{{.*}}function
20   Variable = 4;
21 // CHECK:       DeclRefExpr{{.*}} (UsingShadow{{.*}}Variable
22 }
23 
24 // CHECK: FunctionDecl {{.*}} TestCatch1
25 void TestCatch1() {
26 // CHECK:       CXXTryStmt
27 // CHECK-NEXT:    CompoundStmt
28   try {
29   }
30 // CHECK-NEXT:    CXXCatchStmt
31 // CHECK-NEXT:      VarDecl {{.*}} x
32 // CHECK-NEXT:      CompoundStmt
33   catch (int x) {
34   }
35 }
36 
37 // CHECK: FunctionDecl {{.*}} TestCatch2
38 void TestCatch2() {
39 // CHECK:       CXXTryStmt
40 // CHECK-NEXT:    CompoundStmt
41   try {
42   }
43 // CHECK-NEXT:    CXXCatchStmt
44 // CHECK-NEXT:      NULL
45 // CHECK-NEXT:      CompoundStmt
46   catch (...) {
47   }
48 }
49 
50 void TestAllocationExprs() {
51   int *p;
52   p = new int;
53   delete p;
54   p = new int[2];
55   delete[] p;
56   p = ::new int;
57   ::delete p;
58 }
59 // CHECK: FunctionDecl {{.*}} TestAllocationExprs
60 // CHECK: CXXNewExpr {{.*}} 'int *' Function {{.*}} 'operator new'
61 // CHECK: CXXDeleteExpr {{.*}} 'void' Function {{.*}} 'operator delete'
62 // CHECK: CXXNewExpr {{.*}} 'int *' array Function {{.*}} 'operator new[]'
63 // CHECK: CXXDeleteExpr {{.*}} 'void' array Function {{.*}} 'operator delete[]'
64 // CHECK: CXXNewExpr {{.*}} 'int *' global Function {{.*}} 'operator new'
65 // CHECK: CXXDeleteExpr {{.*}} 'void' global Function {{.*}} 'operator delete'
66 
67 // Don't crash on dependent exprs that haven't been resolved yet.
68 template <typename T>
69 void TestDependentAllocationExpr() {
70   T *p = new T;
71   delete p;
72 }
73 // CHECK: FunctionTemplateDecl {{.*}} TestDependentAllocationExpr
74 // CHECK: CXXNewExpr {{.*'T \*'$}}
75 // CHECK: CXXDeleteExpr {{.*'void'$}}
76 
77 template <typename T>
78 class DependentScopeMemberExprWrapper {
79   T member;
80 };
81 
82 template <typename T>
83 void TestDependentScopeMemberExpr() {
84   DependentScopeMemberExprWrapper<T> obj;
85   obj.member = T();
86   (&obj)->member = T();
87 }
88 // CHECK: FunctionTemplateDecl {{.*}} TestDependentScopeMemberExpr
89 // CHECK: CXXDependentScopeMemberExpr {{.*}} lvalue .member
90 // CHECK: CXXDependentScopeMemberExpr {{.*}} lvalue ->member
91 
92 union U {
93   int i;
94   long l;
95 };
96 
97 void TestUnionInitList()
98 {
99   U us[3] = {1};
100 // CHECK: VarDecl {{.+}} <col:3, col:15> col:5 us 'U[3]' cinit
101 // CHECK-NEXT: `-InitListExpr {{.+}} <col:13, col:15> 'U[3]'
102 // CHECK-NEXT:   |-array_filler: InitListExpr {{.+}} <col:15> 'U' field Field {{.+}} 'i' 'int'
103 // CHECK-NEXT:   `-InitListExpr {{.+}} <col:14> 'U' field Field {{.+}} 'i' 'int'
104 // CHECK-NEXT:     `-IntegerLiteral {{.+}} <col:14> 'int' 1
105 }
106 
107 void TestSwitch(int i) {
108   switch (int a; i)
109     ;
110   // CHECK: SwitchStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5> has_init
111   // CHECK-NEXT: DeclStmt
112   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:11, col:15> col:15 a 'int'
113   // CHECK-NEXT: ImplicitCastExpr
114   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:18> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
115   // CHECK-NEXT: NullStmt
116 }
117 
118 void TestIf(bool b) {
119   if (int i = 12; b)
120     ;
121   // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5> has_init
122   // CHECK-NEXT: DeclStmt
123   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:7, col:15> col:11 i 'int' cinit
124   // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:15> 'int' 12
125   // CHECK-NEXT: ImplicitCastExpr
126   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:19> 'bool' lvalue ParmVar 0x{{[^ ]*}} 'b' 'bool'
127   // CHECK-NEXT: NullStmt
128 
129   if constexpr (sizeof(b) == 1)
130     ;
131   // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
132   // CHECK-NEXT: ConstantExpr 0x{{[^ ]*}} <line:[[@LINE-3]]:17, col:30> 'bool'
133   // CHECK-NEXT: value: Int 1
134   // CHECK-NEXT: BinaryOperator
135   // CHECK-NEXT: UnaryExprOrTypeTraitExpr
136   // CHECK-NEXT: ParenExpr
137   // CHECK-NEXT: DeclRefExpr
138   // CHECK-NEXT: ImplicitCastExpr
139   // CHECK-NEXT: IntegerLiteral
140   // CHECK-NEXT: NullStmt
141 
142   if constexpr (sizeof(b) == 1)
143     ;
144   else
145     ;
146   // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-4]]:3, line:[[@LINE-1]]:5> has_else
147   // CHECK-NEXT: ConstantExpr 0x{{[^ ]*}} <line:[[@LINE-5]]:17, col:30> 'bool'
148   // CHECK-NEXT: value: Int 1
149   // CHECK-NEXT: BinaryOperator
150   // CHECK-NEXT: UnaryExprOrTypeTraitExpr
151   // CHECK-NEXT: ParenExpr
152   // CHECK-NEXT: DeclRefExpr
153   // CHECK-NEXT: ImplicitCastExpr
154   // CHECK-NEXT: IntegerLiteral
155   // CHECK-NEXT: NullStmt
156   // CHECK-NEXT: NullStmt
157 
158   if consteval {}
159   // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:17> consteval
160   // CHECK-NEXT: CompoundStmt
161 
162   if ! consteval {}
163   else {}
164   // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:9> has_else !consteval
165   // CHECK-NEXT: CompoundStmt
166   // CHECK-NEXT: CompoundStmt
167 }
168 
169 struct Container {
170   int *begin() const;
171   int *end() const;
172 };
173 
174 void TestIteration() {
175   for (int i = 0; int j = i; ++i)
176     ;
177   // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
178   // CHECK-NEXT: DeclStmt
179   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:16> col:12 used i 'int' cinit
180   // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:16> 'int' 0
181   // CHECK-NEXT: DeclStmt
182   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:19, col:27> col:23 used j 'int' cinit
183   // CHECK-NEXT: ImplicitCastExpr
184   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:27> 'int' lvalue Var 0x{{[^ ]*}} 'i' 'int'
185   // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}} <col:23> 'bool' <IntegralToBoolean>
186   // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}} <col:23> 'int' <LValueToRValue>
187   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:23> 'int' lvalue Var 0x{{[^ ]*}} 'j' 'int'
188   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:30, col:32> 'int' lvalue prefix '++'
189   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:32> 'int' lvalue Var 0x{{[^ ]*}} 'i' 'int'
190   // CHECK-NEXT: NullStmt
191 
192   int vals[10];
193   for (int v : vals)
194     ;
195   // CHECK: CXXForRangeStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
196   // CHECK-NEXT: <<<NULL>>>
197   // CHECK-NEXT: DeclStmt
198   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:16> col:16 implicit used __range1 'int (&)[10]' cinit
199   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:16> 'int[10]' lvalue Var 0x{{[^ ]*}} 'vals' 'int[10]'
200   // CHECK-NEXT: DeclStmt
201   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14> col:14 implicit used __begin1 'int *':'int *' cinit
202   // CHECK-NEXT: ImplicitCastExpr
203   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'
204   // CHECK-NEXT: DeclStmt
205   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14, col:16> col:14 implicit used __end1 'int *':'int *' cinit
206   // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:14, col:16> 'int *' '+'
207   // CHECK-NEXT: ImplicitCastExpr
208   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'
209   // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:16> 'long' 10
210   // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:14> 'bool' '!='
211   // CHECK-NEXT: ImplicitCastExpr
212   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
213   // CHECK-NEXT: ImplicitCastExpr
214   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__end1' 'int *':'int *'
215   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue prefix '++'
216   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
217   // CHECK-NEXT: DeclStmt
218   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:14> col:12 v 'int' cinit
219   // CHECK-NEXT: ImplicitCastExpr
220   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int' lvalue prefix '*' cannot overflow
221   // CHECK-NEXT: ImplicitCastExpr
222   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
223   // CHECK-NEXT: NullStmt
224 
225   Container C;
226   for (int v : C)
227     ;
228   // CHECK: CXXForRangeStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
229   // CHECK-NEXT: <<<NULL>>>
230   // CHECK-NEXT: DeclStmt
231   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:16> col:16 implicit used __range1 'Container &' cinit
232   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:16> 'Container' lvalue Var 0x{{[^ ]*}} 'C' 'Container'
233   // CHECK-NEXT: DeclStmt
234   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14> col:14 implicit used __begin1 'int *':'int *' cinit
235   // CHECK-NEXT: CXXMemberCallExpr 0x{{[^ ]*}} <col:14> 'int *'
236   // CHECK-NEXT: MemberExpr 0x{{[^ ]*}} <col:14> '<bound member function type>' .begin 0x{{[^ ]*}}
237   // CHECK-NEXT: ImplicitCastExpr
238   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'Container' lvalue Var 0x{{[^ ]*}} '__range1' 'Container &'
239   // CHECK-NEXT: DeclStmt
240   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:14> col:14 implicit used __end1 'int *':'int *' cinit
241   // CHECK-NEXT: CXXMemberCallExpr 0x{{[^ ]*}} <col:14> 'int *'
242   // CHECK-NEXT: MemberExpr 0x{{[^ ]*}} <col:14> '<bound member function type>' .end 0x{{[^ ]*}}
243   // CHECK-NEXT: ImplicitCastExpr
244   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'Container' lvalue Var 0x{{[^ ]*}} '__range1' 'Container &'
245   // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:14> 'bool' '!='
246   // CHECK-NEXT: ImplicitCastExpr
247   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
248   // CHECK-NEXT: ImplicitCastExpr
249   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__end1' 'int *':'int *'
250   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue prefix '++'
251   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
252   // CHECK-NEXT: DeclStmt
253   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:14> col:12 v 'int' cinit
254   // CHECK-NEXT: ImplicitCastExpr
255   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:14> 'int' lvalue prefix '*' cannot overflow
256   // CHECK-NEXT: ImplicitCastExpr
257   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
258   // CHECK-NEXT: NullStmt
259 
260   for (int a; int v : vals)
261     ;
262   // CHECK: CXXForRangeStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
263   // CHECK-NEXT: DeclStmt
264   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:12> col:12 a 'int'
265   // CHECK-NEXT: DeclStmt
266   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:23> col:23 implicit used __range1 'int (&)[10]' cinit
267   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:23> 'int[10]' lvalue Var 0x{{[^ ]*}} 'vals' 'int[10]'
268   // CHECK-NEXT: DeclStmt
269   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:21> col:21 implicit used __begin1 'int *':'int *' cinit
270   // CHECK-NEXT: ImplicitCastExpr
271   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'
272   // CHECK-NEXT: DeclStmt
273   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:21, col:23> col:21 implicit used __end1 'int *':'int *' cinit
274   // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:21, col:23> 'int *' '+'
275   // CHECK-NEXT: ImplicitCastExpr
276   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int[10]' lvalue Var 0x{{[^ ]*}} '__range1' 'int (&)[10]'
277   // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:23> 'long' 10
278   // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:21> 'bool' '!='
279   // CHECK-NEXT: ImplicitCastExpr
280   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
281   // CHECK-NEXT: ImplicitCastExpr
282   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__end1' 'int *':'int *'
283   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:21> 'int *':'int *' lvalue prefix '++'
284   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
285   // CHECK-NEXT: DeclStmt
286   // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:15, col:21> col:19 v 'int' cinit
287   // CHECK-NEXT: ImplicitCastExpr
288   // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:21> 'int' lvalue prefix '*' cannot overflow
289   // CHECK-NEXT: ImplicitCastExpr
290   // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:21> 'int *':'int *' lvalue Var 0x{{[^ ]*}} '__begin1' 'int *':'int *'
291   // CHECK-NEXT: NullStmt
292 }
293