projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8532e9) | patch
analyzer: add diagnostics to output of -fdump-analyzer-exploded-graph
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 11 Feb 2020 22:13:44 +0000 (17:13 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 17 Feb 2020 07:11:50 +0000 (02:11 -0500)
commit670987874d2aa043a454e112291931e32f4ca8cc
tree1f7d1df70864da5dbc1aeca44ea76a3f8d1134fetree
parenta8532e9927ad6e4bbedbb957b02ca413aedf9098commit | diff
analyzer: add diagnostics to output of -fdump-analyzer-exploded-graph

gcc/analyzer/ChangeLog:
* diagnostic-manager.h (diagnostic_manager::get_saved_diagnostic):
Add const overload.
* engine.cc (exploded_node::dump_dot): Dump saved_diagnostics.
* exploded-graph.h (exploded_graph::get_diagnostic_manager): Add
const overload.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/diagnostic-manager.h diff | blob | history
gcc/analyzer/engine.cc diff | blob | history
gcc/analyzer/exploded-graph.h diff | blob | history