re PR c++/87122 (ICE in tsubst_decomp_names)

	PR c++/87122
	* pt.c (tsubst_expr) <case RANGE_FOR_STMT>: If
	processing_template_decl and decl is structured binding decl, call
	cp_finish_decomp.

	* g++.dg/cpp1z/decomp47.C: New test.

From-SVN: r263953

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7c5946a3151c516d89d9df164b110fb0f6d5e516..82d6659d615d05f3ec268e9172e04b213ebc0d3d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -39,7 +39,7 @@
        * genpreds.c (write_predicate_subfunction): Also add ATTRIBUTE_UNUSED
        to OP parmeter of generated function.
 
-2018-08-28 MCC CS <deswurstes@users.noreply.github.com>
+2018-08-28  MCC CS  <deswurstes@users.noreply.github.com>
 
        PR tree-optimization/87009
        * match.pd: Add boolean optimizations.

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 087beb679fb065d37a785ff988935ad44ab272e6..57479570bd4e42d20679ab67383e7dc6176e0b37 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2018-08-29  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/87122
+       * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: If
+       processing_template_decl and decl is structured binding decl, call
+       cp_finish_decomp.
+
 2018-08-28  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/86546

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index a7266e368fc47838fbeba5791420c8eb4d244046..0a618a5447dbe438f6888ef85b33e1efe1d3de97 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -16832,6 +16832,8 @@ tsubst_expr (tree t, tree args, tsubst_flags_t complain, tree in_decl,
            RANGE_FOR_IVDEP (stmt) = RANGE_FOR_IVDEP (t);
            RANGE_FOR_UNROLL (stmt) = RANGE_FOR_UNROLL (t);
            finish_range_for_decl (stmt, decl, expr);
+           if (decomp_first && decl != error_mark_node)
+             cp_finish_decomp (decl, decomp_first, decomp_cnt);
          }
        else
          {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bd9d31aec7b0da85afa1059348c2d962b2e70b71..17ea5c7421d82633e0a48d2328a0415f8818b841 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-08-29  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/87122
+       * g++.dg/cpp1z/decomp47.C: New test.
+
 2018-08-29  Matthew Malcomson  <matthew.malcomson@arm.com>
 
        * gcc.target/aarch64/simd/vect_su_add_sub.c: Use 32 and 64-bit types
@@ -13,7 +18,7 @@
        PR tree-optimization/87126
        * gcc.dg/tree-ssa/pr87126.c: New testcase.
 
-2018-08-28 MCC CS <deswurstes@users.noreply.github.com>
+2018-08-28  MCC CS  <deswurstes@users.noreply.github.com>
 
        PR tree-optimization/87009
        * gcc.dg/pr87009.c: New test.

diff --git a/gcc/testsuite/g++.dg/cpp1z/decomp47.C b/gcc/testsuite/g++.dg/cpp1z/decomp47.C
new file mode 100644 (file)
index 0000000..f0d202d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/decomp47.C
@@ -0,0 +1,32 @@
+// PR c++/87122
+// { dg-do run { target c++14 } }
+// { dg-options "" }
+
+extern "C" void abort ();
+struct S { int a, b; };
+int c;
+
+template <int N>
+void
+foo ()
+{
+  S x[4] = { { N, 2 }, { 3, 4 }, { 5, 6 }, { 7, 8 } };
+  auto f = [](auto & y) {
+    for (auto & [ u, v ] : y)  // { dg-warning "structured bindings only available with" "" { target c++14_down } }
+      {
+       if ((u & 1) != 1 || v != u + 1 || u < N || u > 7 || (c & (1 << u))
+           || &u != &y[v / 2 - 1].a || &v != &y[v / 2 - 1].b)
+         abort ();
+       c |= 1 << u;
+      }
+  };
+  f (x);
+}
+
+int
+main ()
+{
+  foo<1> ();
+  if (c != 0xaa)
+    abort ();
+}