method.c (synthesized_method_walk): Cleanups don't affect the EH spec either.

	* method.c (synthesized_method_walk): Cleanups don't affect the EH
	spec either.

From-SVN: r184945

gcc/cp/ChangeLog

+2012-03-05  Jason Merrill  <jason@redhat.com>
+
+	* method.c (synthesized_method_walk): Cleanups don't affect the EH
+	spec either.
+
 2012-03-03  Jason Merrill  <jason@redhat.com>
 
 	* init.c (perform_member_init): Cope with uninstantiated NSDMI.

gcc/cp/method.c

@@ -1272,8 +1272,11 @@ synthesized_method_walk (tree ctype, special_function_kind sfk, bool const_p,
 	  rval = locate_fn_flags (base_binfo, complete_dtor_identifier,
 				  NULL_TREE, flags, complain);
 	  /* Note that we don't pass down trivial_p; the subobject
-	     destructors don't affect triviality of the constructor.  */
-	  process_subob_fn (rval, false, spec_p, NULL,
+	     destructors don't affect triviality of the constructor.  Nor
+	     do they affect constexpr-ness (a constant expression doesn't
+	     throw) or exception-specification (a throw from one of the
+	     dtors would be a double-fault).  */
+	  process_subob_fn (rval, false, NULL, NULL,
 			    deleted_p, NULL, NULL,
 			    basetype);
 	}

gcc/testsuite/ChangeLog

+2012-03-05  Jason Merrill  <jason@redhat.com>
+
+	* g++.dg/cpp0x/implicit13.C: New.
+
 2012-03-05  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/51721

gcc/testsuite/g++.dg/cpp0x/implicit13.C

+// Make sure that A's destructor doesn't affect constexpr
+// or exception-spec on D's default constructor.
+// { dg-do compile { target c++11 } }
+
+struct A {
+  constexpr A() noexcept: i(0) { }
+  int i;
+  ~A() noexcept(false);
+};
+
+struct B: A { };
+
+// Should get static initialization, so no constructor call.
+// { dg-final { scan-assembler-not "_ZN1BC1Ev" } }
+B b;
+
+struct C { C() noexcept; ~C(); };
+struct D: C { };
+extern D d;
+
+void *operator new(__SIZE_TYPE__, void*) noexcept;
+
+#define SA(X) static_assert((X),#X)
+SA(noexcept(new (&d) D));