[C++ PATCH] PR c++/93033 - incorrect tree node sharing with array init.

[Jason Merrill]

The split_nonconstant_init piece is the only one necessary to fix the
testcase, but it occurred to me that we might as well not split when
-fno-exceptions.

Tested x86_64-pc-linux-gnu, applying to trunk.

        * typeck2.c (split_nonconstant_init): Unshare non-decl.
        * cp-gimplify.c (cp_gimplify_init_expr): Only split if -fexceptions.
---
 gcc/cp/cp-gimplify.c                         |  1 +
 gcc/cp/typeck2.c                             |  4 +++-
 gcc/testsuite/g++.dg/cpp0x/initlist-array9.C | 20 ++++++++++++++++++++
 3 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/initlist-array9.C

diff --git a/gcc/cp/cp-gimplify.c b/gcc/cp/cp-gimplify.c
index 3eca3591e01..eb552767f61 100644
--- a/gcc/cp/cp-gimplify.c
+++ b/gcc/cp/cp-gimplify.c
@@ -529,6 +529,7 @@ cp_gimplify_init_expr (tree *expr_p, gimple_seq *pre_p)
   /* If we might need to clean up a partially constructed object, break down
      the CONSTRUCTOR with split_nonconstant_init.  */
   if (TREE_CODE (from) == CONSTRUCTOR
+      && flag_exceptions
       && TREE_SIDE_EFFECTS (from)
       && TYPE_HAS_NONTRIVIAL_DESTRUCTOR (TREE_TYPE (to)))
     {
diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c
index f36a5649ae6..955669727c3 100644
--- a/gcc/cp/typeck2.c
+++ b/gcc/cp/typeck2.c
@@ -34,6 +34,7 @@ along with GCC; see the file COPYING3.  If not see
 #include "intl.h"
 #include "gcc-rich-location.h"
 #include "target.h"
+#include "gimplify.h"
 
 static tree
 process_init_constructor (tree type, tree init, int nested, int flags,
@@ -791,7 +792,8 @@ split_nonconstant_init (tree dest, tree init)
        }
       else if (init)
        {
-         tree ie = build2 (INIT_EXPR, void_type_node, dest, init);
+         tree ie = build2 (INIT_EXPR, void_type_node,
+                           unshare_expr (dest), init);
          code = add_stmt_to_compound (ie, code);
        }
     }
diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist-array9.C 
b/gcc/testsuite/g++.dg/cpp0x/initlist-array9.C
new file mode 100644
index 00000000000..4a5d74f6166
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/initlist-array9.C
@@ -0,0 +1,20 @@
+// PR c++/93033
+// { dg-do compile { target c++11 } }
+
+struct A {
+  A ();
+  ~A ();
+};
+
+A f();
+
+struct B {
+  A a;
+  bool b;
+};
+
+void
+foo ()
+{
+  B i[] { f() };
+}

base-commit: a497906525b087eb03c5b162736b73f8de57c389
-- 
2.18.1