--- Comment #2 from rakdver at gcc dot gnu dot org 2007-03-06 15:31 ---
(In reply to comment #1)
> and so on. since it definitely writes more than 5 ints, I don't see how it
> should *not* overflow the array.
since the body of the loop is never entered.
--
http://gcc.gnu.org/bugzi
--- Comment #1 from mueller at gcc dot gnu dot org 2007-03-06 15:22 ---
after prefetch-loop-arrays run, vrp2 looks like this:
:;
D.1885_87 = &r_4(D)->sig[i_13];
D.1886_88 = D.1885_87 + 160B;
__builtin_prefetch (D.1886_88, 1);
r_4(D)->sig[i_13] = 0;
i_8 = i_13 + 1;
i_26 = i_
