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.
Yes, If I remove that check, then we hit that gcc_assert for:
template<typename T>
struct A
{
~A();
};
template<typename T>
A<T>::~A() { }
Paolo.
