xref: /llvm-project/clang/test/AST/ast-dump-recovery.m (revision 3cb16f6d2ddd030c35df7ad3eb7985f1947173cb)
1// RUN: not %clang_cc1 -triple x86_64-unknown-unknown -frecovery-ast -frecovery-ast-type -fblocks -ast-dump %s | FileCheck -strict-whitespace %s
2
3@interface Foo
4- (void)method:(int)n;
5@end
6
7void k(Foo *foo) {
8  // CHECK:       ObjCMessageExpr {{.*}} 'void' contains-errors
9  // CHECK-CHECK:  |-ImplicitCastExpr {{.*}} 'Foo *' <LValueToRValue>
10  // CHECK-CHECK:  | `-DeclRefExpr {{.*}} 'foo'
11  // CHECK-CHECK:  `-RecoveryExpr {{.*}}
12  [foo method:undef];
13
14  // CHECK:      ImplicitCastExpr {{.*}} '<dependent type>' contains-errors
15  // CHECK-NEXT: `-RecoveryExpr {{.*}} '<dependent type>' contains-errors
16  // CHECK-NEXT:   `-DeclRefExpr {{.*}} 'foo'
17  foo.undef;
18}
19
20// CHECK:      |-VarDecl {{.*}} 'int (^)()' cinit
21// CHECK-NEXT: | `-RecoveryExpr {{.*}} '<dependent type> (^)(void)' contains-errors lvalue
22// CHECK-NEXT: |   `-BlockExpr {{.*}} '<dependent type> (^)(void)'
23// CHECK-NEXT: |     `-BlockDecl {{.*}} invalid
24int (^gh63863)() = ^() {
25  return undef;
26};
27
28// CHECK:      `-BlockExpr {{.*}} 'int (^)(int, int)'
29// CHECK-NEXT:   `-BlockDecl {{.*}} invalid
30int (^gh64005)(int, int) = ^(int, undefined b) {
31   return 1;
32};
33