projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62e1226) | patch
re PR tree-optimization/84321 (ice in intersect_range_with_nonzero_bits, at tree...
authorRichard Sandiford <richard.sandiford@linaro.org>
Tue, 13 Feb 2018 15:48:38 +0000 (15:48 +0000)
committerJeff Law <law@gcc.gnu.org>
Tue, 13 Feb 2018 15:48:38 +0000 (08:48 -0700)
commitff67aff425f2ea1e8c4608783e17eb48556d53e0
tree5f324b6586bb67d7c7022702e0076b23f29bc7e8tree
parent62e12268e613eff1b267f4c2538f2b7211067ecccommit | diff
re PR tree-optimization/84321 (ice in intersect_range_with_nonzero_bits, at tree-vrp.c:213)

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.

From-SVN: r257629
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/pr84321.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history