From f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0 Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Mon, 24 Feb 2020 17:02:11 -0500 Subject: [PATCH] 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. --- 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 + + * engine.cc (exploded_graph::get_or_create_node): Dump the + program_state to the pp, rather than to stderr. + 2020-02-24 David Malcolm 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 (); } -- 2.30.2