[Bug tree-optimization/37305] [4.4 Regression] ice in set_value_range, at tree-vrp.c:397

[rguenth at gcc dot gnu dot org]

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