projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44997fe) | patch
tree-vrp.c (zero_nonzero_bits_from_vr): Make sure to always return true for constant...
authorRichard Guenther <rguenther@suse.de>
Fri, 5 Aug 2011 07:33:09 +0000 (07:33 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 5 Aug 2011 07:33:09 +0000 (07:33 +0000)
commit8b201bc546eac5bba84fe9daf7872a7b9803d9c0
tree8e3eb958094c78323b96a3c4e79bb3662e9d36d9tree
parent44997fe47870ee693dfda30d818d5aeee8a32b9bcommit | diff
tree-vrp.c (zero_nonzero_bits_from_vr): Make sure to always return true for constant integer ranges.

2011-08-05  Richard Guenther  <rguenther@suse.de>

* tree-vrp.c (zero_nonzero_bits_from_vr): Make sure to always
return true for constant integer ranges.
(extract_range_from_binary_expr_1): Simplify BIT_AND_EXPR and
BIT_IOR_EXPR handling.

* gcc.dg/tree-ssa/vrp51.c: Disable CCP.
* gcc.dg/tree-ssa/vrp52.c: Likewise.
* gcc.dg/tree-ssa/vrp53.c: Likewise.

From-SVN: r177423
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp51.c diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp52.c diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp53.c diff | blob | history
gcc/tree-vrp.c diff | blob | history