[Bug middle-end/102453] buffer overflow by atomic built-ins not diagnosed

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <msebor@gcc.gnu.org>:

https://gcc.gnu.org/g:88b504b7a8c5affb0ffa97990d22af2b199e36ed

commit r12-4725-g88b504b7a8c5affb0ffa97990d22af2b199e36ed
Author: Martin Sebor <msebor@redhat.com>
Date:   Tue Oct 26 14:34:16 2021 -0600

    Detect overflow by atomic functions [PR102453].

    Resolves:
    PR middle-end/102453 - buffer overflow by atomic built-ins not diagnosed

    gcc/ChangeLog:

            PR middle-end/102453
            * gimple-ssa-warn-access.cc (pass_waccess::check_atomic_builtin):
New.
            (pass_waccess::check_atomic_builtin): Call it.

    gcc/testsuite/ChangeLog:

            PR middle-end/102453
            * gcc.dg/Warray-bounds-90.c: New test.
            * gcc.dg/Wstringop-overflow-77.c: New test.
            * gcc.dg/Wstringop-overflow-78.c: New test.
            * gcc.dg/Wstringop-overflow-79.c: New test.
            * gcc.dg/Wstringop-overflow-80.c: New test.
            * c-c++-common/gomp/atomic-4.c: Avoid an out-of-bounds access.