1 // Test without serialization:
2 // RUN: %clang_cc1 -std=gnu11 -ast-dump %s \
3 // RUN: | FileCheck -strict-whitespace %s
4 //
5 // Test with serialization:
6 // RUN: %clang_cc1 -std=gnu11 -emit-pch -o %t %s
7 // RUN: %clang_cc1 -x c -std=gnu11 -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 int TestLocation = 0;
12 // CHECK: VarDecl{{.*}}TestLocation
13 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:20> 'int' 0
14
15 int TestIndent = 1 + (1);
16 // CHECK: VarDecl{{.*}}TestIndent
17 // CHECK-NEXT: {{^}}| `-BinaryOperator{{[^()]*$}}
18 // CHECK-NEXT: {{^}}| |-IntegerLiteral{{.*0[^()]*$}}
19 // CHECK-NEXT: {{^}}| `-ParenExpr{{.*0[^()]*$}}
20 // CHECK-NEXT: {{^}}| `-IntegerLiteral{{.*0[^()]*$}}
21
TestDeclStmt(void)22 void TestDeclStmt(void) {
23 int x = 0;
24 int y, z;
25 }
26 // CHECK: FunctionDecl{{.*}}TestDeclStmt
27 // CHECK-NEXT: CompoundStmt
28 // CHECK-NEXT: DeclStmt
29 // CHECK-NEXT: VarDecl{{.*}}x
30 // CHECK-NEXT: IntegerLiteral
31 // CHECK-NEXT: DeclStmt
32 // CHECK-NEXT: VarDecl{{.*}}y
33 // CHECK-NEXT: VarDecl{{.*}}z
34
35 int TestOpaqueValueExpr = 0 ?: 1;
36 // CHECK: VarDecl{{.*}}TestOpaqueValueExpr
37 // CHECK-NEXT: BinaryConditionalOperator
38 // CHECK-NEXT: IntegerLiteral
39 // CHECK-NEXT: OpaqueValueExpr
40 // CHECK-NEXT: IntegerLiteral
41 // CHECK-NEXT: OpaqueValueExpr
42 // CHECK-NEXT: IntegerLiteral
43 // CHECK-NEXT: IntegerLiteral
44
TestUnaryOperatorExpr(void)45 void TestUnaryOperatorExpr(void) {
46 char T1 = 1;
47 int T2 = 1;
48
49 T1++;
50 T2++;
51 // CHECK: UnaryOperator{{.*}}postfix '++' cannot overflow
52 // CHECK-NEXT: DeclRefExpr{{.*}}'T1' 'char'
53 // CHECK-NOT: UnaryOperator{{.*}}postfix '++' cannot overflow
54 // CHECK: DeclRefExpr{{.*}}'T2' 'int'
55
56 -T1;
57 -T2;
58 // CHECK: UnaryOperator{{.*}}prefix '-' cannot overflow
59 // CHECK-NEXT: ImplicitCastExpr
60 // CHECK-NEXT: ImplicitCastExpr
61 // CHECK-NEXT: DeclRefExpr{{.*}}'T1' 'char'
62 // CHECK-NOT: UnaryOperator{{.*}}prefix '-' cannot overflow
63 // CHECK: ImplicitCastExpr
64 // CHECK: DeclRefExpr{{.*}}'T2' 'int'
65
66 ~T1;
67 ~T2;
68 // CHECK: UnaryOperator{{.*}}prefix '~' cannot overflow
69 // CHECK-NEXT: ImplicitCastExpr
70 // CHECK-NEXT: ImplicitCastExpr
71 // CHECK-NEXT: DeclRefExpr{{.*}}'T1' 'char'
72 // CHECK: UnaryOperator{{.*}}prefix '~' cannot overflow
73 // CHECK-NEXT: ImplicitCastExpr
74 // CHECK-NEXT: DeclRefExpr{{.*}}'T2' 'int'
75 }
76
TestGenericSelectionExpressions(int i)77 void TestGenericSelectionExpressions(int i) {
78 _Generic(i, int : 12);
79 // CHECK: GenericSelectionExpr 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:23> 'int'
80 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}}
81 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:12> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
82 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
83 // FIXME: note that the following test line has a spurious whitespace.
84 // CHECK-NEXT: case 'int' selected
85 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
86 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:21> 'int' 12
87 _Generic(i, int : 12, default : 0);
88 // CHECK: GenericSelectionExpr 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:36> 'int'
89 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}}
90 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:12> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
91 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
92 // FIXME: note that the following test line has a spurious whitespace.
93 // CHECK-NEXT: case 'int' selected
94 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
95 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:21> 'int' 12
96 // CHECK-NEXT: default
97 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:35> 'int' 0
98 _Generic(i, default : 0, int : 12);
99 // CHECK: GenericSelectionExpr 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:36> 'int'
100 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}}
101 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:12> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
102 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
103 // CHECK-NEXT: default
104 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:25> 'int' 0
105 // FIXME: note that the following test line has a spurious whitespace.
106 // CHECK-NEXT: case 'int' selected
107 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
108 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:34> 'int' 12
109 _Generic(i, int : 12, float : 10, default : 100);
110 // CHECK: GenericSelectionExpr 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:50> 'int'
111 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}}
112 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:12> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
113 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
114 // FIXME: note that the following test line has a spurious whitespace.
115 // CHECK-NEXT: case 'int' selected
116 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
117 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:21> 'int' 12
118 // FIXME: note that the following test line has a spurious whitespace.
119 // CHECK-NEXT: case 'float'
120 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'float'
121 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:33> 'int' 10
122 // CHECK-NEXT: default
123 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:47> 'int' 100
124
125 int j = _Generic(i, int : 12);
126 // CHECK: DeclStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:32>
127 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:3, col:31> col:7 j 'int' cinit
128 // CHECK-NEXT: GenericSelectionExpr 0x{{[^ ]*}} <col:11, col:31> 'int'
129 // CHECK-NEXT: ImplicitCastExpr 0x{{[^ ]*}}
130 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:20> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
131 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
132 // FIXME: note that the following test line has a spurious whitespace.
133 // CHECK-NEXT: case 'int' selected
134 // CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'int'
135 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:29> 'int' 12
136 }
137
TestLabelsAndGoto(void)138 void TestLabelsAndGoto(void) {
139 // Note: case and default labels are handled by TestSwitch().
140
141 label1:
142 ;
143 // CHECK: LabelStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:1, line:[[@LINE-1]]:3> 'label1'
144 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <col:3>
145
146 goto label2;
147 // CHECK-NEXT: GotoStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:8> 'label2' 0x{{[^ ]*}}
148
149 label2:
150 0;
151 // CHECK-NEXT: LabelStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:1, line:[[@LINE-1]]:3> 'label2'
152 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:3> 'int' 0
153
154 void *ptr = &&label1;
155 // CHECK-NEXT: DeclStmt
156 // CHECK-NEXT: VarDecl
157 // CHECK-NEXT: AddrLabelExpr 0x{{[^ ]*}} <col:15, col:17> 'void *' label1 0x{{[^ ]*}}
158
159 goto *ptr;
160 // CHECK-NEXT: IndirectGotoStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:9>
161 // CHECK-NEXT: ImplicitCastExpr
162 // CHECK-NEXT: ImplicitCastExpr
163 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:9> 'void *' lvalue Var 0x{{[^ ]*}} 'ptr' 'void *'
164
165 label3:
166 // CHECK-NEXT: LabelStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:1, col:7> 'label3'
167 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <col:7>
168 }
169
TestSwitch(int i)170 void TestSwitch(int i) {
171 switch (i) {
172 // CHECK: SwitchStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, line:[[@LINE+37]]:3>
173 // CHECK-NEXT: ImplicitCastExpr
174 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:11> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
175 // CHECK-NEXT: CompoundStmt 0x{{[^ ]*}} <col:14, line:[[@LINE+34]]:3>
176 case 0:
177 break;
178 // CHECK-NEXT: CaseStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
179 // CHECK-NEXT: ConstantExpr
180 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:8> 'int' 0
181 // CHECK-NEXT: BreakStmt 0x{{[^ ]*}} <line:[[@LINE-4]]:5>
182 case 1:
183 case 2:
184 break;
185 // CHECK-NEXT: CaseStmt 0x{{[^ ]*}} <line:[[@LINE-3]]:3, line:[[@LINE-1]]:5>
186 // CHECK-NEXT: ConstantExpr
187 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:8> 'int' 1
188 // CHECK-NEXT: CaseStmt 0x{{[^ ]*}} <line:[[@LINE-5]]:3, line:[[@LINE-4]]:5>
189 // CHECK-NEXT: ConstantExpr
190 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:8> 'int' 2
191 // CHECK-NEXT: BreakStmt 0x{{[^ ]*}} <line:[[@LINE-7]]:5>
192 default:
193 break;
194 // CHECK-NEXT: DefaultStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
195 // CHECK-NEXT: BreakStmt 0x{{[^ ]*}} <col:5>
196 case 3 ... 5:
197 break;
198 // CHECK-NEXT: CaseStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5> gnu_range
199 // CHECK-NEXT: ConstantExpr
200 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:8> 'int' 3
201 // CHECK-NEXT: ConstantExpr
202 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:14> 'int' 5
203 // CHECK-NEXT: BreakStmt 0x{{[^ ]*}} <line:[[@LINE-6]]:5>
204 case 6:
205 // CHECK-NEXT: CaseStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:9>
206 // CHECK-NEXT: ConstantExpr
207 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:8> 'int' 6
208 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <col:9>
209 }
210
211 switch(i){
212 // CHECK: SwitchStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, line:[[@LINE+7]]:3>
213 // CHECK-NEXT: ImplicitCastExpr
214 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:10> 'int' lvalue ParmVar 0x{{[^ ]*}} 'i' 'int'
215 // CHECK-NEXT: CompoundStmt 0x{{[^ ]*}} <col:12, line:[[@LINE+4]]:3>
216 default:
217 // CHECK-NEXT: DefaultStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:10>
218 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <col:10>
219 }
220 }
221
TestIf(_Bool b)222 void TestIf(_Bool b) {
223 if (b)
224 ;
225 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
226 // CHECK-NEXT: ImplicitCastExpr
227 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:7> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
228 // CHECK-NEXT: NullStmt
229
230 if (b) {}
231 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:11>
232 // CHECK-NEXT: ImplicitCastExpr
233 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:7> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
234 // CHECK-NEXT: CompoundStmt
235
236 if (b)
237 ;
238 else
239 ;
240 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-4]]:3, line:[[@LINE-1]]:5> has_else
241 // CHECK-NEXT: ImplicitCastExpr
242 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:7> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
243 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-6]]:5>
244 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-5]]:5>
245
246 if (b) {}
247 else {}
248 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:9> has_else
249 // CHECK-NEXT: ImplicitCastExpr
250 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:7> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
251 // CHECK-NEXT: CompoundStmt 0x{{[^ ]*}} <col:10, col:11>
252 // CHECK-NEXT: CompoundStmt 0x{{[^ ]*}} <line:[[@LINE-5]]:8, col:9>
253
254 if (b)
255 ;
256 else if (b)
257 ;
258 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-4]]:3, line:[[@LINE-1]]:5> has_else
259 // CHECK-NEXT: ImplicitCastExpr
260 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:7> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
261 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-6]]:5>
262 // CHECK-NEXT: IfStmt 0x{{[^ ]*}} <line:[[@LINE-6]]:8, line:[[@LINE-5]]:5>
263 // CHECK-NEXT: ImplicitCastExpr
264 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:12> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
265 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-8]]:5>
266
267 if (b)
268 ;
269 else if (b)
270 ;
271 else
272 ;
273 // CHECK: IfStmt 0x{{[^ ]*}} <line:[[@LINE-6]]:3, line:[[@LINE-1]]:5> has_else
274 // CHECK-NEXT: ImplicitCastExpr
275 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:7> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
276 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-8]]:5>
277 // CHECK-NEXT: IfStmt 0x{{[^ ]*}} <line:[[@LINE-8]]:8, line:[[@LINE-5]]:5> has_else
278 // CHECK-NEXT: ImplicitCastExpr
279 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:12> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
280 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-10]]:5>
281 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-9]]:5>
282 }
283
TestIteration(_Bool b)284 void TestIteration(_Bool b) {
285 while (b)
286 ;
287 // CHECK: WhileStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
288 // CHECK-NEXT: ImplicitCastExpr
289 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:10> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
290 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-4]]:5>
291
292 do
293 ;
294 while (b);
295 // CHECK: DoStmt 0x{{[^ ]*}} <line:[[@LINE-3]]:3, line:[[@LINE-1]]:11>
296 // CHECK-NEXT: NullStmt 0x{{[^ ]*}} <line:[[@LINE-3]]:5>
297 // CHECK-NEXT: ImplicitCastExpr
298 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:10> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
299
300 for (int i = 0; i < 10; ++i)
301 ;
302 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
303 // CHECK-NEXT: DeclStmt
304 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:8, col:16> col:12 used i 'int' cinit
305 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:16> 'int' 0
306 // CHECK-NEXT: <<<NULL>>>
307 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:19, col:23> 'int' '<'
308 // CHECK-NEXT: ImplicitCastExpr
309 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:19> 'int' lvalue Var 0x{{[^ ]*}} 'i' 'int'
310 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:23> 'int' 10
311 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:27, col:29> 'int' prefix '++'
312 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:29> 'int' lvalue Var 0x{{[^ ]*}} 'i' 'int'
313 // CHECK-NEXT: NullStmt
314
315 for (b; b; b)
316 ;
317 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
318 // CHECK-NEXT: ImplicitCastExpr
319 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:8> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
320 // CHECK-NEXT: <<<NULL>>>
321 // CHECK-NEXT: ImplicitCastExpr
322 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:11> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
323 // CHECK-NEXT: ImplicitCastExpr
324 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:14> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
325 // CHECK-NEXT: NullStmt
326
327 for (; b; b = !b)
328 ;
329 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
330 // CHECK-NEXT: <<<NULL>>>
331 // CHECK-NEXT: <<<NULL>>>
332 // CHECK-NEXT: ImplicitCastExpr
333 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:10> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
334 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <col:13, col:18> '_Bool' '='
335 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:13> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
336 // CHECK-NEXT: ImplicitCastExpr
337 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:17, col:18> 'int' prefix '!' cannot overflow
338 // CHECK-NEXT: ImplicitCastExpr
339 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:18> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
340 // CHECK-NEXT: NullStmt
341
342 for (; b;)
343 ;
344 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
345 // CHECK-NEXT: <<<NULL>>>
346 // CHECK-NEXT: <<<NULL>>>
347 // CHECK-NEXT: ImplicitCastExpr
348 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:10> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
349 // CHECK-NEXT: <<<NULL>>>
350 // CHECK-NEXT: NullStmt
351
352 for (;; b = !b)
353 ;
354 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
355 // CHECK-NEXT: <<<NULL>>>
356 // CHECK-NEXT: <<<NULL>>>
357 // CHECK-NEXT: <<<NULL>>>
358 // CHECK-NEXT: BinaryOperator 0x{{[^ ]*}} <line:[[@LINE-6]]:11, col:16> '_Bool' '='
359 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:11> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
360 // CHECK-NEXT: ImplicitCastExpr
361 // CHECK-NEXT: UnaryOperator 0x{{[^ ]*}} <col:15, col:16> 'int' prefix '!' cannot overflow
362 // CHECK-NEXT: ImplicitCastExpr
363 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:16> '_Bool' lvalue ParmVar 0x{{[^ ]*}} 'b' '_Bool'
364 // CHECK-NEXT: NullStmt
365
366 for (;;)
367 ;
368 // CHECK: ForStmt 0x{{[^ ]*}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:5>
369 // CHECK-NEXT: <<<NULL>>>
370 // CHECK-NEXT: <<<NULL>>>
371 // CHECK-NEXT: <<<NULL>>>
372 // CHECK-NEXT: <<<NULL>>>
373 // CHECK-NEXT: NullStmt
374 }
375
TestJumps(void)376 void TestJumps(void) {
377 // goto and computed goto was tested in TestLabelsAndGoto().
378
379 while (1) {
380 continue;
381 // CHECK: ContinueStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:5>
382 break;
383 // CHECK: BreakStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:5>
384 }
385 return;
386 // CHECK: ReturnStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3>
387
388 return TestSwitch(1);
389 // CHECK: ReturnStmt 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:22>
390 // CHECK-NEXT: CallExpr 0x{{[^ ]*}} <col:10, col:22> 'void'
391 }
392
TestMiscStmts(void)393 void TestMiscStmts(void) {
394 ({int a = 10; a;});
395 // CHECK: StmtExpr 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:20> 'int'
396 // CHECK-NEXT: CompoundStmt
397 // CHECK-NEXT: DeclStmt
398 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:5, col:13> col:9 used a 'int' cinit
399 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:13> 'int' 10
400 // CHECK-NEXT: ImplicitCastExpr
401 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:17> 'int' lvalue Var 0x{{[^ ]*}} 'a' 'int'
402 ({int a = 10; a;;; });
403 // CHECK-NEXT: StmtExpr 0x{{[^ ]*}} <line:[[@LINE-1]]:3, col:23> 'int'
404 // CHECK-NEXT: CompoundStmt
405 // CHECK-NEXT: DeclStmt
406 // CHECK-NEXT: VarDecl 0x{{[^ ]*}} <col:5, col:13> col:9 used a 'int' cinit
407 // CHECK-NEXT: IntegerLiteral 0x{{[^ ]*}} <col:13> 'int' 10
408 // CHECK-NEXT: ImplicitCastExpr
409 // CHECK-NEXT: DeclRefExpr 0x{{[^ ]*}} <col:17> 'int' lvalue Var 0x{{[^ ]*}} 'a' 'int'
410 // CHECK-NEXT: NullStmt
411 // CHECK-NEXT: NullStmt
412 }
413