http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58146
Mikael Morin <mikael at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mikael at gcc dot gnu.org
--- Comment #4 from Mikael Morin <mikael at gcc dot gnu.org> ---
(In reply to Thomas Koenig from comment #0)
> neither does it do so with -fcheck=all at runtime:
>
There is no out of bound at run time because the scalarizer sets the loop
bounds according to the array providing the most information; in this case the
constant array of size 3, so that the loop has only 3 iterations.
