| commit | 72940ce475d297bdb8deda978096ba7888593800 | |
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 13 Jun 2012 15:12:02 +0000 (13 15:12 +0000) | ||
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 13 Jun 2012 15:12:02 +0000 (13 15:12 +0000) | ||
| tree | d7620c3d583ed70475ddfa861a04ff8f8a1a9b3e | treesnapshot (tar.gz zip) |
| parent | 39854e56a1449ef8d902564b4eb04ad0f67606ea | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@188517 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@188517 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/tree-vrp.c | diffblobblamehistory |