------- 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
