| // RUN: not %clang_cc1 -std=c++2c -ast-dump %s | FileCheck %s |
| |
| namespace InvalidPacksShouldNotCrash { |
| |
| struct NotAPack; |
| template <typename T, auto V, template<typename> typename Tp> |
| void not_pack() { |
| int i = 0; |
| i...[0]; // expected-error {{i does not refer to the name of a parameter pack}} |
| V...[0]; // expected-error {{V does not refer to the name of a parameter pack}} |
| NotAPack...[0] a; // expected-error{{'NotAPack' does not refer to the name of a parameter pack}} |
| T...[0] b; // expected-error{{'T' does not refer to the name of a parameter pack}} |
| Tp...[0] c; // expected-error{{'Tp' does not refer to the name of a parameter pack}} |
| } |
| |
| // CHECK: FunctionDecl {{.*}} not_pack 'void ()' |
| // CHECK: DeclStmt {{.*}} |
| // CHECK: DeclStmt {{.*}} |
| // CHECK-NEXT: VarDecl {{.*}} a 'NotAPack...{{.*}}' |
| // CHECK-NEXT: DeclStmt {{.*}} |
| // CHECK-NEXT: VarDecl {{.*}} 'T...{{.*}}' |
| // CHECK-NEXT: DeclStmt {{.*}} |
| // CHECK-NEXT: VarDecl {{.*}} c 'Tp...{{.*}}' |
| |
| } |