1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++17 %s
// RUN: not %clang_cc1 -ast-dump %s -std=c++17 | FileCheck %s
void test() {
while(!!!) // expected-error {{expected expression}}
int whileBody;
// CHECK: WhileStmt
// CHECK: RecoveryExpr {{.*}} <line:{{.*}}:9, col:11> 'bool'
// CHECK: whileBody 'int'
for(!!!) // expected-error {{expected expression}} expected-error {{expected ';'}}
int forBody;
// CHECK: ForStmt
// FIXME: the AST should have a RecoveryExpr to distinguish from for(;;)
// CHECK-NOT: RecoveryExpr
// CHECK: forBody 'int'
for(auto c : !!!) // expected-error {{expected expression}}
int forEachBody;
// FIXME: parse the foreach body
// CHECK-NOT: CXXForRangeStmt
// CHECK-NOT: forEachBody 'int'
do
int doBody;
while(!!!); // expected-error {{expected expression}}
// CHECK: DoStmt
// CHECK: doBody 'int'
// CHECK: RecoveryExpr {{.*}} <line:{{.*}}:9, col:11> 'bool'
if(!!!) // expected-error {{expected expression}}
int ifBody;
else
int elseBody;
// CHECK: IfStmt
// CHECK: RecoveryExpr {{.*}} <line:{{.*}}:6, col:8> 'bool'
// CHECK: ifBody 'int'
// CHECK: elseBody 'int'
switch(!!!) // expected-error {{expected expression}}
int switchBody;
// CHECK: SwitchStmt
// CHECK: RecoveryExpr {{.*}} <line:{{.*}}:10, col:12> 'int'
// CHECK: switchBody 'int'
switch (;) // expected-error {{expected expression}}
int switchBody;
// CHECK: SwitchStmt
// CHECK: NullStmt
// CHECK: RecoveryExpr {{.*}} <col:11> 'int'
// CHECK: switchBody 'int'
switch (;;) // expected-error {{expected expression}}
int switchBody;
// CHECK: SwitchStmt
// CHECK: NullStmt
// CHECK: RecoveryExpr {{.*}} <col:11, col:12> 'int'
// CHECK: switchBody 'int'
switch (!!!;) // expected-error {{expected expression}}
int switchBody;
// CHECK: SwitchStmt
// CHECK: RecoveryExpr {{.*}} <line:{{.*}}:11, col:14> 'int'
// CHECK: switchBody 'int'
}
|
