From 4bbbcbf6f5bd5a9ec85f8f574b283a8c7f97ea63 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Wed, 30 May 2012 10:50:44 -0400 Subject: [PATCH] re PR c++/53356 (ICE in verify_gimple_stmt, at tree-cfg.c:4258) PR c++/53356 * tree.c (stabilize_init): Side effects make the init unstable. From-SVN: r188019 --- gcc/cp/ChangeLog | 5 +++++ gcc/cp/tree.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/init/new33.C | 11 +++++++++++ 4 files changed, 22 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/init/new33.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5850ff6847d..f5ba6af9096 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2012-05-30 Jason Merrill + + PR c++/53356 + * tree.c (stabilize_init): Side effects make the init unstable. + 2012-05-28 Paolo Carlini PR c++/53503 diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c index 236180de7fd..897d4d7bb37 100644 --- a/gcc/cp/tree.c +++ b/gcc/cp/tree.c @@ -3458,7 +3458,7 @@ stabilize_init (tree init, tree *initp) /* The initialization is being performed via a bitwise copy -- and the item copied may have side effects. */ - return TREE_SIDE_EFFECTS (init); + return !TREE_SIDE_EFFECTS (init); } /* Like "fold", but should be used whenever we might be processing the diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 49d88e728b5..ae6bdaf539d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-05-30 Jakub Jelinek + + PR c++/53356 + * g++.dg/init/new33.C: New test. + 2012-05-30 Richard Guenther PR middle-end/53501 diff --git a/gcc/testsuite/g++.dg/init/new33.C b/gcc/testsuite/g++.dg/init/new33.C new file mode 100644 index 00000000000..18da79e7e9a --- /dev/null +++ b/gcc/testsuite/g++.dg/init/new33.C @@ -0,0 +1,11 @@ +// PR c++/53356 +// { dg-do compile } + +struct A {}; +struct B { operator const A & () const; }; +struct C { operator const A & () const; C (); }; +struct D { operator const A & () const; D (); ~D (); }; + +A *foo () { return new A (B ()); } +A *bar () { return new A (C ()); } +A *baz () { return new A (D ()); } -- 2.30.2