diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2018-10-17 12:32:08 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2018-10-17 12:32:08 +0000 |
| commit | e8f1d5cb7c9fdf367a11bd939aac73d4e85265e5 (patch) | |
| tree | 7fdee50baaa6717bb3b591b17a353c31b9151921 /gcc/tree-vrp.c | |
| parent | fa6b20f32c28aa34efc3c0ab609303d8371b57dd (diff) | |
| download | gcc-e8f1d5cb7c9fdf367a11bd939aac73d4e85265e5.zip gcc-e8f1d5cb7c9fdf367a11bd939aac73d4e85265e5.tar.gz gcc-e8f1d5cb7c9fdf367a11bd939aac73d4e85265e5.tar.bz2 | |
tree-vrp.c (extract_range_from_multiplicative_op): Remove overflow wraps argument.
* tree-vrp.c (extract_range_from_multiplicative_op): Remove
overflow wraps argument.
(extract_range_from_binary_expr_1): Do not pass overflow wraps to
wide_int_range_multiplicative_op.
* wide-int-range.cc (wide_int_range_mult_wrapping): Remove
overflow wraps argument.
(wide_int_range_multiplicative_op): Same.
(wide_int_range_lshift): Same.
(wide_int_range_div): Same.
* wide-int-range.h (wide_int_range_multiplicative_op): Same.
(wide_int_range_lshift): Same.
(wide_int_range_div): Same.
From-SVN: r265238
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index c519613..0a42da7 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1003,13 +1003,12 @@ extract_range_from_multiplicative_op (value_range *vr, wide_int vr1_lb = wi::to_wide (vr1->min); wide_int vr1_ub = wi::to_wide (vr1->max); bool overflow_undefined = TYPE_OVERFLOW_UNDEFINED (type); - bool overflow_wraps = TYPE_OVERFLOW_WRAPS (type); unsigned prec = TYPE_PRECISION (type); if (wide_int_range_multiplicative_op (res_lb, res_ub, - code, TYPE_SIGN (type), prec, - vr0_lb, vr0_ub, vr1_lb, vr1_ub, - overflow_undefined, overflow_wraps)) + code, TYPE_SIGN (type), prec, + vr0_lb, vr0_ub, vr1_lb, vr1_ub, + overflow_undefined)) set_and_canonicalize_value_range (vr, VR_RANGE, wide_int_to_tree (type, res_lb), wide_int_to_tree (type, res_ub), NULL); @@ -1549,8 +1548,7 @@ extract_range_from_binary_expr_1 (value_range *vr, wi::to_wide (vr0.max), wi::to_wide (vr1.min), wi::to_wide (vr1.max), - TYPE_OVERFLOW_UNDEFINED (expr_type), - TYPE_OVERFLOW_WRAPS (expr_type))) + TYPE_OVERFLOW_UNDEFINED (expr_type))) { min = wide_int_to_tree (expr_type, res_lb); max = wide_int_to_tree (expr_type, res_ub); @@ -1595,7 +1593,6 @@ extract_range_from_binary_expr_1 (value_range *vr, dividend_min, dividend_max, divisor_min, divisor_max, TYPE_OVERFLOW_UNDEFINED (expr_type), - TYPE_OVERFLOW_WRAPS (expr_type), extra_range_p, extra_min, extra_max)) { set_value_range_to_varying (vr); |