http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452
--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-12-09 16:02:11 UTC --- Corrected testcase: struct X { X() noexcept; ~X() noexcept(false); }; static_assert( noexcept( X() ), "fails because of ~X" ); static_assert( noexcept(new (nullptr) X()), "works" );