diff options
Diffstat (limited to 'gcc/analyzer/sm.cc')
| -rw-r--r-- | gcc/analyzer/sm.cc | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/gcc/analyzer/sm.cc b/gcc/analyzer/sm.cc index 0abbdd6..840806a 100644 --- a/gcc/analyzer/sm.cc +++ b/gcc/analyzer/sm.cc @@ -116,9 +116,11 @@ state_machine::get_state_by_name (const char *name) const /* Base implementation of state_machine::on_leak. */ std::unique_ptr<pending_diagnostic> -state_machine::on_leak (tree var ATTRIBUTE_UNUSED) const +state_machine::on_leak (tree var ATTRIBUTE_UNUSED, + const program_state *old_state ATTRIBUTE_UNUSED, + const program_state *new_state ATTRIBUTE_UNUSED) const { - return NULL; + return nullptr; } /* Dump a multiline representation of this state machine to PP. */ @@ -158,6 +160,21 @@ state_machine::to_json () const return sm_obj; } +void +state_machine::add_state_to_xml (xml_state &out_xml, + const svalue &sval, + state_machine::state_t state) const +{ + // no-op +} + +void +state_machine::add_global_state_to_xml (xml_state &out_xml, + state_machine::state_t state) const +{ + // no-op +} + /* class sm_context. */ const region_model * @@ -166,7 +183,7 @@ sm_context::get_old_region_model () const if (const program_state *old_state = get_old_program_state ()) return old_state->m_region_model; else - return NULL; + return nullptr; } /* Create instances of the various state machines, each using LOGGER, |