[Bug analyzer/128186] analyzer: -Wanalyzer-use-after-free false negative when freed pointer is passed to memset/memcpy/strcpy

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2026-10-26
     Ever confirmed|0                           |1

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.  It's not intentional, it's a bug.

FWIW I'm working on a big rewrite of the internals of -fanalyzer for gcc 17
which I hope to land in trunk in the next week or so; I'll revisit this bug
after that.