https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71433
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> --- Author: rguenth Date: Tue Jan 17 08:38:59 2017 New Revision: 244520 URL: https://gcc.gnu.org/viewcvs?rev=244520&root=gcc&view=rev Log: 2017-01-17 Richard Biener <rguent...@suse.de> PR tree-optimization/71433 * tree-vrp.c (register_new_assert_for): Merge same asserts on all incoming edges. (process_assert_insertions_for): Handle insertions at the beginning of BBs. * gcc.dg/Warray-bounds-20.c: New testcase. Added: trunk/gcc/testsuite/gcc.dg/Warray-bounds-20.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c