[gcc(refs/users/guojiufu/heads/guojiufu-branch)] analyzer: fix -fdump-analyzer

[Jiu Fu Guo]

https://gcc.gnu.org/g:f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0

commit f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Mon Feb 24 17:02:11 2020 -0500

    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:
---
 gcc/analyzer/ChangeLog | 5 +++++
 gcc/analyzer/engine.cc | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

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 ();
     }