Hi,
On 03/28/2012 06:40 PM, Paolo Carlini wrote:
+      /* 12.4/3  */
+      if (cxx_dialect>= cxx0x
+ && DECL_DESTRUCTOR_P (decl)
+ && TYPE_RAISES_EXCEPTIONS (TREE_TYPE (old_decl)))
+        deduce_noexcept_on_destructor (decl);

The exception specification on old_decl doesn't matter; we can drop that test.
I seem to remember something going wrong with templates otherwise, because implicitly_declare_fn has gcc_assert (!dependent_type_p (type)); I don't know if that rings a bell to you... I'll double check anyway.
2- The new register_specialization bits are needed to cope with (also in the C++ library and elsewhere):
That's the wrong place. Why doesn't the code in grokfndecl handle this case?
Ok, I will check, thanks.

Paolo.

Reply via email to