[Bug tree-optimization/128314] wrong code at -O1 and above: an overflowing __builtin___memcpy_chk into an unused local array is removed instead of aborting

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |documentation

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
safety checks are not considered to be preserved when the safety violation
itself is elided.

Maybe we can document this somewhere, not sure where though.