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.

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 7511c2dc92f540702f10a06ea021dff8154e0857..f92b56f68c68c2097c275de5ea24dc7333cb647e 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc
index 7f8a4223eed94e1e64eea9c12ef32fbd0cb0d578..45578f5111f8bc36d95048975c85f11cf3f0aa7b 100644 (file)
--- 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 ();
     }