------- Comment #2 from pinskia at gcc dot gnu dot org 2007-05-26 21:38 -------
D.1532_3 = D.1531_2 != 0;
Found new range for D.1532_3: [0, +INF]
So we have a "signed int:1" which we get the wrong range for.
Confirmed, looking more into it.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2007-05-26 21:38:00
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32100
