https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86732
Antony Polukhin <antoshkka at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |FIXED
--- Comment #9 from Antony Polukhin <antoshkka at gmail dot com> ---
(In reply to Jeffrey A. Law from comment #8)
> I wouldn't object to that. In fact I thought we kicked that around along
> with an option to remove path leading to the undefined behavior completely.
> But it's not something I'm likely to work on.
IMO you will need this flag anyway with the "C++20 Contracts" feature to turn
contract violations into UB/trap/HandlerCall/terminate/...
