[Bug middle-end/95072] -Warray-bounds false positive with flexible array bounds (regression from GCC 9)

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
             Status|UNCONFIRMED                 |ASSIGNED
                 CC|                            |msebor at gcc dot gnu.org
   Last reconfirmed|                            |2020-05-12
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot 
gnu.org
     Ever confirmed|0                           |1
      Known to fail|                            |10.1.0
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=94985

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
Confirmed.  Possibly related to or duplicate of pr94985, or simply a bug in
level 2 of the warning when it uses the size of the accessed member even for
raw memory functions for memcpy (as opposed to using the whole object) but
neglects to take flexible array members into consideration.