aboutsummaryrefslogtreecommitdiff
path: root/clang/test/AST/loop-recovery.cpp
blob: b1e4ecf1c2ce4fc55934124752b7ac6f514796b8 (plain)
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'
}