[Bug middle-end/94940] [10/11 Regression] spurious -Warray-bounds for a zero length array member of union since r10-4300-g49fb45c81f4ac068

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 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:3956244c58acceebf1ef2cf9a63e99f0f82abcb7

commit r11-469-g3956244c58acceebf1ef2cf9a63e99f0f82abcb7
Author: Martin Sebor <mse...@redhat.com>
Date:   Mon May 18 15:07:48 2020 -0600

    PR middle-end/94940 - spurious -Warray-bounds for a zero length array
member of union

    gcc/testsuite/ChangeLog:

            PR middle-end/94940
            * gcc.dg/Warray-bounds-61.c: New test.

    gcc/ChangeLog:

            PR middle-end/94940
            * tree-vrp.c (vrp_prop::check_mem_ref): Remove unreachable code.
            * tree.c (component_ref_size): Correct the handling or array
members
            of unions.
            Drop a pointless test.
            Rename a local variable.