diff options
author | Andrew MacLeod <amacleod@redhat.com> | 2019-11-14 22:29:56 +0000 |
---|---|---|
committer | Andrew Macleod <amacleod@gcc.gnu.org> | 2019-11-14 22:29:56 +0000 |
commit | f674b4a72ad737d04807cd3d6c8270acba2e460b (patch) | |
tree | 8aa91338c0070dfad9ed2c62500209872f557f02 /gcc/tree-vrp.c | |
parent | 7c5890cc0a0ecea0e88cc39e9fba6385fb579e61 (diff) |
Change fold_range to return a boolean result.
2019-11-14 Andrew MacLeod <amacleod@redhat.com>
* range-op.h (range_operator::fold_range): Return a bool.
* range-op.cc (range_operator::wi_fold): Assert supported type.
(range_operator::fold_range): Assert supported type and return true.
(operator_equal::fold_range): Return true.
(operator_not_equal::fold_range): Same.
(operator_lt::fold_range): Same.
(operator_le::fold_range): Same.
(operator_gt::fold_range): Same.
(operator_ge::fold_range): Same.
(operator_plus::op1_range): Adjust call to fold_range.
(operator_plus::op2_range): Same.
(operator_minus::op1_range): Same.
(operator_minus::op2_range): Same.
(operator_exact_divide::op1_range): Same.
(operator_lshift::fold_range): Return true and adjust fold_range call.
(operator_rshift::fold_range): Same.
(operator_cast::fold_range): Return true.
(operator_logical_and::fold_range): Same.
(operator_logical_or::fold_range): Same.
(operator_logical_not::fold_range): Same.
(operator_bitwise_not::fold_range): Adjust call to fold_range.
(operator_bitwise_not::op1_range): Same.
(operator_cst::fold_range): Return true.
(operator_identity::fold_range): Return true.
(operator_negate::fold_range): Return true and adjust fold_range call.
(operator_addr_expr::fold_range): Return true.
(operator_addr_expr::op1_range): Adjust call to fold_range.
(range_cast): Same.
* tree-vrp.c (range_fold_binary_symbolics_p): Adjust call to fold_range.
(range_fold_unary_symbolics_p): Same.
From-SVN: r278266
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r-- | gcc/tree-vrp.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index ff66bed4b03..bbcf237a925 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -1185,8 +1185,7 @@ range_fold_binary_symbolics_p (value_range *vr, value_range vr0_cst (*vr0), vr1_cst (*vr1); vr0_cst.normalize_symbolics (); vr1_cst.normalize_symbolics (); - op->fold_range (*vr, expr_type, vr0_cst, vr1_cst); - return true; + return op->fold_range (*vr, expr_type, vr0_cst, vr1_cst); } return false; } @@ -1221,8 +1220,7 @@ range_fold_unary_symbolics_p (value_range *vr, const range_operator *op = get_range_op_handler (vr, code, expr_type); value_range vr0_cst (*vr0); vr0_cst.normalize_symbolics (); - op->fold_range (*vr, expr_type, vr0_cst, value_range (expr_type)); - return true; + return op->fold_range (*vr, expr_type, vr0_cst, value_range (expr_type)); } return false; } |