projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebe9174) | patch
analyzer: add extrinsic_state::dump
authorDavid Malcolm <dmalcolm@redhat.com>
Thu, 30 Jan 2020 21:59:15 +0000 (16:59 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 31 Jan 2020 00:28:43 +0000 (19:28 -0500)
commit42f36563ef655db48d5fda60cd7f3eac9650dade
treea0d06ebf534275981a4ebd134a535ad3d208e977tree
parentebe9174e940c94e99cd688a05309833ae64a998bcommit | diff
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.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/program-state.cc diff | blob | history
gcc/analyzer/program-state.h diff | blob | history
gcc/analyzer/sm.cc diff | blob | history
gcc/analyzer/sm.h diff | blob | history