Commit f2ca2088 by David Malcolm

analyzer: fix -fdump-analyzer

This patch fixes a bug with -fdump-analyzer, which is meant to write
purely a dumpfile, but was erroneously sending part of the dump to
stderr.

gcc/analyzer/ChangeLog:
	* engine.cc (exploded_graph::get_or_create_node): Dump the
	program_state to the pp, rather than to stderr.
parent 04c71707
2020-02-24 David Malcolm <dmalcolm@redhat.com> 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 PR analyzer/93032
* sm.cc (make_checkers): Require the "taint" checker to be * sm.cc (make_checkers): Require the "taint" checker to be
explicitly enabled. explicitly enabled.
......
...@@ -1866,7 +1866,7 @@ exploded_graph::get_or_create_node (const program_point &point, ...@@ -1866,7 +1866,7 @@ exploded_graph::get_or_create_node (const program_point &point,
logger->end_log_line (); logger->end_log_line ();
logger->start_log_line (); logger->start_log_line ();
pp_string (pp, "state: "); pp_string (pp, "state: ");
state.dump (m_ext_state, true); state.dump_to_pp (m_ext_state, true, pp);
logger->end_log_line (); logger->end_log_line ();
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment