Re: [C++ RFC / Patch] Implementing "Deducing "noexcept" for destructors"

[Paolo Carlini <paolo dot carlini at oracle dot com>]

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.