diff options
Diffstat (limited to 'gcc/analyzer/engine.cc')
| -rw-r--r-- | gcc/analyzer/engine.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index bff3779..f5b85ce 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -500,6 +500,11 @@ public: return m_unknown_side_effects; } + const program_state *get_old_program_state () const FINAL OVERRIDE + { + return m_old_state; + } + log_user m_logger; exploded_graph &m_eg; exploded_node *m_enode_for_diag; |