On Wed, Jul 25, 2012 at 12:21 PM, Marc Glisse wrote:
> Hello,
>
> here is a slight improvement to VRP for sum and difference of intervals.
> There are some things I left because I didn't understand them enough:
>
> * range_int_cst_p (&vr0): I thought it was always true by that time, but it
> isn't
Hello,
here is a slight improvement to VRP for sum and difference of intervals.
There are some things I left because I didn't understand them enough:
* range_int_cst_p (&vr0): I thought it was always true by that time, but
it isn't obvious
* TYPE_PRECISION (expr_type) <= HOST_BITS_PER_DOUBL
