[Bug tree-optimization/99502] missing -Warray-bounds on partial out of bounds access in C++

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #1 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:30b10dacd0a8c926c22eab7d4aeb52ff86534acf

commit r11-7724-g30b10dacd0a8c926c22eab7d4aeb52ff86534acf
Author: Martin Sebor <mse...@redhat.com>
Date:   Thu Mar 18 13:36:09 2021 -0600

    PR middle-end/99502 - missing -Warray-bounds on partial out of bounds

    gcc/ChangeLog:

            PR middle-end/99502
            * gimple-array-bounds.cc (inbounds_vbase_memaccess_p): Rename...
            (inbounds_memaccess_p): ...to this.  Check the ending offset of
            the accessed member.

    gcc/testsuite/ChangeLog:

            PR middle-end/99502
            * g++.dg/warn/Warray-bounds-22.C: New test.
            * g++.dg/warn/Warray-bounds-23.C: New test.
            * g++.dg/warn/Warray-bounds-24.C: New test.