[Bug tree-optimization/71433] [7 Regression] -Warray-bounds false positive with -O2

[rguenth at gcc dot gnu.org]

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

--- Comment #13 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ok, same reason but my "simple" two-predecessor "hack" doesn't get it because
we now have three...