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 /libgfortran/generated/minloc1_8_r8.c | |
| 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 'libgfortran/generated/minloc1_8_r8.c')
0 files changed, 0 insertions, 0 deletions