1 // RUN: not %clang_cc1 -triple x86_64-unknown-unknown -Wno-unused-value -fcxx-exceptions -std=gnu++17 -ast-dump -frecovery-ast %s | FileCheck -strict-whitespace %s 2 3 // Check errors flag is set for RecoveryExpr. 4 // 5 // CHECK: VarDecl {{.*}} a 6 // CHECK-NEXT:`-RecoveryExpr {{.*}} contains-errors 7 // CHECK-NEXT: `-UnresolvedLookupExpr {{.*}} 'bar' 8 int a = bar(); 9 10 // The flag propagates through more complicated calls. 11 // 12 // CHECK: VarDecl {{.*}} b 13 // CHECK-NEXT:`-CallExpr {{.*}} contains-errors 14 // CHECK-NEXT: |-UnresolvedLookupExpr {{.*}} 'bar' 15 // CHECK-NEXT: |-RecoveryExpr {{.*}} contains-errors 16 // CHECK-NEXT: | `-UnresolvedLookupExpr {{.*}} 'baz' 17 // CHECK-NEXT: `-RecoveryExpr {{.*}} contains-errors 18 // CHECK-NEXT: `-UnresolvedLookupExpr {{.*}} 'qux' 19 int b = bar(baz(), qux()); 20 21 // Also propagates through more complicated expressions. 22 // 23 // CHECK: |-VarDecl {{.*}} c 24 // CHECK-NEXT:| `-BinaryOperator {{.*}} '<dependent type>' contains-errors '*' 25 // CHECK-NEXT:| |-UnaryOperator {{.*}} '<dependent type>' contains-errors prefix '&' 26 // CHECK-NEXT:| | `-ParenExpr {{.*}} '<dependent type>' contains-errors 27 // CHECK-NEXT:| | `-BinaryOperator {{.*}} '<dependent type>' contains-errors '+' 28 // CHECK-NEXT:| | |-RecoveryExpr {{.*}} '<dependent type>' contains-errors 29 // CHECK-NEXT:| | | `-UnresolvedLookupExpr {{.*}} 'bar' 30 // CHECK-NEXT:| | `-RecoveryExpr {{.*}} '<dependent type>' contains-errors 31 // CHECK-NEXT:| | `-UnresolvedLookupExpr {{.*}} 'baz' 32 int c = &(bar() + baz()) * 10; 33 34 // Errors flag propagates even when type is not dependent anymore. 35 // CHECK: |-VarDecl {{.*}} d 36 // CHECK-NEXT:| `-CXXStaticCastExpr {{.*}} 'int' contains-errors 37 // CHECK-NEXT:| `-BinaryOperator {{.*}} '<dependent type>' contains-errors '+' 38 // CHECK-NEXT:| |-RecoveryExpr {{.*}} '<dependent type>' contains-errors 39 // CHECK-NEXT:| | `-UnresolvedLookupExpr {{.*}} 'bar' 40 // CHECK-NEXT:| `-IntegerLiteral {{.*}} 1 41 int d = static_cast<int>(bar() + 1); 42 43 44 // Error type should result in an invalid decl. 45 // CHECK: -VarDecl {{.*}} invalid f 'decltype(<recovery-expr>(bar))' 46 decltype(bar()) f; 47