diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-01-06 11:43:36 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-01-07 19:05:16 -0500 |
| commit | 11a2ff8d981110e1562caf7d98e41c1ff2e76056 (patch) | |
| tree | 227af1645d64a2e47f0e051b34f5661f460901c1 /gcc/analyzer/store.h | |
| parent | 4409152a4acaec5b58a93996088d0df9aaa779b8 (diff) | |
| download | gcc-11a2ff8d981110e1562caf7d98e41c1ff2e76056.zip gcc-11a2ff8d981110e1562caf7d98e41c1ff2e76056.tar.gz gcc-11a2ff8d981110e1562caf7d98e41c1ff2e76056.tar.bz2 | |
analyzer: add logging of aliasing
gcc/analyzer/ChangeLog:
* engine.cc (impl_run_checkers): Pass logger to engine ctor.
* region-model-manager.cc
(region_model_manager::region_model_manager): Add logger param and
use it to initialize m_logger.
* region-model.cc (engine::engine): New.
* region-model.h (region_model_manager::region_model_manager):
Add logger param.
(region_model_manager::get_logger): New.
(region_model_manager::m_logger): New field.
(engine::engine): New.
* store.cc (store_manager::get_logger): New.
(store::set_value): Log scope. Log when marking a cluster as
unknown due to possible aliasing.
* store.h (store_manager::get_logger): New decl.
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 f30b6bc..ee084dd 100644 --- a/gcc/analyzer/store.h +++ b/gcc/analyzer/store.h @@ -787,6 +787,8 @@ class store_manager public: store_manager (region_model_manager *mgr) : m_mgr (mgr) {} + logger *get_logger () const; + /* binding consolidation. */ const concrete_binding * get_concrete_binding (bit_offset_t start_bit_offset, |