Fix crash mangling an explicit lambda non-type template parameter pack
authorRichard Smith <richard-llvm@metafoo.co.uk>
Tue, 10 Sep 2019 00:39:53 +0000 (00:39 +0000)
committerRichard Smith <richard-llvm@metafoo.co.uk>
Tue, 10 Sep 2019 00:39:53 +0000 (00:39 +0000)
that is not a pack expansion.

llvm-svn: 371476

clang/lib/AST/ItaniumMangle.cpp
clang/test/CodeGenCXX/mangle-lambda-explicit-template-params.cpp

index 2a2b491..66bccbe 100644 (file)
@@ -1704,7 +1704,8 @@ void CXXNameMangler::mangleTemplateParamDecl(const NamedDecl *Decl) {
       QualType T = Tn->getType();
       if (Tn->isParameterPack()) {
         Out << "Tp";
-        T = T->castAs<PackExpansionType>()->getPattern();
+        if (auto *PackExpansion = T->getAs<PackExpansionType>())
+          T = PackExpansion->getPattern();
       }
       Out << "Tn";
       mangleType(T);
index dba10fb..45fdec3 100644 (file)
@@ -54,6 +54,12 @@ inline void collision() {
 }
 void use_collision() { collision(); }
 
+namespace pack_not_pack_expansion {
+  template<typename T, int, T...> struct X;
+  // CHECK: @_ZNK23pack_not_pack_expansion1xMUlTyTtTyTnT_TpTnTL0__ETpTyvE_clIiNS_1XEJfEEEDav
+  inline auto x = []<typename T, template<typename U, T, U...> typename, typename ...V>(){}; void f() { x.operator()<int, X, float>(); }
+}
+
 template<typename> void f() {
   // CHECK: define linkonce_odr {{.*}} @_ZZ1fIiEvvENKUlT_E_clIiEEDaS0_(
   auto x = [](auto){};