From 0e5def817a5142dd3eeb91ce4acf9ea22a43ad94 Mon Sep 17 00:00:00 2001
From: Jason Merrill <jason@redhat.com>
Date: Wed, 11 Dec 2019 11:51:09 -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: r279236
---
gcc/cp/ChangeLog | 4 ++++
gcc/cp/init.c | 2 +-
gcc/testsuite/g++.dg/cpp0x/initlist-new2.C | 15 +++++++++++++++
3 files changed, 20 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 6daee41c5d18..e371a408c488 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
2019-12-11 Jason Merrill <jason@redhat.com>
+ PR c++/57082 - new X{} and private destructor.
+ * init.c (build_new_1): Also pass tf_no_cleanup to
+ build_special_member_call.
+
PR c++/92774 - ICE with implicitly deleted operator<=>.
* method.c (comp_info::~comp_info): Factor out of...
(build_comparison_op): Here. Handle error return from build_new_op.
diff --git a/gcc/cp/init.c b/gcc/cp/init.c
index e40afe27e1a2..ecd09510adb6 100644
--- a/gcc/cp/init.c
+++ b/gcc/cp/init.c
@@ -3591,7 +3591,7 @@ build_new_1 (vec<tree, va_gc> **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..d8731389a656
--- /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{}; // ERROR
+}
--
GitLab