[Bug tree-optimization/86613] missing -Warray-bounds on a wide string access due to ccp folding

["msebor at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Fri Jul 20 16:38:43 2018
New Revision: 262906

URL: https://gcc.gnu.org/viewcvs?rev=262906&root=gcc&view=rev
Log:
PR tree-optimization/86613 - missing -Warray-bounds on a wide string access due
to ccp folding
PR tree-optimization/86611 - missing -Warray-bounds on a large negative index
into a string in lp64

gcc/testsuite/ChangeLog:
        * gcc/testsuite/c-c++-common/Warray-bounds-2.c: Undefine macros and
        prune duplicate warnings.
        * gcc/testsuite/gcc.dg/Warray-bounds-31.c: Xfail test cases with
        data-model-dependencies.
        * gcc/testsuite/gcc.dg/Warray-bounds-32.c: Ditto.


Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/c-c++-common/Warray-bounds-2.c
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-31.c
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-32.c