------- Comment #5 from rguenth at gcc dot gnu dot org 2006-06-18 10:58 -------
operand_equal_p (bD.1525.valD.1524, (long intD.2) bD.1525.valD.1524, 0)
is true. make_range preserved the cast to (long int) for a reason, though.
If we fix operand_equal_p, we no longer fold the test, but keep
if (-(long int) b.val <= 1073741823 && -(long int) b.val >= -1073741824)
{
return 0;
}
abort ();
so, I have a patch.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2006-06-18 10:58:42
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28045
