[Bug tree-optimization/24141] [4.1 regression] VRP ICE in compare_name_with_value, at tree-vrp.c:2965

[steven at gcc dot gnu dot org]

------- Additional Comments From steven at gcc dot gnu dot org  2005-09-30 12:59 -------
range_includes_zero_p (~[1,1]) is false: 
 
(gdb) step 
range_includes_zero_p (vr=0x7fbfffedd0) at tree-vrp.c:606 
606       gcc_assert (vr->type != VR_UNDEFINED 
(gdb) p vr 
$43 = (value_range_t *) 0x7fbfffedd0 
(gdb) p *vr 
$44 = {type = VR_ANTI_RANGE, min = 0x2a958a8750, max = 0x2a958a8750, equiv = 
0xe5d040} 
(gdb) p debug_generic_expr (vr->min) 
1 
$45 = void 
(gdb) p debug_generic_expr (vr->max) 
1 
$46 = void 
(gdb) p range_includes_zero_p(vr) 
$47 = 0 '\0' 
(gdb)      

-- 


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