diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-02-03 09:55:26 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-02-03 14:27:04 -0500 |
| commit | 73f386581bddc4d630b93eeb0cddd32943bf24e7 (patch) | |
| tree | db7af49b4aeadc1f3310a262e7f82b09582cbdf2 /gcc | |
| parent | 5e10b9a28be9061b9b0c4aa3cfabe6d478e444e0 (diff) | |
| download | gcc-73f386581bddc4d630b93eeb0cddd32943bf24e7.zip gcc-73f386581bddc4d630b93eeb0cddd32943bf24e7.tar.gz gcc-73f386581bddc4d630b93eeb0cddd32943bf24e7.tar.bz2 | |
analyzer: show BBs in .dot dumps
gcc/analyzer/ChangeLog:
* engine.cc (supernode_cluster::dump_dot): Show BB index as
well as SN index.
* supergraph.cc (supernode::dump_dot): Likewise.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/analyzer/engine.cc | 3 | ||||
| -rw-r--r-- | gcc/analyzer/supergraph.cc | 2 |
3 files changed, 9 insertions, 2 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 9229bb1..9b8820e 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,5 +1,11 @@ 2020-02-03 David Malcolm <dmalcolm@redhat.com> + * engine.cc (supernode_cluster::dump_dot): Show BB index as + well as SN index. + * supergraph.cc (supernode::dump_dot): Likewise. + +2020-02-03 David Malcolm <dmalcolm@redhat.com> + PR analyzer/93546 * region-model.cc (region_model::on_call_pre): Update for new param of symbolic_region ctor. diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 9acec70..66ca37e 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -2811,7 +2811,8 @@ public: (const void *)this); gv->indent (); gv->println ("style=\"dashed\";"); - gv->println ("label=\"SN: %i\";", m_supernode->m_index); + gv->println ("label=\"SN: %i (bb: %i)\";", + m_supernode->m_index, m_supernode->m_bb->index); int i; exploded_node *enode; diff --git a/gcc/analyzer/supergraph.cc b/gcc/analyzer/supergraph.cc index a5bf52d..b20daa0 100644 --- a/gcc/analyzer/supergraph.cc +++ b/gcc/analyzer/supergraph.cc @@ -437,7 +437,7 @@ supernode::dump_dot (graphviz_out *gv, const dump_args_t &args) const gv->println("style=\"solid\";"); gv->println("color=\"black\";"); gv->println("fillcolor=\"lightgrey\";"); - gv->println("label=\"sn: %i\";", m_index); + gv->println("label=\"sn: %i (bb: %i)\";", m_index, m_bb->index); pretty_printer *pp = gv->get_pp (); |