1*82bb57c1SHaojian Wu // RUN: not %clang_cc1 -triple x86_64-unknown-unknown -Wno-unused-value -fcxx-exceptions -frecovery-ast -std=gnu++17 -ast-dump %s | FileCheck -strict-whitespace %s
2*82bb57c1SHaojian Wu 
3*82bb57c1SHaojian Wu // CHECK: FunctionDecl {{.*}} s1 'auto ()'
4*82bb57c1SHaojian Wu auto s1(); // valid
5*82bb57c1SHaojian Wu // FIXME: why we're finding int as the return type. int is used as a fallback type?
6*82bb57c1SHaojian Wu // CHECK: FunctionDecl {{.*}} invalid s2 'auto () -> int'
7*82bb57c1SHaojian Wu auto s2() -> undef();
8*82bb57c1SHaojian Wu // CHECK: FunctionDecl {{.*}} invalid s3 'auto () -> int'
9*82bb57c1SHaojian Wu auto s3() -> decltype(undef());
10*82bb57c1SHaojian Wu // CHECK: FunctionDecl {{.*}} invalid s4 'auto ()'
s4()11*82bb57c1SHaojian Wu auto s4() {
12*82bb57c1SHaojian Wu   return undef();
13*82bb57c1SHaojian Wu }
14*82bb57c1SHaojian Wu // CHECK: FunctionDecl {{.*}} s5 'void ()'
s5()15*82bb57c1SHaojian Wu auto s5() {} // valid, no return stmt, fallback to void
16*82bb57c1SHaojian Wu 
17*82bb57c1SHaojian Wu class Foo {
18*82bb57c1SHaojian Wu   // CHECK: CXXMethodDecl {{.*}} foo1 'auto ()'
19*82bb57c1SHaojian Wu   auto foo1(); // valid
20*82bb57c1SHaojian Wu   // CHECK: CXXMethodDecl {{.*}} invalid foo2 'auto () -> int'
21*82bb57c1SHaojian Wu   auto foo2() -> undef();
22*82bb57c1SHaojian Wu   // CHECK: CXXMethodDecl {{.*}} invalid foo3 'auto () -> int'
23*82bb57c1SHaojian Wu   auto foo3() -> decltype(undef());
24*82bb57c1SHaojian Wu   // CHECK: CXXMethodDecl {{.*}} invalid foo4 'auto ()'
foo4()25*82bb57c1SHaojian Wu   auto foo4() { return undef(); }
26*82bb57c1SHaojian Wu   // CHECK: CXXMethodDecl {{.*}} foo5 'void ()'
foo5()27*82bb57c1SHaojian Wu   auto foo5() {} // valid, no return stmt, fallback to void.
28*82bb57c1SHaojian Wu };
29