· Richard Guenther <rguenther@suse.de>
authorDirk Mueller <dmueller@suse.de>
Thu, 18 Jan 2007 13:00:33 +0000 (13:00 +0000)
committerDirk Mueller <mueller@gcc.gnu.org>
Thu, 18 Jan 2007 13:00:33 +0000 (13:00 +0000)
commit590b1f2d1f60b909e45e9b47f8a3e71a608dee20
tree2d86bde5e9f2aefe4b2d4556eac1f4327318abb4
parenteedeea04da0bbdf7e975a31c9c55f3929657b909
· Richard Guenther <rguenther@suse.de>

2007-01-18  Dirk Mueller  <dmueller@suse.de>
·           Richard Guenther <rguenther@suse.de>

·       PR diagnostic/8268
·       * doc/invoke.texi (Warray-bounds): Document -Warray-bounds.
·       * common.opt (Warray-bounds): Add new warning option.
·       * c-opts.c (c_common_handle_option): Define -Warray-bounds
·       if -Wall is given.
        * Makefile.in: make tree-vrp.o depend on toplev.h
·       * tree-vrp.c (vrp_finalize): Call check_array_refs if -Warray-bounds
·       is enabled.
·       (check_array_refs, check_array_bounds, check_array_ref): New.

·       * gcc.dg/Warray-bounds.c: New testcase.
        * gcc.dg/Warray-bounds-2.c: New testcase.
        * g++.dg/warn/Warray-bounds.C: New testcase.
        * g++.dg/warn/Warray-bounds-2.C: New testcase.

From-SVN: r120898
gcc/ChangeLog
gcc/Makefile.in
gcc/c-opts.c
gcc/common.opt
gcc/doc/invoke.texi
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/warn/Warray-bounds-2.C [new file with mode: 0644]
gcc/testsuite/g++.dg/warn/Warray-bounds.C [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds.c [new file with mode: 0644]
gcc/tree-vrp.c