[Bug analyzer/103526] -fanalyzer considers memcpy()ed and returned pointer to malloc()ed memory a memory leak

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2021-12-02
     Ever confirmed|0                           |1

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug.

It affects gcc 11.2: https://godbolt.org/z/focGvsesh
but is fixed in trunk for GCC 12 : https://godbolt.org/z/hc5f7vWPY

I've rewritten the pertinent parts of -fanalyzer's internals a fair amount for
GCC 12.

I'm working on adding the test case to our regression testsuite.