https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85737
Ignacio Fernández Galván <jellby at yahoo dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jellby at yahoo dot com
--- Comment #2 from Ignacio Fernández Galván <jellby at yahoo dot com> ---
I hope "more extensive data flow analysis" could easily include simple
conditions involving the array index. (j > 4) is a pretty good indication that
j-3 > 1, at least to a human.
