diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 26d9210..b981ff4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-01-04 Richard Sandiford <richard.sandiford@linaro.org> + + * tree-vrp.c (extract_range_from_binary_expr_1): Check + range_int_cst_p rather than !symbolic_range_p before calling + extract_range_from_multiplicative_op_1. + 2017-01-04 Jeff Law <law@redhat.com> * tree-ssa-math-opts.c (execute_cse_reciprocals_1): Remove diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index e6f04bb..69762ab 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2042,7 +2042,7 @@ extract_range_from_binary_expr_1 (value_range *vr, return; } } - else if (!symbolic_range_p (&vr0) && !symbolic_range_p (&vr1)) + else if (range_int_cst_p (&vr0) && range_int_cst_p (&vr1)) { extract_range_from_multiplicative_op_1 (vr, code, &vr0, &vr1); return; |