clang/test/AST/loop-recovery.cpp

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