On 9/14/18 4:25 AM, Aldy Hernandez wrote:
> First, there's no sense handling !VR_RANGE and symbolics now that we've
> normalized the inputs.
>
> Second, even if we wrap around while calculating ABS, we at the least
> know the result is positive ;-). BTW, we've already handled ABS(-MIN)
> and -frapv by the time we get here, so we know we won't get nonsensical
> input.
>
> OK?
>
> curr.patch
>
> commit 6e874be13a0bd53811e095328c1d175723f11f84
> Author: Aldy Hernandez <al...@redhat.com>
> Date: Fri Sep 14 00:03:04 2018 +0200
>
> * tree-vrp.c (extract_range_from_unary_expr): Do not special case
> symbolics or VR_VARYING ranges for ABS_EXPR.
> * wide-int-range.cc (wide_int_range_abs): Return positive numbers
> when range will wrap.
OK.
jeff
