From: David Malcolm <dmalcolm@redhat.com>
Date: Mon, 24 Feb 2020 22:02:11 +0000 (-0500)
Subject: analyzer: fix -fdump-analyzer
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0;p=gcc.git

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 7511c2dc92f..f92b56f68c6 100644
--- 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 7f8a4223eed..45578f5111f 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 ();
     }