diff options
-rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/cp/tree.c | 5 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/init/new32.C | 16 |
4 files changed, 29 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 856e8c7..ff3ad54 100644 --- 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 0f2f86c..9a6e26d 100644 --- 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 d8c8d60..15e4038 100644 --- 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 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>()); // # +} |