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/gimple-range-fold.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/gimple-range-fold.cc')
| -rw-r--r-- | gcc/gimple-range-fold.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc index addf3e7..4240825 100644 --- a/gcc/gimple-range-fold.cc +++ b/gcc/gimple-range-fold.cc @@ -544,7 +544,8 @@ fold_using_range::range_of_range_op (vrange &r, // Fold range, and register any dependency if available. Value_Range r2 (type); r2.set_varying (type); - handler.fold_range (r, type, range1, r2); + if (!handler.fold_range (r, type, range1, r2)) + r.set_varying (type); if (lhs && gimple_range_ssa_p (op1)) { if (src.gori ()) @@ -567,7 +568,8 @@ fold_using_range::range_of_range_op (vrange &r, fputc ('\n', dump_file); } // Fold range, and register any dependency if available. - handler.fold_range (r, type, range1, range2, rel); + if (!handler.fold_range (r, type, range1, range2, rel)) + r.set_varying (type); if (irange::supports_p (type)) relation_fold_and_or (as_a <irange> (r), s, src); if (lhs) |