]> git.ipfire.org Git - thirdparty/gcc.git/commit
Avoid expecting nonzero size for access none void* arguments [PR101751].
authorMartin Sebor <msebor@redhat.com>
Thu, 9 Dec 2021 18:24:14 +0000 (11:24 -0700)
committerMartin Sebor <msebor@redhat.com>
Thu, 9 Dec 2021 18:28:43 +0000 (11:28 -0700)
commit9eeca99ccce4b56765920bd3c839abb77bbd4280
tree39539227311170d470b6c68e6fbb6ec331248182
parenta2c12cb70892d82506b3044c4c34f5667eb12835
Avoid expecting nonzero size for access none void* arguments [PR101751].

Resolves:
PR middle-end/101751 - attribute access none with void pointer expects nonzero size

gcc/ChangeLog:

PR middle-end/101751
* doc/extend.texi (attribute access): Adjust.
* gimple-ssa-warn-access.cc (pass_waccess::maybe_check_access_sizes):
Treat access mode none on a void* argument as expecting as few as
zero bytes.

gcc/testsuite/ChangeLog:

PR middle-end/101751
* gcc.dg/Wstringop-overflow-86.c: New test.
gcc/doc/extend.texi
gcc/gimple-ssa-warn-access.cc
gcc/testsuite/gcc.dg/Wstringop-overflow-86.c [new file with mode: 0644]