[Bug middle-end/84433] gcc 7 and before miscompile loop and remove exit due to incorrect range calculation

[marxin at gcc dot gnu.org]

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

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to acsawdey from comment #5)
> Very interesting ... the return can be added and the problem still exists.
> However changing the size of the array sA to be >= 16 makes the problem go
> away. Why is that?

Because there are 2 undefined behaviors: the missing return and access to array
which is out of bounds.