http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55079
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-11 10:06:20 UTC --- Author: rguenth Date: Tue Dec 11 10:06:15 2012 New Revision: 194388 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194388 Log: 2012-12-11 Richard Biener <rguent...@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. Added: trunk/gcc/testsuite/gcc.dg/Warray-bounds-10.c trunk/gcc/testsuite/gcc.dg/Warray-bounds-9.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c