https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89720
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- Author: msebor Date: Mon Mar 18 23:48:50 2019 New Revision: 269785 URL: https://gcc.gnu.org/viewcvs?rev=269785&root=gcc&view=rev Log: PR tree-optimization/89720 - Spurious -Warray-bounds warning on a range with max < min gcc/ChangeLog: PR tree-optimization/89720 * tree-vrp.c (vrp_prop::check_mem_ref): Treat range with max < min more conservatively, the same as anti-range. gcc/testsuite/ChangeLog: PR tree-optimization/89720 * gcc.dg/Warray-bounds-42.c: New test. Added: trunk/gcc/testsuite/gcc.dg/Warray-bounds-42.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c
