[Bug middle-end/98266] [11 Regression] bogus array subscript is partly outside array bounds on virtual inheritance

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

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

--- 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:f3daa6c0fd8d79ae45eac2dd0f274da1aa71c958

commit r11-7563-gf3daa6c0fd8d79ae45eac2dd0f274da1aa71c958
Author: Martin Sebor <mse...@redhat.com>
Date:   Mon Mar 8 13:37:21 2021 -0700

    PR middle-end/98266 - bogus array subscript is partly outside array bounds
on virtual inheritance

    gcc/ChangeLog:

            PR middle-end/98266
            * gimple-array-bounds.cc (inbounds_vbase_memaccess_p): New
function.
            (array_bounds_checker::check_array_bounds): Call it.

    gcc/testsuite/ChangeLog:

            PR middle-end/98266
            * g++.dg/warn/Warray-bounds-15.C: New test.
            * g++.dg/warn/Warray-bounds-18.C: New test.
            * g++.dg/warn/Warray-bounds-19.C: New test.
            * g++.dg/warn/Warray-bounds-20.C: New test.
            * g++.dg/warn/Warray-bounds-21.C: New test.