diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2021-01-06 21:44:07 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2021-01-06 21:44:07 -0500 |
| commit | be6c485b24f2b47ac85380dd2bea025d353f1f91 (patch) | |
| tree | 2283d0408d31fa4edf81fb319fb88275dfb938f4 /gcc/analyzer/store.h | |
| parent | cffe6dd2ce358c2cb550c9fb3c57cec65eee1c93 (diff) | |
| download | gcc-be6c485b24f2b47ac85380dd2bea025d353f1f91.zip gcc-be6c485b24f2b47ac85380dd2bea025d353f1f91.tar.gz gcc-be6c485b24f2b47ac85380dd2bea025d353f1f91.tar.bz2 | |
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.
Diffstat (limited to 'gcc/analyzer/store.h')
| -rw-r--r-- | gcc/analyzer/store.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/analyzer/store.h b/gcc/analyzer/store.h index 2f97f4b..366439c 100644 --- a/gcc/analyzer/store.h +++ b/gcc/analyzer/store.h @@ -434,9 +434,11 @@ public: static bool can_merge_p (const binding_cluster *cluster_a, const binding_cluster *cluster_b, binding_cluster *out_cluster, + store *out_store, store_manager *mgr, model_merger *merger); void make_unknown_relative_to (const binding_cluster *other_cluster, + store *out_store, store_manager *mgr); void mark_as_escaped (); |