https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50584
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Last reconfirmed|2015-07-03 00:00:00 |2020-5-19 Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org --- Comment #15 from Martin Sebor <msebor at gcc dot gnu.org> --- GCC 10 introduced attribute access to associate a pointer argument with a size of the object it points to. Although the GCC 10 implementation of the attribute cannot express the same relationship for VLA arguments, conceptually, it should only take a small extension to do it. I plan to work on it for GCC 11.