diff options
| author | Martin Sebor <msebor@redhat.com> | 2018-08-23 19:39:18 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2018-08-23 13:39:18 -0600 |
| commit | 6906ea8b518ac22b31df5d11d27a82c6f01850ca (patch) | |
| tree | b843d02271300b67436fed1de845982840335951 | |
| parent | 464c1bd8341d0b06ab4f819e434f3db1350bce3c (diff) | |
| download | gcc-6906ea8b518ac22b31df5d11d27a82c6f01850ca.zip gcc-6906ea8b518ac22b31df5d11d27a82c6f01850ca.tar.gz gcc-6906ea8b518ac22b31df5d11d27a82c6f01850ca.tar.bz2 | |
PR tree-optimization/87072 - false warning: array subscript is above array bounds
gcc/testsuite/ChangeLog:
* gcc.dg/Warray-bounds-35.c: New test.
From-SVN: r263822
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/Warray-bounds-35.c | 15 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bf2295b..e83279f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-08-23 Martin Sebor <msebor@redhat.com> + + PR tree-optimization/87072 + * gcc.dg/Warray-bounds-35.c: New test. + 2018-08-23 Richard Biener <rguenther@suse.de> PR middle-end/87024 diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-35.c b/gcc/testsuite/gcc.dg/Warray-bounds-35.c new file mode 100644 index 0000000..b3ad362 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Warray-bounds-35.c @@ -0,0 +1,15 @@ +/* PR tree-optimization/87072 - g++6.2.0 false warning: array subscript + is above array bounds, with misleading line number + { dg-do compile } + { dg-options "-O3 -Wall" } */ + +int a[10]; + +void f (unsigned n) +{ + for (unsigned j = 0; j < n; j++) { + for (unsigned k = 0; k < j; k++) + a[j] += k; /* { dg-bogus "\\\[-Warray-bounds]" } */ + a[j] += j; + } +} |