From: Richard Sandiford <rsandifo@nildram.co.uk>
Date: Tue, 2 Oct 2007 20:50:46 +0000 (+0000)
Subject: re PR middle-end/33617 (ICE for nonconstant callee-copied constructor arguments)
X-Git-Tag: releases/gcc-4.3.0~2256
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=16089886c228cc1361ddc01ac3461017dc1072c3;p=thirdparty%2Fgcc.git

re PR middle-end/33617 (ICE for nonconstant callee-copied constructor arguments)

gcc/
	PR middle-end/33617
	* expr.c (expand_expr_addr_expr_1): Pass CONSTRUCTORs to
	expand_expr.

gcc/testsuite/
	PR middle-end/33617
	* gcc.c-torture/compile/pr33617.c: New test.

From-SVN: r128965
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f1f28f7c3721..bfa860ce24df 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-10-02  Richard Sandiford  <rsandifo@nildram.co.uk>
+
+	PR middle-end/33617
+	* expr.c (expand_expr_addr_expr_1): Pass CONSTRUCTORs to
+	expand_expr.
+
 2007-10-02  David Daney  <ddaney@avtrex.com>
 
 	* config/mips/mips.md (sync_compare_and_swap<mode>): Handle compare
diff --git a/gcc/expr.c b/gcc/expr.c
index 9d2a61ad7829..6b7ba168d782 100644
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -6740,8 +6740,7 @@ expand_expr_addr_expr_1 (tree exp, rtx target, enum machine_mode tmode,
   /* ??? This should be considered a front-end bug.  We should not be
      generating ADDR_EXPR of something that isn't an LVALUE.  The only
      exception here is STRING_CST.  */
-  if (TREE_CODE (exp) == CONSTRUCTOR
-      || CONSTANT_CLASS_P (exp))
+  if (CONSTANT_CLASS_P (exp))
     return XEXP (expand_expr_constant (exp, 0, modifier), 0);
 
   /* Everything must be something allowed by is_gimple_addressable.  */
@@ -6788,9 +6787,12 @@ expand_expr_addr_expr_1 (tree exp, rtx target, enum machine_mode tmode,
     default:
       /* If the object is a DECL, then expand it for its rtl.  Don't bypass
 	 expand_expr, as that can have various side effects; LABEL_DECLs for
-	 example, may not have their DECL_RTL set yet.  Assume language
-	 specific tree nodes can be expanded in some interesting way.  */
+	 example, may not have their DECL_RTL set yet.  Expand the rtl of
+	 CONSTRUCTORs too, which should yield a memory reference for the
+	 constructor's contents.  Assume language specific tree nodes can
+	 be expanded in some interesting way.  */
       if (DECL_P (exp)
+	  || TREE_CODE (exp) == CONSTRUCTOR
 	  || TREE_CODE (exp) >= LAST_AND_UNUSED_TREE_CODE)
 	{
 	  result = expand_expr (exp, target, tmode,
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0fd8d8875631..65f08872e892 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-10-02  Richard Sandiford  <rsandifo@nildram.co.uk>
+
+	PR middle-end/33617
+	* gcc.c-torture/compile/pr33617.c: New test.
+
 2007-10-02  Andreas Tobler  <a.tobler@schweiz.org>
 
 	* gcc.target/powerpc/stabs-attrib-vect-darwin.c: Change options to use
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr33617.c b/gcc/testsuite/gcc.c-torture/compile/pr33617.c
new file mode 100644
index 000000000000..0174fb604854
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr33617.c
@@ -0,0 +1,7 @@
+typedef float V8SF __attribute__ ((vector_size (32)));
+void bar (V8SF);
+void
+foo (float x)
+{
+  bar ((V8SF) { x, x, x, x, x, x, x, x });
+}