[Bug tree-optimization/84047] [6/7/8/9 Regression] missing -Warray-bounds on an out-of-bounds index into an array

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84047

--- Comment #8 from Martin Sebor <msebor at gcc dot 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