[Bug tree-optimization/91355] [13/14/15/16 Regression] optimized code does not call destructor while unwinding after exception

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #21 from Richard Biener <rguenth at gcc dot gnu.org> ---
To make this fail in less odd ways we should ICE if the contract is violated,
aka enfoce this during IL verification somehow.