https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35878
--- Comment #8 from Marc Glisse <glisse at gcc dot gnu.org> --- It shouldn't be very hard, there is a variable check_new in build_new_1 in cp/init.c, we need to recognize the standard placement new (not sure what the best way is to do that) and set check_new to false in that case (unless flag_check_new).
