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.
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?