| commit | 1e24c0c9ddebec28bc40cc0346d268480c710346 | |
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 11 Dec 2012 10:06:15 +0000 (11 10:06 +0000) | ||
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 11 Dec 2012 10:06:15 +0000 (11 10:06 +0000) | ||
| tree | 7cbb63bd058c4cb36880da81ecd6d37b2c1e99a6 | treesnapshot (tar.gz zip) |
| parent | 3d52839bc741976a6514456e0e8659409b24dc63 | commitdiff |
2012-12-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/55079
* tree-vrp.c (extract_range_from_binary_expr_1): Handle MAX/MIN_EXPR
for more cases.
(register_edge_assert_for_2): Register asserts for post-in/decrement
tests.
(check_array_ref): Dump what expression we emit array bound
warnings for.
(search_for_addr_array): Likewise.
* gcc.dg/Warray-bounds-9.c: New testcase.
* gcc.dg/Warray-bounds-10.c: Likewise.
* gcc.dg/tree-ssa/ssa-pre-1.c: Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194388 138bc75d-0d04-0410-961f-82ee72b054a4
PR tree-optimization/55079
* tree-vrp.c (extract_range_from_binary_expr_1): Handle MAX/MIN_EXPR
for more cases.
(register_edge_assert_for_2): Register asserts for post-in/decrement
tests.
(check_array_ref): Dump what expression we emit array bound
warnings for.
(search_for_addr_array): Likewise.
* gcc.dg/Warray-bounds-9.c: New testcase.
* gcc.dg/Warray-bounds-10.c: Likewise.
* gcc.dg/tree-ssa/ssa-pre-1.c: Adjust.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194388 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.dg/Warray-bounds-10.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/Warray-bounds-9.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |