re PR c++/48834 (-fno-exceptions causes wrong code generation on C++ code)

	PR c++/48834
	* tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
	Protect an explicit target.

From-SVN: r173272

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 983939e2a180aedcbb186e56a26c15eb8d8c9ca8..127d77a2b3e3b899757b482a8237bcde06e7892b 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2011-05-02  Jason Merrill  <jason@redhat.com>
 
+       PR c++/48834
+       * tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
+       Protect an explicit target.
+
        PR c++/48446
        * decl.c (stabilize_save_expr_r, stabilize_vla_size): New.
        (compute_array_index_type): Revert earlier 48446 changes.

diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index 2eaa1db0b22170bbf258f67ae67dc98237e11265..fff3fbf28a2327ec816c5bac65e748e9202e2747 100644 (file)
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -564,6 +564,7 @@ build_vec_init_expr (tree target, tree init, tree nelts,
     elt_init = build_vec_init_elt (type, init, complain);
 
   init = build3 (VEC_INIT_EXPR, type, slot, init, nelts);
+  TREE_SIDE_EFFECTS (init) = true;
   SET_EXPR_LOCATION (init, input_location);
 
   if (cxx_dialect >= cxx0x
@@ -571,7 +572,11 @@ build_vec_init_expr (tree target, tree init, tree nelts,
     VEC_INIT_EXPR_IS_CONSTEXPR (init) = true;
   VEC_INIT_EXPR_VALUE_INIT (init) = value_init;
 
-  if (slot != target)
+  if (slot == target)
+    /* If we specified what array we're initializing, make sure
+       we don't override that in cp_gimplify_init_expr.  */
+    init = cp_build_compound_expr (init, slot, complain);
+  else
     {
       init = build_target_expr (slot, init, complain);
       TARGET_EXPR_IMPLICIT_P (init) = 1;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index be4f4b608be92d72b2e1025b6c1699a4fc37c115..216beee679777add0220e9e5f0fc4cb3f30f39f4 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2011-05-02  Jason Merrill  <jason@redhat.com>
+
+       * g++.dg/init/new31.C: New.
+
 2011-05-02  Simon Martin  <simartin@users.sourceforge.net>
 
        PR c/35445

diff --git a/gcc/testsuite/g++.dg/init/new31.C b/gcc/testsuite/g++.dg/init/new31.C
new file mode 100644 (file)
index 0000000..33c94aa
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/new31.C
@@ -0,0 +1,18 @@
+// PR c++/48834
+// { dg-options -Wuninitialized }
+// { dg-do run }
+
+struct S
+{
+  S ():i (0)
+  {
+  }
+  int i;
+};
+
+int
+main ()
+{
+  S *s = new S[2];
+  return 0;
+}