[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Bug tree-optimization/31169] Bootstrap comparison error at revision 122821




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

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.



Reply to: