c++: array new initialized from a call [PR99643]

Here the get_foo() call results in a TARGET_EXPR, which we strip in
massage_init_elt, but then when build_vec_init tries to use it to initialize
the array element we crash because build_aggr_init expects a class rvalue to
have a TARGET_EXPR.  So don't strip it.

The stripping was added in r206639 for PR59659, so I checked that removing
it didn't significantly increase compile time or memory usage for that
testcase; compile time was unaffected, memory usage increased by 0.00004%.

gcc/cp/ChangeLog:

	PR c++/99643
	* typeck2.c (massage_init_elt): Don't strip TARGET_EXPR.

gcc/testsuite/ChangeLog:

	PR c++/99643
	* g++.dg/cpp0x/initlist-new5.C: New test.
This commit is contained in:
Jason Merrill 2021-04-03 16:17:29 -04:00
parent 2a9658132c
commit 4231a43fd4
2 changed files with 9 additions and 3 deletions

View File

@ -1358,9 +1358,6 @@ massage_init_elt (tree type, tree init, int nested, int flags,
flags &= LOOKUP_ALLOW_FLEXARRAY_INIT;
flags |= LOOKUP_IMPLICIT;
init = digest_init_r (type, init, nested ? 2 : 1, flags, complain);
/* Strip a simple TARGET_EXPR when we know this is an initializer. */
if (SIMPLE_TARGET_EXPR_P (init))
init = TARGET_EXPR_INITIAL (init);
/* When we defer constant folding within a statement, we may want to
defer this folding as well. */
tree t = fold_non_dependent_init (init, complain);

View File

@ -0,0 +1,9 @@
// PR c++/99643
// { dg-do compile { target c++11 } }
struct Foo {};
Foo get_foo();
int main() {
new Foo[1]{get_foo()};
}