https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81942
--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> --- Uhm, no, we are not completely safe. Because in general, per 10.1.5, a constexpr function is *not* supposed to contain goto statements, and our code reflects that in various implicit/subtle ways. Thus the only completely Ok way I see to fully fix the problem would be modeling somehow such special goto + return this as plain returns, for example the returns helper function should return true for those: the cxx_eval_statement_list loop would break as soon as one is seen, consistently for the various targets.