diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/analyzer/engine.cc | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 7511c2d..f92b56f 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,10 @@ 2020-02-24 David Malcolm <dmalcolm@redhat.com> + * engine.cc (exploded_graph::get_or_create_node): Dump the + program_state to the pp, rather than to stderr. + +2020-02-24 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93032 * sm.cc (make_checkers): Require the "taint" checker to be explicitly enabled. diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 7f8a422..45578f5 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -1866,7 +1866,7 @@ exploded_graph::get_or_create_node (const program_point &point, logger->end_log_line (); logger->start_log_line (); pp_string (pp, "state: "); - state.dump (m_ext_state, true); + state.dump_to_pp (m_ext_state, true, pp); logger->end_log_line (); } |