expr.c (expand_expr, [...]): Correct check for side-effects in the value of an array element.

	* expr.c (expand_expr, case ARRAY_REF): Correct check for
	side-effects in the value of an array element.

From-SVN: r43680

2 files changed, 21 insertions, 1 deletions

diff --git a/gcc/expr.c b/gcc/expr.c
index c5276f2..afa55a6 100644
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -6902,7 +6902,7 @@ expand_expr (exp, target, tmode, modifier)
 			 elem = TREE_CHAIN (elem))
 		      ;
 
-		    if (elem && !TREE_SIDE_EFFECTS (elem))
+		    if (elem && !TREE_SIDE_EFFECTS (TREE_VALUE (elem)))
 		      return expand_expr (fold (TREE_VALUE (elem)), target,
 					  tmode, ro_modifier);
 		  }
diff --git a/gcc/testsuite/g++.old-deja/g++.other/array6.C b/gcc/testsuite/g++.old-deja/g++.other/array6.C
new file mode 100644
index 0000000..ab076f2
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.other/array6.C
@@ -0,0 +1,20 @@
+// Special g++ Options: -O1
+
+int count = 0;
+
+double foo () {
+  count++;
+  return 0;
+};
+
+double bar () {
+  const double x[1] = { foo() };
+  return x[0];
+};
+
+int main () 
+{
+  bar();
+  if (count != 1)
+    return 1;
+};