This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/31169] Bootstrap comparison error at revision 122821
- From: "dave at hiauly1 dot hia dot nrc dot ca" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 27 Mar 2007 23:58:29 -0000
- Subject: [Bug tree-optimization/31169] Bootstrap comparison error at revision 122821
- References: <bug-31169-276@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #31 from dave at hiauly1 dot hia dot nrc dot ca 2007-03-28 00:58 -------
Subject: Re: Bootstrap comparison error at revision 122821
> /* If we have a RSHIFT_EXPR with a possibly negative shift
> count or an anti-range shift count drop to VR_VARYING.
> We currently cannot handle the overflow cases correctly. */
> if (code == RSHIFT_EXPR
> && (vr1.type == VR_ANTI_RANGE
> || !vrp_expr_computes_nonnegative (op1, &sop)))
> {
> set_value_range_to_varying (vr);
> return;
> }
>
> we make sure neither vr0 nor vr1 are anti-ranges and vr1 is >= 0.
Don't see the check to make sure vr0 isn't an anti-range. It
was eliminated by the hunk 3 change.
Dave
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31169