diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-06-20 12:00:20 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-06-20 12:00:20 +0000 |
| commit | a75f501709fc1562a96064688ca925d48562f131 (patch) | |
| tree | ae891f75a04882bf1c2ff53acc70ff8098a7b83d /libjava/sysdep/powerpc/locks.h | |
| parent | 942ee091499bdbd14e70b501038e739ebb48980b (diff) | |
| download | gcc-a75f501709fc1562a96064688ca925d48562f131.zip gcc-a75f501709fc1562a96064688ca925d48562f131.tar.gz gcc-a75f501709fc1562a96064688ca925d48562f131.tar.bz2 | |
re PR tree-optimization/30318 (VRP does not create ANTI_RANGEs on overflow)
2012-06-20 Richard Guenther <rguenther@suse.de>
PR tree-optimization/30318
* tree-vrp.c (range_int_cst_p): Do not reject overflowed
constants here.
(range_int_cst_singleton_p): But explicitely here.
(zero_nonzero_bits_from_vr): And here.
(extract_range_from_binary_expr_1): Re-implement PLUS_EXPR
to cover all cases we can perform arbitrary precision
arithmetic with double-ints.
(intersect_ranges): Handle adjacent anti-ranges.
* gcc.dg/tree-ssa/vrp69.c: New testcase.
From-SVN: r188827
Diffstat (limited to 'libjava/sysdep/powerpc/locks.h')
0 files changed, 0 insertions, 0 deletions