diff options
author | Richard Guenther <rguenther@suse.de> | 2012-07-13 11:21:39 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-07-13 11:21:39 +0000 |
commit | e8f808b30e83bb6bfa8ff0984fb13b136b3bd4a1 (patch) | |
tree | bb828fb1d805b42eb14a3c239b82bce7717d3d6e /gcc/final.c | |
parent | c3e7ee4191ea60b02af9fff0ccc15d060961fde4 (diff) | |
download | gcc-e8f808b30e83bb6bfa8ff0984fb13b136b3bd4a1.zip gcc-e8f808b30e83bb6bfa8ff0984fb13b136b3bd4a1.tar.gz gcc-e8f808b30e83bb6bfa8ff0984fb13b136b3bd4a1.tar.bz2 |
re PR tree-optimization/53922 (VRP: semantic conflict between range_includes_zero_p and value_inside_range)
2012-07-13 Richard Guenther <rguenther@suse.de>
PR tree-optimization/53922
* tree-vrp.c (value_inside_range): Change prototype to take
min/max instead of value-range.
(range_includes_zero_p): Likewise. Return the result from
value_inside_range.
(extract_range_from_binary_expr_1): Adjust to handle dont-know
return value from range_includes_zero_p.
(extract_range_from_unary_expr_1): Likewise.
(compare_range_with_value): Likewise.
(vrp_meet_1): Likewise.
* gcc.dg/torture/pr53922.c: New testcase.
From-SVN: r189461
Diffstat (limited to 'gcc/final.c')
0 files changed, 0 insertions, 0 deletions