c++: Fix ICE with defaulted destructor and template.

In a template we don't instantiate a deferred noexcept-spec, and we don't
need it because we aren't going to do anything with the value of
throwing_cleanup in a template anyway.

	PR c++/93345 - ICE with defaulted dtor and template.
	PR c++/33799
	* decl.c (cxx_maybe_build_cleanup): Don't try to set
	throwing_cleanup in a template.

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 47d4f2d496cb860a23f6aa3b341ef9e2fac2d6e6..f99951cb72c550579a2c49d95314f0de4024986f 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2020-01-23  Jason Merrill  <jason@redhat.com>
+
+       PR c++/93345 - ICE with defaulted dtor and template.
+       PR c++/33799
+       * decl.c (cxx_maybe_build_cleanup): Don't try to set
+       throwing_cleanup in a template.
+
 2020-01-22  Marek Polacek  <polacek@redhat.com>
 
        PR c++/92907 - noexcept does not consider "const" in member functions.

diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 47ff7eea88f1ebe42eeac7b6cc9ad51c8cf11f2a..98ed79f3579e6aeff744cf1dc41b128921777a36 100644 (file)
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -17393,7 +17393,8 @@ cxx_maybe_build_cleanup (tree decl, tsubst_flags_t complain)
       && !mark_used (decl, complain) && !(complain & tf_error))
     return error_mark_node;
 
-  if (cleanup && cfun && !expr_noexcept_p (cleanup, tf_none))
+  if (cleanup && cfun && !processing_template_decl
+      && !expr_noexcept_p (cleanup, tf_none))
     cp_function_chain->throwing_cleanup = true;
 
   return cleanup;

diff --git a/gcc/testsuite/g++.dg/cpp0x/initlist-cleanup1.C b/gcc/testsuite/g++.dg/cpp0x/initlist-cleanup1.C
new file mode 100644 (file)
index 0000000..1e3ac12
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/initlist-cleanup1.C
@@ -0,0 +1,17 @@
+// PR c++/93345
+// { dg-do compile { target c++11 } }
+
+struct ln {
+  ~ln ();
+};
+
+struct ry {
+  ln kj;
+};
+
+template<typename GC>
+void
+dz ()
+{
+  ry{};
+}