Protect second call to extract_range_from_multiplicative_op_1
authorRichard Sandiford <richard.sandiford@linaro.org>
Thu, 4 Jan 2018 19:13:55 +0000 (19:13 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Thu, 4 Jan 2018 19:13:55 +0000 (19:13 +0000)
commit1e678f69f7dc995a55d2cf0b4a10ffce88c0f776
treef8dd5a96b205ed25febcde0f5b42ffbbf44a7a00
parent682820ccf9880204310cef67a7bfb2f9923bb702
Protect second call to extract_range_from_multiplicative_op_1

Following on from:

        * tree-vrp.c (extract_range_from_multiplicative_op_1): Assert
        for VR_RANGE only; don't allow VR_ANTI_RANGE.
        (extract_range_from_binary_expr_1): Don't call
        extract_range_from_multiplicative_op_1 if !range_int_cst_p.

there was a later call to extract_range_from_multiplicative_op_1 too,
that used a negative test for a symbolic (!is_gimple_min_invariant)
range rather than a positive test for an integer range.

2017-11-04  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* 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.

From-SVN: r256262
gcc/ChangeLog
gcc/tree-vrp.c