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.