analyzer: show BB index in BEFORE_SUPERNODE's in-edge

This is useful for debugging how the analyzer handles phi nodes.

gcc/analyzer/ChangeLog:
	* program-point.cc (function_point::print): Show src BB index at
	BEFORE_SUPERNODE.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>

diff --git a/gcc/analyzer/program-point.cc b/gcc/analyzer/program-point.cc
index d8cfc61975e1d89f299e9fa4735df12a61fee17a..d73b6211141b65c97acbd1673d9b0eb7c13e3f25 100644 (file)
--- a/gcc/analyzer/program-point.cc
+++ b/gcc/analyzer/program-point.cc
@@ -119,8 +119,15 @@ function_point::print (pretty_printer *pp, const format &f) const
     case PK_BEFORE_SUPERNODE:
       {
        if (m_from_edge)
-         pp_printf (pp, "before SN: %i (from SN: %i)",
-                    m_supernode->m_index, m_from_edge->m_src->m_index);
+         {
+           if (basic_block bb = m_from_edge->m_src->m_bb)
+             pp_printf (pp, "before SN: %i (from SN: %i (bb: %i))",
+                        m_supernode->m_index, m_from_edge->m_src->m_index,
+                        bb->index);
+           else
+             pp_printf (pp, "before SN: %i (from SN: %i)",
+                        m_supernode->m_index, m_from_edge->m_src->m_index);
+         }
        else
          pp_printf (pp, "before SN: %i (NULL from-edge)",
                     m_supernode->m_index);