[Bug middle-end/63213] -Warray-bounds false positive with -O3

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

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

Andrew Pinski  changed:

   What|Removed |Added

 Resolution|--- |FIXED
   Target Milestone|--- |8.0
 Status|UNCONFIRMED |RESOLVED

--- Comment #4 from Andrew Pinski  ---
This was just execusive unrolling of the two loops:

while(p[ps1-1].y == cury)
ps1--;
while(p[ps2+1].y == cury)
ps2++;
That was fixed in GCC 8.

[Bug middle-end/63213] -Warray-bounds false positive with -O3

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener  ---
Not fixed by loop header copying earlier.

[Bug middle-end/63213] -Warray-bounds false positive with -O3

[mpolacek at gcc dot gnu.org]

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

Marek Polacek  changed:

   What|Removed |Added

 CC||mpolacek at gcc dot gnu.org
  Component|c   |middle-end

--- Comment #2 from Marek Polacek  ---
I'm pretty sure this is a dupe, we have many -Warray-bounds bugs.