[Bug tree-optimization/59124] [5/6/7 Regression] Wrong warnings "array subscript is above array bounds"

[ppalka at gcc dot gnu.org]

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

--- Comment #44 from Patrick Palka <ppalka at gcc dot gnu.org> ---
(In reply to Szőts Ákos from comment #43)
> Yes, I can agree with this reasoning. However, when you remove either the
> "while" or the "if" statements, the warning disappears. I don't think they
> should have any influence on the array_size.

Hmm yeah it's rather flaky.  The warning depends on whether or not the compiler
unrolls the for loop.