https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89561
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2019-03-02
CC| |msebor at gcc dot gnu.org
Ever confirmed|0 |1
Severity|normal |enhancement
--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
There have been suggestions along these lines in the past, partly to deal with
classes of false positives (by eliminating the errorneous code or replacing it
with __builtin_trap) and partly to avoid emitting code that could be
potentially dangerous and even exploitable. Alexander Monakov gave a talk on
this topic at Cauldron 2018: https://www.youtube.com/watch?v=inDduOFEyew.
There was strong support for some solution along these lines during the
discussion there, so I think it's fair to acknowledge this enhancement request.
