https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111567
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Perhaps a lot of this could be handled by teaching the analyzer about the .ACCESS_WITH_SIZE internal func (that wraps an access, annotating it with size info)
