https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98247
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|c |analyzer
Summary|gcc analyzer does not |RFE: detect Flexible Array
|detect Flexible Array |Member misuse in analyzer
|Member misuse |
Assignee|unassigned at gcc dot gnu.org |dmalcolm at gcc dot
gnu.org
CC| |dmalcolm at gcc dot gnu.org
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug.
-fanalyzer doesn't yet do bounds checking, but I hope to add it eventually, so
retitling this as an "RFE".
