From de1b5c17fd1418f01f0a57d03023c21d888dc97c Mon Sep 17 00:00:00 2001 From: Martin Uecker Date: Tue, 13 Jan 2015 22:50:19 -0800 Subject: 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 --- gcc/tree-vrp.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'gcc/tree-vrp.c') 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; -- cgit v1.1