From 52d95c2127d392462f88ae5ca87358f81c514e2c Mon Sep 17 00:00:00 2001
From: Jason Merrill <jason@redhat.com>
Date: Fri, 15 Feb 2013 12:19:45 -0500
Subject: [PATCH] re PR c++/56343 ([C++11] Destructor defaulted on first
 declaration has wrong implicit exception specification)

	PR c++/56343
	* class.c (check_bases_and_members): Deduce noexcept after
	checking bases.

From-SVN: r196082
---
 gcc/cp/ChangeLog                         |  4 ++++
 gcc/cp/class.c                           |  9 +++++----
 gcc/testsuite/g++.dg/cpp0x/defaulted41.C | 14 ++++++++++++++
 3 files changed, 23 insertions(+), 4 deletions(-)
 create mode 100644 gcc/testsuite/g++.dg/cpp0x/defaulted41.C

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 70dcc20158a..2dab0290213 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2013-02-15  Jason Merrill  <jason@redhat.com>
 
+	PR c++/56343
+	* class.c (check_bases_and_members): Deduce noexcept after
+	checking bases.
+
 	PR c++/52026
 	* semantics.c (finish_id_expression): In a template, return
 	the identifier for a constant variable.
diff --git a/gcc/cp/class.c b/gcc/cp/class.c
index 38339f22b69..eaa109acce3 100644
--- a/gcc/cp/class.c
+++ b/gcc/cp/class.c
@@ -5245,14 +5245,15 @@ check_bases_and_members (tree t)
   cant_have_const_ctor = 0;
   no_const_asn_ref = 0;
 
-  /* Deduce noexcept on destructors.  */
-  if (cxx_dialect >= cxx0x)
-    deduce_noexcept_on_destructors (t);
-
   /* Check all the base-classes.  */
   check_bases (t, &cant_have_const_ctor,
 	       &no_const_asn_ref);
 
+  /* Deduce noexcept on destructors.  This needs to happen after we've set
+     triviality flags appropriately for our bases.  */
+  if (cxx_dialect >= cxx0x)
+    deduce_noexcept_on_destructors (t);
+
   /* Check all the method declarations.  */
   check_methods (t);
 
diff --git a/gcc/testsuite/g++.dg/cpp0x/defaulted41.C b/gcc/testsuite/g++.dg/cpp0x/defaulted41.C
new file mode 100644
index 00000000000..4272012d5d5
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/defaulted41.C
@@ -0,0 +1,14 @@
+// PR c++/56343
+// { dg-do compile { target c++11 } }
+
+class B
+{
+public:
+  virtual ~B() noexcept(false) { }
+};
+
+class D : public B
+{
+public:
+  virtual ~D() = default;
+};