Protect second call to extract_range_from_multiplicative_op_1
commit47b6aec2503804f9bec048863c71bceb18975c39
authorrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Jan 2018 19:13:55 +0000 (4 19:13 +0000)
committerrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Jan 2018 19:13:55 +0000 (4 19:13 +0000)
treef8dd5a96b205ed25febcde0f5b42ffbbf44a7a00
parent56c4f422a7d03c4004acebe3224390ffbf364a95
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@256262 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-vrp.c