------- Comment #3 from rguenth at gcc dot gnu dot org 2008-09-01 11:02 ------- Grrr, this crap "overflow infinity" hits again... we try to set the value-range to [-INF, -INF(OVF)].
Which is because the overflow flag is set on -2147483647 in the assert expression ASSERT_EXPR <D.1628_23, D.1628_23 < -2147483647>. Which is because propagating constants in l_30_1 = 4294967295; l_30.0_3 = (int) l_30_1; causes l_30.0_3 to become -1(OVF). Duh. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37305
