diff options
| author | Richard Guenther <rguenther@suse.de> | 2007-01-08 11:20:00 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-01-08 11:20:00 +0000 |
| commit | 31ab1cc9db34ff449b8a72a2e856b9f5edcab7fa (patch) | |
| tree | 27fe13c00c2f39209cfd47f2e65d6c869e76737f /libjava/classpath/java/sql | |
| parent | 151e6f2437deb05a6080f0710b4e52f57d74be95 (diff) | |
| download | gcc-31ab1cc9db34ff449b8a72a2e856b9f5edcab7fa.zip gcc-31ab1cc9db34ff449b8a72a2e856b9f5edcab7fa.tar.gz gcc-31ab1cc9db34ff449b8a72a2e856b9f5edcab7fa.tar.bz2 | |
re PR tree-optimization/23603 (VRP does not say range for a in a = b == c; is [0,1])
2007-01-08 Richard Guenther <rguenther@suse.de>
PR tree-optimization/23603
* tree-vrp.c (set_value_range_to_truthvalue): New function.
(extract_range_from_binary): Fall back to truthvalue instead of
varying for TRUTH_*_EXPR.
(extract_range_from_comparison): Fall back to truthvalue instead of
varying.
(vrp_visit_phi_node): Don't adjust new range bounds to +INF/-INF
if all visited PHI values were constant.
* gcc.dg/tree-ssa/vrp31.c: New testcase.
* gcc.dg/tree-ssa/vrp32.c: Likewise.
From-SVN: r120578
Diffstat (limited to 'libjava/classpath/java/sql')
0 files changed, 0 insertions, 0 deletions