diff options
Diffstat (limited to 'gcc/analyzer/program-state.h')
| -rw-r--r-- | gcc/analyzer/program-state.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/analyzer/program-state.h b/gcc/analyzer/program-state.h index 3ba6a93..7e75138 100644 --- a/gcc/analyzer/program-state.h +++ b/gcc/analyzer/program-state.h @@ -21,6 +21,8 @@ along with GCC; see the file COPYING3. If not see #ifndef GCC_ANALYZER_PROGRAM_STATE_H #define GCC_ANALYZER_PROGRAM_STATE_H +#include "text-art/widget.h" + namespace ana { /* Data shared by all program_state instances. */ @@ -117,6 +119,10 @@ public: json::object *to_json () const; + std::unique_ptr<text_art::widget> + make_dump_widget (const text_art::dump_widget_info &dwi, + const region_model *model) const; + bool is_empty_p () const; hashval_t hash () const; @@ -223,9 +229,13 @@ public: void dump_to_file (const extrinsic_state &ext_state, bool simple, bool multiline, FILE *outf) const; void dump (const extrinsic_state &ext_state, bool simple) const; + void dump () const; json::object *to_json (const extrinsic_state &ext_state) const; + std::unique_ptr<text_art::widget> + make_dump_widget (const text_art::dump_widget_info &dwi) const; + void push_frame (const extrinsic_state &ext_state, const function &fun); const function * get_current_function () const; |