OSDN Git Service

* c-common.h (warn_array_subscript_range): New function.
authorsimonb <simonb@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 1 May 2008 19:03:32 +0000 (19:03 +0000)
committersimonb <simonb@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 1 May 2008 19:03:32 +0000 (19:03 +0000)
commit98cb064a88338684234aeff8d4dca8b4768e6b35
tree9ed540dc4bc280eaffa691609aa5d92b79a62090
parent49698f189da3d0b50c33959fe9f59be8fc7d061e
    * c-common.h (warn_array_subscript_range): New function.
        * c-common.c (warn_array_subscript_range): Ditto.
        * tree-vrp.c (check_array_ref): Corrected code to agree with
        comment, ignoring only arrays of size 0 or size 1.
        * c-typeck.c (build_array_ref): Call warn_array_subscript_range.

        * testsuite/gcc.dg/Warray-bounds.c: Updated for frontend warnings,
        additional tests for arrays of size 0 and size 1.
        * testsuite/g++.dg/warn/Warray-bounds.c: Ditto.
        * testsuite/gcc.dg/Warray-bounds-noopt.c: New testcase.
        * testsuite/g++.dg/warn/Warray-bounds-noopt.c: Ditto.

        * typeck.c (build_array_ref): Call warn_array_subscript_range.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134865 138bc75d-0d04-0410-961f-82ee72b054a4
13 files changed:
gcc/ChangeLog
gcc/c-common.c
gcc/c-common.h
gcc/c-typeck.c
gcc/cp/ChangeLog
gcc/cp/typeck.c
gcc/doc/invoke.texi
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/warn/Warray-bounds-noopt.C [new file with mode: 0644]
gcc/testsuite/g++.dg/warn/Warray-bounds.C
gcc/testsuite/gcc.dg/Warray-bounds-noopt.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Warray-bounds.c
gcc/tree-vrp.c