From bb2ff07619211ef8dce3aacd75486bc06e56b0ad Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Fri, 3 Apr 2020 15:44:20 -0400 Subject: [PATCH 001/179] FIXME: add logger to extrinsic_state --- gcc/analyzer/engine.cc | 2 +- gcc/analyzer/program-state.h | 9 +++++++-- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 880e70fb2ba..21641c6d0d0 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -4014,7 +4014,7 @@ impl_run_checkers (logger *logger) } /* Extrinsic state shared by nodes in the graph. */ - const extrinsic_state ext_state (checkers); + const extrinsic_state ext_state (checkers, logger); const analysis_plan plan (sg, logger); diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index 3637516ec1b..4c7fcf6bf7e 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -28,8 +28,9 @@ namespace ana { class extrinsic_state { public: - extrinsic_state (auto_delete_vec &checkers) - : m_checkers (checkers) + extrinsic_state (auto_delete_vec &checkers, + logger *logger = NULL) + : m_checkers (checkers), m_logger (logger) { } @@ -45,6 +46,8 @@ public: unsigned get_num_checkers () const { return m_checkers.length (); } + logger *get_logger () const { return m_logger; } + void dump_to_pp (pretty_printer *pp) const; void dump_to_file (FILE *outf) const; void dump () const; @@ -52,6 +55,8 @@ public: private: /* The state machines. */ auto_delete_vec &m_checkers; + + logger *m_logger; }; } // namespace ana -- 2.21.0