diff options
Diffstat (limited to 'gcc/analyzer/engine.cc')
| -rw-r--r-- | gcc/analyzer/engine.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index d8b6195..e43406e 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -4605,6 +4605,15 @@ feasibility_state::maybe_update_for_edge (logger *logger, return true; } +/* Dump this object to PP. */ + +void +feasibility_state::dump_to_pp (pretty_printer *pp, + bool simple, bool multiline) const +{ + m_model.dump_to_pp (pp, simple, multiline); +} + /* A family of cluster subclasses for use when generating .dot output for exploded graphs (-fdump-analyzer-exploded-graph), for grouping the enodes into hierarchical boxes. |