diff options
| author | Alexander Ivchenko <alexander.ivchenko@intel.com> | 2015-01-28 14:16:01 +0300 |
|---|---|---|
| committer | Alexander Ivchenko <alexander.ivchenko@intel.com> | 2015-01-28 15:41:39 +0300 |
| commit | 63fd708bd182b50b37b9f64fa330458c9109380a (patch) | |
| tree | 2799a45bf3f48cd9f4039d79aa82b5c0b2189f6a /gcc-4.9/gcc/testsuite/gcc.dg/Warray-bounds-13.c | |
| parent | 866bd0b46cd84957df84e7a3e674d9777807b7f7 (diff) | |
| download | toolchain_gcc-63fd708bd182b50b37b9f64fa330458c9109380a.tar.gz toolchain_gcc-63fd708bd182b50b37b9f64fa330458c9109380a.tar.bz2 toolchain_gcc-63fd708bd182b50b37b9f64fa330458c9109380a.zip | |
[4.9] Fix bogus warnings about array-bounds.
2015-01-28 Ilya Enkovich <ilya.enkovich@intel.com>
PR tree-optimization/64277
* tree-ssa-loop-niter.c (record_nonwrapping_iv): Use base
range info when possible to refine estimation.
2015-01-27 Richard Biener <rguenther@suse.de>
PR tree-optimization/56273
PR tree-optimization/59124
PR tree-optimization/64277
* tree-vrp.c (vrp_finalize): Emit array-bound warnings only
from the first VRP pass.
* g++.dg/warn/Warray-bounds-6.C: New testcase.
* gcc.dg/Warray-bounds-12.c: Likewise.
* gcc.dg/Warray-bounds-13.c: Likewise.
Change-Id: I175b420a4c8150ecf986d477e4c51cbbff276c82
Signed-off-by: Alexander Ivchenko <alexander.ivchenko@intel.com>
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.dg/Warray-bounds-13.c')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/Warray-bounds-13.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/Warray-bounds-13.c b/gcc-4.9/gcc/testsuite/gcc.dg/Warray-bounds-13.c new file mode 100644 index 000000000..7b40a8388 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/Warray-bounds-13.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-O3 -Warray-bounds" } */ + +extern char *bar[17]; + +int foo(int argc, char **argv) +{ + int i; + int n = 0; + + for (i = 0; i < argc; i++) + n++; + + for (i = 0; i < argc; i++) + argv[i] = bar[i + n]; /* { dg-bogus "above array bounds" } */ + + return 0; +} |