]> git.ipfire.org Git - thirdparty/gcc.git/commit
Detect overflow by atomic functions [PR102453].
authorMartin Sebor <msebor@redhat.com>
Tue, 26 Oct 2021 20:34:16 +0000 (14:34 -0600)
committerMartin Sebor <msebor@redhat.com>
Tue, 26 Oct 2021 22:42:16 +0000 (16:42 -0600)
commit88b504b7a8c5affb0ffa97990d22af2b199e36ed
tree1518210385ea1d93a2eb30912565a2391f289dce
parent65f711203d6c2c2d1a4f90fc61cc074f87568827
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.
gcc/gimple-ssa-warn-access.cc
gcc/testsuite/c-c++-common/gomp/atomic-4.c
gcc/testsuite/gcc.dg/Warray-bounds-90.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wstringop-overflow-77.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wstringop-overflow-78.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wstringop-overflow-79.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/Wstringop-overflow-80.c [new file with mode: 0644]