This is the mail archive of the
mailing list for the GCC project.
Re: Fix PR 22018
On Wed, Jun 15, 2005 at 09:23:42AM -0700, Richard Henderson wrote:
> [0,30678313] * [1073741789,1073741789]
> If you just look at the products of the end points, you'll think
> the resulting range is just [0,869], which is clearly incorrect.
On return from this function, we'll notice that the new MAX (869)
has overflowed and we'll set the range to VARYING. See the
MULT_EXPR handler in extract_range_from_binary_expr.