diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-06-07 16:14:29 -0400 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-06-07 16:14:29 -0400 |
| commit | d039eef925878e41e3df1448cac6add51dba6333 (patch) | |
| tree | 1a5c49e4da85145efc2df196a13684932b539226 /gcc/analyzer/engine.cc | |
| parent | 70f26314b62e2d636b1f2d3db43e75abb026e535 (diff) | |
| download | gcc-d039eef925878e41e3df1448cac6add51dba6333.zip gcc-d039eef925878e41e3df1448cac6add51dba6333.tar.gz gcc-d039eef925878e41e3df1448cac6add51dba6333.tar.bz2 | |
analyzer: add logging to get_representative_path_var
This was very helpful when debugging the cast_region::m_original_region
removal, but is probably too verbose to enable except by hand on
specific calls to get_representative_tree.
gcc/analyzer/ChangeLog:
* engine.cc (impl_region_model_context::on_state_leak): Pass nullptr
to get_representative_path_var.
* region-model.cc (region_model::get_representative_path_var_1):
Add logger param and use it in both overloads.
(region_model::get_representative_path_var): Likewise.
(region_model::get_representative_tree): Likewise.
(selftest::test_get_representative_path_var): Pass nullptr to
get_representative_path_var.
* region-model.h (region_model::get_representative_tree): Add
optional logger param to both overloads.
(region_model::get_representative_path_var): Add logger param to
both overloads.
(region_model::get_representative_path_var_1): Likewise.
* store.cc (binding_cluster::get_representative_path_vars): Add
logger param and use it.
(store::get_representative_path_vars): Likewise.
* store.h (binding_cluster::get_representative_path_vars): Add
logger param.
(store::get_representative_path_vars): Likewise.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'gcc/analyzer/engine.cc')
| -rw-r--r-- | gcc/analyzer/engine.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 8b3706c..30c0913 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -903,7 +903,8 @@ impl_region_model_context::on_state_leak (const state_machine &sm, svalue_set visited; path_var leaked_pv = m_old_state->m_region_model->get_representative_path_var (sval, - &visited); + &visited, + nullptr); /* Strip off top-level casts */ if (leaked_pv.m_tree && TREE_CODE (leaked_pv.m_tree) == NOP_EXPR) |