diff options
| author | Martin Uecker <uecker@eecs.berkeley.edu> | 2015-01-13 22:50:19 -0800 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2015-01-13 23:50:19 -0700 |
| commit | de1b5c17fd1418f01f0a57d03023c21d888dc97c (patch) | |
| tree | 21b0cb6a9549584b52bb45238be9c976079b63c9 /gcc/tree-vrp.c | |
| parent | 2ca1ca6581aea9475feed78d5d4daafdb5d1ee3b (diff) | |
| download | gcc-de1b5c17fd1418f01f0a57d03023c21d888dc97c.zip gcc-de1b5c17fd1418f01f0a57d03023c21d888dc97c.tar.gz gcc-de1b5c17fd1418f01f0a57d03023c21d888dc97c.tar.bz2 | |
tree-vrp.c (check_array_ref): Emit more warnings for warn_array_bounds >= 2.
* tree-vrp.c (check_array_ref): Emit more warnings
for warn_array_bounds >= 2.
* common.opt: New option -Warray-bounds=.
* doc/invoke.texi: Document -Warray-bounds=.
* c.opt: New option -Warray-bounds=.
* gcc.dg/Warray-bounds-11.c: New test-case.
From-SVN: r219577
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index f3e1d3d..2e0b158 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6498,7 +6498,8 @@ check_array_ref (location_t location, tree ref, bool ignore_off_by_one) /* Accesses to trailing arrays via pointers may access storage beyond the types array bounds. */ base = get_base_address (ref); - if (base && TREE_CODE (base) == MEM_REF) + if ((warn_array_bounds < 2) + && base && TREE_CODE (base) == MEM_REF) { tree cref, next = NULL_TREE; |