PR c++/90548 - ICE with generic lambda and empty pack.

	* pt.c (tsubst_copy_and_build): Handle pack expansion properly.

	* g++.dg/cpp1y/lambda-generic-90548.C: New test.

From-SVN: r271705

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 001c53ee1fcf7b1583e7a398ba883347713d9c05..36a415d91741819e42bd22d055bf03fc46c08548 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2019-05-28  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/90548 - ICE with generic lambda and empty pack.
+       * pt.c (tsubst_copy_and_build): Handle pack expansion properly.
+
 2019-05-28  Nathan Sidwell  <nathan@acm.org>
 
        * cp-tree.h (make_anon_name): Drop declaration.

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index e52668ab49d6b80301ccffffbb9d7094d25a964a..cfbd9fd4c888dd287e380651cd72507024df26f4 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -18861,6 +18861,9 @@ tsubst_copy_and_build (tree t,
           the thunk template for a generic lambda.  */
        if (CALL_FROM_THUNK_P (t))
          {
+           /* Now that we've expanded any packs, the number of call args
+              might be different.  */
+           unsigned int cargs = call_args->length ();
            tree thisarg = NULL_TREE;
            if (TREE_CODE (function) == COMPONENT_REF)
              {
@@ -18874,7 +18877,7 @@ tsubst_copy_and_build (tree t,
            /* We aren't going to do normal overload resolution, so force the
               template-id to resolve.  */
            function = resolve_nondeduced_context (function, complain);
-           for (unsigned i = 0; i < nargs; ++i)
+           for (unsigned i = 0; i < cargs; ++i)
              {
                /* In a thunk, pass through args directly, without any
                   conversions.  */
@@ -18885,12 +18888,18 @@ tsubst_copy_and_build (tree t,
              }
            if (thisarg)
              {
-               /* Shift the other args over to make room.  */
-               tree last = (*call_args)[nargs - 1];
-               vec_safe_push (call_args, last);
-               for (int i = nargs-1; i > 0; --i)
-                 (*call_args)[i] = (*call_args)[i-1];
-               (*call_args)[0] = thisarg;
+               /* If there are no other args, just push 'this'.  */
+               if (cargs == 0)
+                 vec_safe_push (call_args, thisarg);
+               else
+                 {
+                   /* Otherwise, shift the other args over to make room.  */
+                   tree last = (*call_args)[cargs - 1];
+                   vec_safe_push (call_args, last);
+                   for (int i = cargs - 1; i > 0; --i)
+                     (*call_args)[i] = (*call_args)[i - 1];
+                   (*call_args)[0] = thisarg;
+                 }
              }
            ret = build_call_a (function, call_args->length (),
                                call_args->address ());

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5f4be276bdbaa2f249297926abdc645be50028a8..663cedb17050fb77041e8b9bb7c0c9ebc2ee720b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-05-28  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/90548 - ICE with generic lambda and empty pack.
+       * g++.dg/cpp1y/lambda-generic-90548.C: New test.
+
 2019-05-28  Alejandro Martinez  <alejandro.martinezvicente@arm.com>
 
        * gcc.target/aarch64/sve/mask_load_slp_1.c: New test for SLP

diff --git a/gcc/testsuite/g++.dg/cpp1y/lambda-generic-90548.C b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-90548.C
new file mode 100644 (file)
index 0000000..b845dd8
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-90548.C
@@ -0,0 +1,22 @@
+// PR c++/90548
+// { dg-do compile { target c++14 } }
+
+struct S { S (void ()); };
+S foo([] (auto...) { });
+S foo2{[] (auto...) {}};
+S foo3 = {[] (auto...) {}};
+
+struct W { W(void (int)); };
+W bar([](auto...) { });
+W bar2{[](auto...) { }};
+W bar3 = {[](auto...) { }};
+
+struct T { T(void (int, int)); };
+T qux([](auto...) { });
+T qux2{[](auto...) { }};
+T qux3 = {[](auto...) { }};
+
+struct R { R(void (int, int, int, int, int, int, int, int, int, int)); };
+R baz([](auto...) { });
+R baz2{[](auto...) { }};
+R baz3 = {[](auto...) { }};