Message ID | 20220719140210.1336855-1-dmalcolm@redhat.com |
---|---|
State | New |
Headers | show |
Series | [committed] analyzer: log out-edge description in exploded_graph::process_node | expand |
diff --git a/gcc/analyzer/engine.cc b/gcc/analyzer/engine.cc index 9ffcc410839..4f7f9d03900 100644 --- a/gcc/analyzer/engine.cc +++ b/gcc/analyzer/engine.cc @@ -3974,8 +3974,12 @@ exploded_graph::process_node (exploded_node *node) { found_a_superedge = true; if (logger) - logger->log ("considering SN: %i -> SN: %i", - succ->m_src->m_index, succ->m_dest->m_index); + { + label_text succ_desc (succ->get_description (false)); + logger->log ("considering SN: %i -> SN: %i (%s)", + succ->m_src->m_index, succ->m_dest->m_index, + succ_desc.get ()); + } program_point next_point = program_point::before_supernode (succ->m_dest, succ,
I found this logging tweak very helpful when working on PR analyzer/106284. Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Pushed to trunk as r13-1747-g434d521d118fc7. gcc/analyzer/ChangeLog: * engine.cc (exploded_graph::process_node): Show any description of the out-edge when logging it for consideration. Signed-off-by: David Malcolm <dmalcolm@redhat.com> --- gcc/analyzer/engine.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-)