diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-08-15 10:45:41 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-08-15 10:45:41 +0000 |
| commit | c7cf3a9bb00b6d64ba0c0e0761f000758e9428a6 (patch) | |
| tree | 27fdae692670f7c23fb207aee69b134a4ec73128 /gcc/vr-values.c | |
| parent | eb2211e35713796c5899939d983d9e8c6d037e60 (diff) | |
Enforce canonicalization in value_range.
From-SVN: r274525
Diffstat (limited to 'gcc/vr-values.c')
| -rw-r--r-- | gcc/vr-values.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/vr-values.c b/gcc/vr-values.c index 3acbdf62a56..a87cb672e36 100644 --- a/gcc/vr-values.c +++ b/gcc/vr-values.c @@ -522,9 +522,9 @@ vr_values::extract_range_for_var_from_comparison_expr (tree var, vice-versa. Use set_and_canonicalize which does this for us. */ if (cond_code == LE_EXPR) - vr_p->set_and_canonicalize (VR_RANGE, min, max, vr_p->equiv ()); + vr_p->set (VR_RANGE, min, max, vr_p->equiv ()); else if (cond_code == GT_EXPR) - vr_p->set_and_canonicalize (VR_ANTI_RANGE, min, max, vr_p->equiv ()); + vr_p->set (VR_ANTI_RANGE, min, max, vr_p->equiv ()); else gcc_unreachable (); } @@ -596,7 +596,7 @@ vr_values::extract_range_for_var_from_comparison_expr (tree var, && vrp_val_is_max (max)) min = max = limit; - vr_p->set_and_canonicalize (VR_ANTI_RANGE, min, max, vr_p->equiv ()); + vr_p->set (VR_ANTI_RANGE, min, max, vr_p->equiv ()); } else if (cond_code == LE_EXPR || cond_code == LT_EXPR) { |