------- 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
