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
tree1f7d1df70864da5dbc1aeca44ea76a3f8d1134fe
parenta8532e9927ad6e4bbedbb957b02ca413aedf9098
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
gcc/analyzer/diagnostic-manager.h
gcc/analyzer/engine.cc
gcc/analyzer/exploded-graph.h