diff options
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; |