diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-01-30 16:59:15 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-01-30 19:28:43 -0500 |
| commit | 42f36563ef655db48d5fda60cd7f3eac9650dade (patch) | |
| tree | a0d06ebf534275981a4ebd134a535ad3d208e977 /gcc/analyzer/program-state.h | |
| parent | ebe9174e940c94e99cd688a05309833ae64a998b (diff) | |
| download | gcc-42f36563ef655db48d5fda60cd7f3eac9650dade.zip gcc-42f36563ef655db48d5fda60cd7f3eac9650dade.tar.gz gcc-42f36563ef655db48d5fda60cd7f3eac9650dade.tar.bz2 | |
analyzer: add extrinsic_state::dump
gcc/analyzer/ChangeLog:
* program-state.cc (extrinsic_state::dump_to_pp): New.
(extrinsic_state::dump_to_file): New.
(extrinsic_state::dump): New.
* program-state.h (extrinsic_state::dump_to_pp): New decl.
(extrinsic_state::dump_to_file): New decl.
(extrinsic_state::dump): New decl.
* sm.cc: Include "pretty-print.h".
(state_machine::dump_to_pp): New.
* sm.h (state_machine::dump_to_pp): New decl.
Diffstat (limited to 'gcc/analyzer/program-state.h')
| -rw-r--r-- | gcc/analyzer/program-state.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index a052c6e..d2badb1 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -45,6 +45,10 @@ public: unsigned get_num_checkers () const { return m_checkers.length (); } + void dump_to_pp (pretty_printer *pp) const; + void dump_to_file (FILE *outf) const; + void dump () const; + private: /* The state machines. */ auto_delete_vec <state_machine> &m_checkers; |