diff --git a/clang/lib/AST/TypePrinter.cpp b/clang/lib/AST/TypePrinter.cpp index 4363280757714..c2ebe2c500174 100644 --- a/clang/lib/AST/TypePrinter.cpp +++ b/clang/lib/AST/TypePrinter.cpp @@ -1195,10 +1195,10 @@ void TypePrinter::printDecltypeBefore(const DecltypeType *T, raw_ostream &OS) { void TypePrinter::printPackIndexingBefore(const PackIndexingType *T, raw_ostream &OS) { - if (T->isInstantiationDependentType()) - OS << T->getPattern() << "...[" << T->getIndexExpr() << "]"; - else + if (T->hasSelectedType()) OS << T->getSelectedType(); + else + OS << T->getPattern() << "...[" << T->getIndexExpr() << "]"; spaceBeforePlaceHolder(OS); } diff --git a/clang/test/AST/ast-dump-pack-indexing-crash.cpp b/clang/test/AST/ast-dump-pack-indexing-crash.cpp new file mode 100644 index 0000000000000..0b0c0b572b5e6 --- /dev/null +++ b/clang/test/AST/ast-dump-pack-indexing-crash.cpp @@ -0,0 +1,25 @@ +// RUN: not %clang_cc1 -std=c++2c -ast-dump %s | FileCheck %s + +namespace InvalidPacksShouldNotCrash { + +struct NotAPack; +template 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...{{.*}}' + +}