https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86842
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Checking all possible preconditions isn't practical anyway, so isn't going to happen, so we don't need knobs to control that. Not everything can be checked, at some point users need to write correct code.
