diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2022-09-21 16:15:02 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2022-09-22 14:48:28 -0400 |
| commit | 2f92f685da2ef9e82ee6262519919180df8f2dd9 (patch) | |
| tree | ae1e971cdb3c1b762e97f5b5ab1484f2b3bb4b49 /gcc/value-query.cc | |
| parent | be2a25adbdc76a770f7470cc9f47892f7a4139ae (diff) | |
| download | gcc-2f92f685da2ef9e82ee6262519919180df8f2dd9.zip gcc-2f92f685da2ef9e82ee6262519919180df8f2dd9.tar.gz gcc-2f92f685da2ef9e82ee6262519919180df8f2dd9.tar.bz2 | |
Always check the return value of fold_range.
The fold_range routine in range-ops returns FALSE if the operation
fails. There are a few places which assume the operation was
successful. Fix those.
* gimple-range-fold.cc (range_of_range_op): Set result to
VARYING if the call to fold_range fails.
* tree-data-ref.cc (compute_distributive_range): Ditto.
* tree-vrp.cc (range_fold_binary_expr): Ditto.
(range_fold_unary_expr): Ditto.
* value-query.cc (range_query::get_tree_range): Ditto.
Diffstat (limited to 'gcc/value-query.cc')
| -rw-r--r-- | gcc/value-query.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index 0bdd670..296784b 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -252,7 +252,8 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt) Value_Range r1 (TREE_TYPE (TREE_OPERAND (expr, 1))); range_of_expr (r0, TREE_OPERAND (expr, 0), stmt); range_of_expr (r1, TREE_OPERAND (expr, 1), stmt); - op.fold_range (r, type, r0, r1); + if (!op.fold_range (r, type, r0, r1)) + r.set_varying (type); } else r.set_varying (type); @@ -268,7 +269,8 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt) Value_Range r1 (type); r1.set_varying (type); range_of_expr (r0, TREE_OPERAND (expr, 0), stmt); - op.fold_range (r, type, r0, r1); + if (!op.fold_range (r, type, r0, r1)) + r.set_varying (type); } else r.set_varying (type); |