[Bug analyzer/106626] Improvements to wording of -Wanalyzer-out-of-bounds

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106626

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:23e8c0b0d99f585499baddda70af6a8b26f49bea

commit r13-2054-g23e8c0b0d99f585499baddda70af6a8b26f49bea
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Aug 15 14:47:03 2022 -0400

    analyzer: fix direction of -Wanalyzer-out-of-bounds note [PR106626]

    Fix a read/write typo.

    Also, add more test coverage of -Wanalyzer-out-of-bounds to help
    establish a baseline for experiments on tweaking the wording of
    the warning (PR analyzer/106626).

    gcc/analyzer/ChangeLog:
            PR analyzer/106626
            * region-model.cc (buffer_overread::emit): Fix copy&paste error in
            direction of the access in the note.

    gcc/testsuite/ChangeLog:
            PR analyzer/106626
            * gcc.dg/analyzer/out-of-bounds-read-char-arr.c: New test.
            * gcc.dg/analyzer/out-of-bounds-read-int-arr.c: New test.
            * gcc.dg/analyzer/out-of-bounds-write-char-arr.c: New test.
            * gcc.dg/analyzer/out-of-bounds-write-int-arr.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>