From: Jason Merrill <jason@redhat.com>
Date: Thu, 7 Aug 2014 01:44:06 +0000 (-0400)
Subject: re PR c++/61994 (constexpr vector array ICE)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5fb4d142f0554895b6cc03a03f6dcbded483b345;p=gcc.git

re PR c++/61994 (constexpr vector array ICE)

	PR c++/61994
	* init.c (build_vec_init): Leave atype an ARRAY_TYPE
	if we're just returning an INIT_EXPR.

From-SVN: r213688
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 285f0585560..9ffd7468563 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2014-08-06  Jason Merrill  <jason@redhat.com>
+
+	PR c++/61994
+	* init.c (build_vec_init): Leave atype an ARRAY_TYPE
+	if we're just returning an INIT_EXPR.
+
 2014-08-06  Jason Merrill  <jason@redhat.com>
 	    Braden Obrzut  <admin@maniacsvault.net>
 
diff --git a/gcc/cp/init.c b/gcc/cp/init.c
index eeee5bb3620..17e6c4becb5 100644
--- a/gcc/cp/init.c
+++ b/gcc/cp/init.c
@@ -3840,6 +3840,13 @@ build_vec_init (tree base, tree maxindex, tree init,
 
   stmt_expr = finish_init_stmts (is_global, stmt_expr, compound_stmt);
 
+  current_stmt_tree ()->stmts_are_full_exprs_p = destroy_temps;
+
+  if (errors)
+    return error_mark_node;
+  if (const_init)
+    return build2 (INIT_EXPR, atype, obase, const_init);
+
   /* Now make the result have the correct type.  */
   if (TREE_CODE (atype) == ARRAY_TYPE)
     {
@@ -3849,12 +3856,6 @@ build_vec_init (tree base, tree maxindex, tree init,
       TREE_NO_WARNING (stmt_expr) = 1;
     }
 
-  current_stmt_tree ()->stmts_are_full_exprs_p = destroy_temps;
-
-  if (const_init)
-    return build2 (INIT_EXPR, atype, obase, const_init);
-  if (errors)
-    return error_mark_node;
   return stmt_expr;
 }
 
diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-array7.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-array7.C
new file mode 100644
index 00000000000..8f74675f27b
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-array7.C
@@ -0,0 +1,13 @@
+// PR c++/61994
+// { dg-do compile { target c++11 } }
+
+struct A { int i,j; };
+
+struct X {
+  A a = {1,1};
+};
+
+constexpr X table[1][1] = {{ {} }};
+
+#define SA(X) static_assert(X,#X)
+SA(table[0][0].a.i == 1);