diff options
Diffstat (limited to 'gcc/analyzer/diagnostic-manager.h')
| -rw-r--r-- | gcc/analyzer/diagnostic-manager.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/analyzer/diagnostic-manager.h b/gcc/analyzer/diagnostic-manager.h index fc5dc043c78..b9bb7c8c254 100644 --- a/gcc/analyzer/diagnostic-manager.h +++ b/gcc/analyzer/diagnostic-manager.h @@ -46,6 +46,9 @@ public: json::object *to_json () const; + void dump_dot_id (pretty_printer *pp) const; + void dump_as_dot_node (pretty_printer *pp) const; + const feasibility_problem *get_feasibility_problem () const { return m_problem; |