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

[msebor@gcc.gnu.org]

Author: msebor
Date: Thu Jul 19 23:36:34 2018
New Revision: 262893

URL: https://gcc.gnu.org/viewcvs?rev=262893&root=gcc&view=rev
Log:
PR tree-optimization/84047 - missing -Warray-bounds on an out-of-bounds index into an array
PR tree-optimization/83776 - missing -Warray-bounds indexing past the end of a string literal

gcc/ChangeLog:

	PR tree-optimization/84047
	PR tree-optimization/83776
	* tree-vrp.c (vrp_prop::check_mem_ref): New function.
	(check_array_bounds): Call it.

gcc/testsuite/ChangeLog:

	PR tree-optimization/83776
	PR tree-optimization/84047
	* gcc.dg/Warray-bounds-29.c: New test.
	* gcc.dg/Warray-bounds-30.c: New test.
	* gcc.dg/Warray-bounds-31.c: New test.
	* gcc.dg/Warray-bounds-32.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-29.c
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-30.c
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-31.c
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-32.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c