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/tree.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/tree.h')
0 files changed, 0 insertions, 0 deletions