This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/82296] Warn for code removal due to "code never accesses array out of bounds" assumption
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 22 Sep 2017 13:41:53 +0000
- Subject: [Bug c/82296] Warn for code removal due to "code never accesses array out of bounds" assumption
- Auto-submitted: auto-generated
- References: <bug-82296-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82296
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |jakub at gcc dot gnu.org
Resolution|--- |INVALID
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
We have a warning that handles the easiest counted loops, for anything else the
warning is too hard (could produce too many false positives).
Just use -fsanitize=undefined or other runtime instrumentation to find such
bugs.