This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/37305] [4.4 Regression] ice in set_value_range, at tree-vrp.c:397
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Sep 2008 11:02:16 -0000
- Subject: [Bug tree-optimization/37305] [4.4 Regression] ice in set_value_range, at tree-vrp.c:397
- References: <bug-37305-12544@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla 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