diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-02-24 17:02:11 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-02-24 20:49:50 -0500 |
| commit | f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0 (patch) | |
| tree | b7c96986c6eac094e3807976948e5b794cb487ed /gcc/analyzer/ChangeLog | |
| parent | 04c71707e03fa36fda935b614e03833d1fed16b2 (diff) | |
| download | gcc-f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0.zip gcc-f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0.tar.gz gcc-f2ca2088bc393a7d3d8eef4ff85cbe949db3cde0.tar.bz2 | |
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.
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 7511c2d..f92b56f 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,10 @@ 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 * sm.cc (make_checkers): Require the "taint" checker to be explicitly enabled. |