[Bug tree-optimization/32100] [4.2/4.3 Regression] vrp bitfield miscompilation

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2007-05-26 21:42 -------
set_value_range_to_nonnegative returns true which is wrong as the range of
signed:1 is only [-1,0].


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32100