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 <dmalc...@redhat.com> --- gcc/analyzer/engine.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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, -- 2.26.3