https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65174
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Hmm, interesting. When the operand of the delete expression is null the destructor is not invoked, so it can't throw. It's not obvious to me whether GCC's result is allowed by the standard or not.