2018-02-12 Richard Sandiford <richard.sandiford@linaro.org>
commitdcb47b3d875c66c2c644132f2d5eef04a30ffd4a
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 13 Feb 2018 15:48:38 +0000 (13 15:48 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 13 Feb 2018 15:48:38 +0000 (13 15:48 +0000)
tree5f324b6586bb67d7c7022702e0076b23f29bc7e8
parent184fd0795369bf77bc0ffcc53d420a44d0f3b22e
2018-02-12  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
PR tree-optimization/84321
* tree-vrp.c (intersect_range_with_nonzero_bits): Fix VR_ANTI_RANGE
handling.  Also check whether the anti-range contains any values
that satisfy the mask; switch to a VR_RANGE if not.

gcc/testsuite/
PR tree-optimization/84321
* gcc.dg/pr84321.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@257629 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr84321.c [new file with mode: 0644]
gcc/tree-vrp.c