------- Comment #12 from spop at gcc dot gnu dot org 2010-03-04 22:27 ------- We are building scalar evolutions that have no defined semantics: the initial value is variating in an inner loop.
{(2 + (integer(kind=4)) {0, +, 1}_5) * 5 + ((2 + (integer(kind=4)) {0, +, 1}_4) + -6), +, 6}_1 and {(2 + (integer(kind=4)) {0, +, 1}_5) * 5 + -5, +, 6}_1 in the following loop nest: (gdb) p debug_loops (1) loop_0 (header = 0, latch = 1, niter = ) { loop_1 (header = 3, latch = 14, niter = , upper_bound = 4, estimate = 4) { loop_4 (header = 6, latch = 11, niter = , upper_bound = 4294967296) { loop_5 (header = 8, latch = 9, niter = D.1652_117, upper_bound = 4294967296) { } } } } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42326