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.

Reply via email to