[gcc(refs/vendors/redhat/heads/gcc-8-branch)] PR c++/89917 - ICE with lambda in variadic mem-init.

[Jakub Jelinek <jakub@gcc.gnu.org>]

https://gcc.gnu.org/g:5a359c34bd4de7dcd74881fb9ec897c7bd1ea9c9

commit 5a359c34bd4de7dcd74881fb9ec897c7bd1ea9c9
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Feb 25 13:37:18 2020 -0500

    PR c++/89917 - ICE with lambda in variadic mem-init.
    
    A mem-initializer is not a type, and we don't want to turn autos within it
    into packs.
    
    gcc/cp/ChangeLog
    2020-02-25  Jason Merrill  <jason@redhat.com>
    
            PR c++/89917 - ICE with lambda in variadic mem-init.
            * pt.c (make_pack_expansion): Change type_pack_expansion_p to false.

Diff:
---
 gcc/cp/ChangeLog                                     |  5 +++++
 gcc/cp/pt.c                                          |  2 +-
 gcc/testsuite/g++.dg/cpp0x/lambda/lambda-variadic8.C | 14 ++++++++++++++
 3 files changed, 20 insertions(+), 1 deletion(-)

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index ffb25f3ab95..a1fee505da6 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2020-02-25  Jason Merrill  <jason@redhat.com>
+
+	PR c++/89917 - ICE with lambda in variadic mem-init.
+	* pt.c (make_pack_expansion): Change type_pack_expansion_p to false.
+
 2020-02-24  Jason Merrill  <jason@redhat.com>
 
 	PR c++/90951
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 6dc455ac326..2dc5af44394 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -3944,7 +3944,7 @@ make_pack_expansion (tree arg, tsubst_flags_t complain)
          class expansion.  */
       ppd.visited = new hash_set<tree>;
       ppd.parameter_packs = &parameter_packs;
-      ppd.type_pack_expansion_p = true;
+      ppd.type_pack_expansion_p = false;
       gcc_assert (TYPE_P (TREE_PURPOSE (arg)));
       cp_walk_tree (&TREE_PURPOSE (arg), &find_parameter_packs_r, 
                     &ppd, ppd.visited);
diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-variadic8.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-variadic8.C
new file mode 100644
index 00000000000..50473f70214
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-variadic8.C
@@ -0,0 +1,14 @@
+// PR c++/89917
+// { dg-do compile { target c++11 } }
+
+struct A 
+{
+  A(...);
+};
+
+template<typename... T> struct B : T...
+{
+  B() : T([]{})... {}
+};
+
+B<A> b;