[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:46 -------
Hmmm... vrp_meet merges ~[1,1] and [1,1] to [0,0]: 
 
3489              vrp_meet (&vr_result, &vr_arg); 
(gdb) p vr_result 
$21 = {type = VR_ANTI_RANGE, min = 0x2a958a8750, max = 0x2a958a8750, equiv = 
0xe5d040} 
(gdb) p vr_arg 
$22 = {type = VR_RANGE, min = 0x2a958a8750, max = 0x2a958a8750, equiv = 0x0} 
(gdb) p debug_generic_expr (vr_result.min) 
1 
$23 = void 
(gdb) next 
3491              if (vr_result.type == VR_VARYING) 
(gdb) p vr_result 
$24 = {type = VR_ANTI_RANGE, min = 0x2a958a8720, max = 0x2a958a8720, equiv = 
0xe5d040} 
(gdb) p debug_generic_expr (vr_result.min) 
0 
$25 = void 
 
 
 

-- 


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