mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 13:51:00 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree-vrp.c (extract_range_from_unary_expr): Do not special case symbolics or VR_VARYING ranges for ABS_EXPR.

Browse Source 
* 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
This commit is contained in:
Aldy Hernandez 2018-09-17 06:07:52 +00:00 committed by Aldy Hernandez
parent baeab78db2
commit 3cc2fdfd93
3 changed files with 13 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2018-09-17 Aldy Hernandez <aldyh@redhat.com>
* 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.
2018-09-15 Eric Botcazou <ebotcazou@adacore.com>
PR middle-end/86864

5
gcc/tree-vrp.c
View File

@ -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);

9
gcc/wide-int-range.cc
View File

@ -728,10 +728,13 @@ wide_int_range_abs (wide_int &min, wide_int &max,
}
/* If the new range has its limits swapped around (MIN > MAX), then
the operation caused one of them to wrap around, mark the new
range VARYING. */
the operation caused one of them to wrap around. The only thing
we know is that the result is positive. */
if (wi::gt_p (min, max, sign))
return false;
{
min = wi::zero (prec);
max = max_value;
}
return true;
}