From d7893a60ca43718b825ce3f82efc87618fcd2ea1 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 29 Nov 2024 16:09:04 -0500
Subject: [PATCH] Internals: In V3LinkDot debug, show node name prefix. No
 functional change.

---
 src/V3LinkDot.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/V3LinkDot.cpp b/src/V3LinkDot.cpp
index d4eb83dbc..03fa7e396 100644
--- a/src/V3LinkDot.cpp
+++ b/src/V3LinkDot.cpp
@@ -2228,7 +2228,9 @@ class LinkDotResolveVisitor final : public VNVisitor {
             std::ostringstream sstr;
             sstr << "ds=" << names[m_dotPos];
             sstr << "  dse" << cvtToHex(m_dotSymp);
-            sstr << "(" << m_dotSymp->nodep()->typeName() << ")";
+            const string dsname = m_dotSymp->nodep()->name().substr(0, 8);
+            sstr << "(" << m_dotSymp->nodep()->typeName() << (dsname.empty() ? "" : ":") << dsname
+                 << ")";
             if (m_dotErr) sstr << "  [dotErr]";
             if (m_super) sstr << "  [super]";
             if (m_unresolvedCell) sstr << "  [unrCell]";