PR tree-optimization/82588 - missing -Warray-bounds on a excessively large index
commit987b3316c4e7c908e3c7d2151c20971f9707ad66
authormsebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Nov 2017 16:12:36 +0000 (16 16:12 +0000)
committermsebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 16 Nov 2017 16:12:36 +0000 (16 16:12 +0000)
tree08a6c6319b08277f262d9f9a882dfbaa10a55ede
parent5d69e9ddb71931f7eaa72df755f438ea1c6f2f1a
PR tree-optimization/82588 - missing -Warray-bounds on a excessively large index
PR tree-optimization/82583 - missing -Warray-bounds on out-of-bounds inner indic

gcc/ChangeLog:

PR tree-optimization/82588
PR tree-optimization/82583
* tree-vrp.c (check_array_ref): Handle flexible array members,
string literals, and inner indices.
(search_for_addr_array): Add detail to diagnostics.

gcc/testsuite/ChangeLog:

PR tree-optimization/82588
PR tree-optimization/82583
* c-c++-common/Warray-bounds.c: New test.
* gcc.dg/Warray-bounds-11.c: Adjust.
* gcc.dg/Warray-bounds-22.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@254830 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/c-c++-common/Warray-bounds.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-11.c
gcc/testsuite/gcc.dg/Warray-bounds-22.c [new file with mode: 0644]
gcc/tree-vrp.c