diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2018-09-17 06:07:52 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2018-09-17 06:07:52 +0000 |
| commit | 3cc2fdfd93efaf1b2e8bcffe84c20cbd1ffc4e96 (patch) | |
| tree | e72c89dd0e3f762a7eb72076ece671dca4277395 /gcc/tree-vrp.c | |
| parent | baeab78db263853f098a549655793b49ff815476 (diff) | |
| download | gcc-3cc2fdfd93efaf1b2e8bcffe84c20cbd1ffc4e96.zip gcc-3cc2fdfd93efaf1b2e8bcffe84c20cbd1ffc4e96.tar.gz gcc-3cc2fdfd93efaf1b2e8bcffe84c20cbd1ffc4e96.tar.bz2 | |
tree-vrp.c (extract_range_from_unary_expr): Do not special case symbolics or VR_VARYING ranges for ABS_EXPR.
* 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.
From-SVN: r264356
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 1adb919..622ccbc 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1894,11 +1894,6 @@ extract_range_from_unary_expr (value_range *vr, } else if (code == ABS_EXPR) { - if (vr0.type != VR_RANGE || symbolic_range_p (&vr0)) - { - set_value_range_to_varying (vr); - return; - } wide_int wmin, wmax; wide_int vr0_min, vr0_max; extract_range_into_wide_ints (&vr0, sign, prec, vr0_min, vr0_max); |