re PR c++/81258 (ICE on C++1z code with invalid decomposition declaration: in cp_fini...

	PR c++/81258
	* parser.c (cp_parser_decomposition_declaration): Diagnose invalid
	forms of structured binding initializers.

	* g++.dg/cpp1z/decomp21.C (foo): Adjust expected diagnostics.
	* g++.dg/cpp1z/decomp30.C: New test.

From-SVN: r249947

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 189edcb097588bb024770c76fc67ff7f69df67b7..59a71da0546d5ee20f1e5266cc0e46c756bbe094 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2017-07-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/81258
+       * parser.c (cp_parser_decomposition_declaration): Diagnose invalid
+       forms of structured binding initializers.
+
 2017-07-03  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/65775

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 3ea7c42ec1a9bea1baf761df5969ce85ff9b6daf..de87449283c48be0ccca6ca6956b40af750979b7 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -13210,6 +13210,16 @@ cp_parser_decomposition_declaration (cp_parser *parser,
       *init_loc = cp_lexer_peek_token (parser->lexer)->location;
       tree initializer = cp_parser_initializer (parser, &is_direct_init,
                                                &non_constant_p);
+      if (initializer == NULL_TREE
+         || (TREE_CODE (initializer) == TREE_LIST
+             && TREE_CHAIN (initializer))
+         || (TREE_CODE (initializer) == CONSTRUCTOR
+             && CONSTRUCTOR_NELTS (initializer) != 1))
+       {
+         error_at (loc, "invalid initializer for structured binding "
+                   "declaration");
+         initializer = error_mark_node;
+       }
 
       if (decl != error_mark_node)
        {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 03f935754643ea67f30383a841b854bbdb21eb92..7a2e1f0982d117400d748da4d09a29763546c80f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2017-07-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/81258
+       * g++.dg/cpp1z/decomp21.C (foo): Adjust expected diagnostics.
+       * g++.dg/cpp1z/decomp30.C: New test.
+
 2017-07-03  Paolo Carlini  <paolo.carlini@oracle.com>
 
        PR c++/65775

diff --git a/gcc/testsuite/g++.dg/cpp1z/decomp21.C b/gcc/testsuite/g++.dg/cpp1z/decomp21.C
index d046ed54a145ca4c86cf98b6530ad4cef7eb9bb9..7d3a465d3a3428671133ab0b60b11226eb4dbc83 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp1z/decomp21.C
+++ b/gcc/testsuite/g++.dg/cpp1z/decomp21.C
@@ -12,5 +12,6 @@ foo ()
   auto [ n, o, p ] { a };
   auto [ q, r, t ] ( s );
   auto [ u, v, w ] ( s, );      // { dg-error "expected primary-expression before '.' token" }
-  auto [ x, y, z ] ( a );       // { dg-error "expression list treated as compound expression in initializer" "" { target *-*-* } .-1 }
+                               // { dg-error "invalid initializer for structured binding declaration" "" { target *-*-* } .-1 }
+  auto [ x, y, z ] ( a );
 }

diff --git a/gcc/testsuite/g++.dg/cpp1z/decomp30.C b/gcc/testsuite/g++.dg/cpp1z/decomp30.C
new file mode 100644 (file)
index 0000000..23115ad
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/decomp30.C
@@ -0,0 +1,12 @@
+// PR c++/81258
+// { dg-options -std=c++1z }
+
+int a[2];
+auto [b, c] (a);
+auto [d, e] { a };
+auto [f, g] = a;
+auto [h, i] ( a, a );  // { dg-error "invalid initializer for structured binding declaration" }
+auto [j, k] { a, a };  // { dg-error "invalid initializer for structured binding declaration" }
+auto [l, m] = { a };   // { dg-error "deducing from brace-enclosed initializer list requires" }
+auto [n, o] {};                // { dg-error "invalid initializer for structured binding declaration" }
+auto [p, q] ();                // { dg-error "invalid initializer for structured binding declaration" }