diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-06-13 15:12:02 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-06-13 15:12:02 +0000 |
| commit | 72940ce475d297bdb8deda978096ba7888593800 (patch) | |
| tree | d7620c3d583ed70475ddfa861a04ff8f8a1a9b3e /libjava/classpath/java | |
| parent | 39854e56a1449ef8d902564b4eb04ad0f67606ea (diff) | |
| download | ppe42-gcc-72940ce475d297bdb8deda978096ba7888593800.tar.gz ppe42-gcc-72940ce475d297bdb8deda978096ba7888593800.zip | |
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
Diffstat (limited to 'libjava/classpath/java')
0 files changed, 0 insertions, 0 deletions
