analyzer: show SCC ids in .dot dumps
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 16 Sep 2020 13:12:45 +0000 (09:12 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 16 Sep 2020 23:03:15 +0000 (19:03 -0400)
commitd2c4d5199cf277becc1f377536973815d1c9519c
tree0015b37fdee4cc59fcce720e1996a6fd325ddefd
parentb28491dc2d79763ecbff4f0b9f1f3e48a443be1d
analyzer: show SCC ids in .dot dumps

gcc/analyzer/ChangeLog:
* engine.cc (supernode_cluster::dump_dot): Show the SCC id
in the per-supernode clusters in FILENAME.eg.dot output.
(exploded_graph_annotator::add_node_annotations):
Show the SCC of the supernode in FILENAME.supernode.eg.dot output.
* exploded-graph.h (worklist::scc_id): New.
(exploded_graph::get_scc_id): New.
gcc/analyzer/engine.cc
gcc/analyzer/exploded-graph.h