[Bug c++/82081] Tail call optimisation of noexcept function leads to exception allowed through

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82081

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> ---
(In reply to Thiago Macieira from comment #0)
> 1) forbid tail-call optimisation of a noexcept(false) call in a noexcept
> function, so that there is a frame in place for the unwinder to find.

This seems like the necessary solution.  Exception specifications should be
enforced in the callee, and tail-call optimization is breaking that.