projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31e3bc1) | patch
tree-vrp.c (vrp_meet): Properly meet equivalent ranges.
authorRichard Guenther <rguenther@suse.de>
Wed, 13 Jun 2012 15:12:02 +0000 (15:12 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 13 Jun 2012 15:12:02 +0000 (15:12 +0000)
commitcf35667e2312efe4cca3226a7c5a03dc1bc9e5fb
treed7620c3d583ed70475ddfa861a04ff8f8a1a9b3etree
parent31e3bc1b6c6bffd7785e223cf7b70203d71ff08fcommit | diff
tree-vrp.c (vrp_meet): Properly meet equivalent ranges.

2012-06-13  Richard Guenther  <rguenther@suse.de>

* tree-vrp.c (vrp_meet): Properly meet equivalent ranges.
Handle meeting two VR_RANGE to an VR_ANTI_RANGE.  Implement
all possible meetings of VR_RANGE with VR_ANTI_RANGE and
VR_ANTI_RANGE with VR_ANTI_RANGE.

From-SVN: r188517
gcc/ChangeLog diff | blob | history
gcc/tree-vrp.c diff | blob | history