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/...