r269785 - in /trunk/gcc: ChangeLog testsuite/Ch...

[msebor@gcc.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