This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/24141] [4.1 regression] VRP ICE in compare_name_with_value, at tree-vrp.c:2965
- From: "steven at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 30 Sep 2005 12:47:00 -0000
- Subject: [Bug tree-optimization/24141] [4.1 regression] VRP ICE in compare_name_with_value, at tree-vrp.c:2965
- References: <20050930093656.24141.rguenth@gcc.gnu.org>
- Reply-to: gcc-bugzilla 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