From 0852213266480d43a8a9bf4b71d2397f8cec439d Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Fri, 13 Dec 2019 00:10:11 -0500 Subject: [PATCH] PR c++/57082 - new X{} and private destructor. build_new_1 already passes tf_no_cleanup to build_value_init, but in this testcase we end up calling build_value_init by way of build_special_member_call, so we need to pass it to that function as well. * init.c (build_new_1): Also pass tf_no_cleanup to build_special_member_call. From-SVN: r279335 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/init.c | 2 +- gcc/testsuite/g++.dg/cpp0x/initlist-new2.C | 15 +++++++++++++++ 3 files changed, 22 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/initlist-new2.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5b05e84b4c3a..5600ebea7981 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2019-12-11 Jason Merrill + + PR c++/57082 - new X{} and private destructor. + * init.c (build_new_1): Also pass tf_no_cleanup to + build_special_member_call. + 2019-12-11 Jason Merrill PR c++/92859 - ADL and bit-field. diff --git a/gcc/cp/init.c b/gcc/cp/init.c index 59e1f351fc69..6cd32d984487 100644 --- a/gcc/cp/init.c +++ b/gcc/cp/init.c @@ -3512,7 +3512,7 @@ build_new_1 (vec **placement, tree type, tree nelts, complete_ctor_identifier, init, elt_type, LOOKUP_NORMAL, - complain); + complain|tf_no_cleanup); } else if (explicit_value_init_p) { diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist-new2.C b/gcc/testsuite/g++.dg/cpp0x/initlist-new2.C new file mode 100644 index 000000000000..439b8dabacb3 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/initlist-new2.C @@ -0,0 +1,15 @@ +// PR c++/57082 +// { dg-do compile { target c++11 } } + +struct X +{ +private: + ~X() {} +}; + +int main() +{ + new X; // OK + new X(); // OK + new X{}; // { dg-bogus "" } +} -- 2.47.2