Fix PR 22018

[Diego Novillo]

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.


Diego.