This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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.


Diego.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]