Hi, I'm adding the testcase and closing the bug as fixed for 4.9.0.
Thanks, Paolo. ////////////////////
2013-05-25 Paolo Carlini <paolo.carl...@oracle.com> PR c++/52216 * g++.dg/cpp0x/new1.C: New.
Index: g++.dg/cpp0x/new1.C =================================================================== --- g++.dg/cpp0x/new1.C (revision 0) +++ g++.dg/cpp0x/new1.C (working copy) @@ -0,0 +1,8 @@ +// PR c++/52216 +// { dg-require-effective-target c++11 } + +#include <new> + +int n; + +static_assert(!noexcept(::new (std::nothrow) int[n]), "");