https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101751
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Martin Sebor <mse...@gcc.gnu.org>: https://gcc.gnu.org/g:9eeca99ccce4b56765920bd3c839abb77bbd4280 commit r12-5870-g9eeca99ccce4b56765920bd3c839abb77bbd4280 Author: Martin Sebor <mse...@redhat.com> Date: Thu Dec 9 11:24:14 2021 -0700 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.