https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115792 --- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- "Exception specifications and noexcept" from the paper. So yes GCC is correct.