[Bug analyzer/97074] -Wanalyzer-malloc-leak false positive when merging states

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

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

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:be6c485b24f2b47ac85380dd2bea025d353f1f91

commit r11-6513-gbe6c485b24f2b47ac85380dd2bea025d353f1f91
Author: David Malcolm <dmalc...@redhat.com>
Date:   Wed Jan 6 21:44:07 2021 -0500

    analyzer: fix false leak reports when merging states [PR97074]

    gcc/analyzer/ChangeLog:
            PR analyzer/97074
            * store.cc (binding_cluster::can_merge_p): Add "out_store" param
            and pass to calls to binding_cluster::make_unknown_relative_to.
            (binding_cluster::make_unknown_relative_to): Add "out_store"
            param.  Use it to mark base regions that are pointed to by
            pointers that become unknown as having escaped.
            (store::can_merge_p): Pass out_store to
            binding_cluster::can_merge_p.
            * store.h (binding_cluster::can_merge_p): Add "out_store" param.
            (binding_cluster::make_unknown_relative_to): Likewise.
            * svalue.cc (region_svalue::implicitly_live_p): New vfunc.
            * svalue.h (region_svalue::implicitly_live_p): New vfunc decl.

    gcc/testsuite/ChangeLog:
            PR analyzer/97074
            * gcc.dg/analyzer/pr97074.c: New test.