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