https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84397
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |diagnostic
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=84395
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
This is probably due to the same underlying problem as bug 84395. The checker
computes the remaining space in the outermost object (via compute_objsize)
instead of figuring out the size of the referenced array.
