[Bug analyzer/117369] [14/15 Regression] False positive Wanalyzer-out-of-bounds fanalyzer warnings for sprintf to offset at -O1 and above

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117369

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[14/15/16 regression] False |[14/15 Regression] False
                   |positive                    |positive
                   |Wanalyzer-out-of-bounds     |Wanalyzer-out-of-bounds
                   |fanalyzer warnings for      |fanalyzer warnings for
                   |sprintf to offset at -O1    |sprintf to offset at -O1
                   |and above                   |and above

--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed on trunk for GCC 16 by the above patch.