re PR c++/48873 ([C++0x][noexcept] Placement-new problem with deleted destructors)

	PR c++/48873
	* tree.c (stabilize_expr): Don't make gratuitous copies of classes.

From-SVN: r173433

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 856e8c762b419a8397dc40e30357290babece6af..ff3ad54d05f7063291fb74d60001fbeda21f78e0 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2011-05-05  Jason Merrill  <jason@redhat.com>
+
+       PR c++/48873
+       * tree.c (stabilize_expr): Don't make gratuitous copies of classes.
+
 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
 
        * decl.c (start_preparsed_function): Do not set

diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index 0f2f86cd4b4efb8d3f07179ad3f6276e6c1c524f..9a6e26dcabfb9d780fd29884732686c5097886bd 100644 (file)
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -3119,7 +3119,10 @@ stabilize_expr (tree exp, tree* initp)
 
   if (!TREE_SIDE_EFFECTS (exp))
     init_expr = NULL_TREE;
-  else if (!TYPE_NEEDS_CONSTRUCTING (TREE_TYPE (exp))
+  /* There are no expressions with REFERENCE_TYPE, but there can be call
+     arguments with such a type; just treat it as a pointer.  */
+  else if (TREE_CODE (TREE_TYPE (exp)) == REFERENCE_TYPE
+          || SCALAR_TYPE_P (exp)
           || !lvalue_or_rvalue_with_address_p (exp))
     {
       init_expr = get_target_expr (exp);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d8c8d60b30c8575fef43ebaa032576d491874f7d..15e40388217f8e27f23f9209c02a528eab44651c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2011-05-05  Jason Merrill  <jason@redhat.com>
+
+       * g++.dg/init/new32.C: New.
+
 2011-05-05  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
        * gfortran.dg/fmt_g0_6.f08: Use dg-options "-ffloat-store".

diff --git a/gcc/testsuite/g++.dg/init/new32.C b/gcc/testsuite/g++.dg/init/new32.C
new file mode 100644 (file)
index 0000000..f827857
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/new32.C
@@ -0,0 +1,16 @@
+// PR c++/48873
+
+#include <new>
+
+struct D {
+private:
+  ~D();
+};
+
+template<class T>
+T& create();
+
+void f()
+{
+  D* dp = new (((void*) 0)) D(create<D>()); // #
+}