diff options
| author | Martin Liska <mliska@suse.cz> | 2022-09-26 21:05:44 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-09-26 21:05:44 +0200 |
| commit | 3c527a35fa428b727807c81f1225a5e0025446c1 (patch) | |
| tree | 787e21d7bf8a1d85ac7b9ccee784909e85ebf61b /gcc/tree-data-ref.cc | |
| parent | c9c59aa19c0b7159636763294b7b0c87c696d675 (diff) | |
| parent | 7701ea4a70a5a5c0fd977da90a30ffc4f3f87617 (diff) | |
| download | gcc-3c527a35fa428b727807c81f1225a5e0025446c1.zip gcc-3c527a35fa428b727807c81f1225a5e0025446c1.tar.gz gcc-3c527a35fa428b727807c81f1225a5e0025446c1.tar.bz2 | |
Merge branch 'master' into devel/sphinx
Diffstat (limited to 'gcc/tree-data-ref.cc')
| -rw-r--r-- | gcc/tree-data-ref.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/tree-data-ref.cc b/gcc/tree-data-ref.cc index ff9327f..91bfb619d 100644 --- a/gcc/tree-data-ref.cc +++ b/gcc/tree-data-ref.cc @@ -594,7 +594,8 @@ compute_distributive_range (tree type, value_range &op0_range, if (result_range) { range_op_handler op (code, type); - op.fold_range (*result_range, type, op0_range, op1_range); + if (!op.fold_range (*result_range, type, op0_range, op1_range)) + result_range->set_varying (type); } /* The distributive property guarantees that if TYPE is no narrower @@ -642,7 +643,8 @@ compute_distributive_range (tree type, value_range &op0_range, range_op_handler op (code, ssizetype); bool saved_flag_wrapv = flag_wrapv; flag_wrapv = 1; - op.fold_range (wide_range, ssizetype, op0_range, op1_range); + if (!op.fold_range (wide_range, ssizetype, op0_range, op1_range)) + wide_range.set_varying (ssizetype);; flag_wrapv = saved_flag_wrapv; if (wide_range.num_pairs () != 1 || !range_int_cst_p (&wide_range)) return false; |