https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108432
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|Analyzer fails to detect |RFE: analyzer could detect
|out-of-bounds issues within |out-of-bounds issues within
|loops |loops
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Retitling this to be an RFE, since handling these cases is an expansion of the
scope of -fanalyzer's bounds-checker.
