From c1a9ada279e5d729410603b712823608343d322f Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Tue, 5 Nov 2019 21:53:26 -0500
Subject: [PATCH] Protect change request filenames.

---
 src/V3EmitC.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/V3EmitC.cpp b/src/V3EmitC.cpp
index bee5d2751..abe27d15f 100644
--- a/src/V3EmitC.cpp
+++ b/src/V3EmitC.cpp
@@ -1193,8 +1193,10 @@ class EmitCImp : EmitCStmts {
                     if (VN_IS(nodep->lhsp(), VarRef)) {
                         varname = ": "+VN_CAST(nodep->lhsp(), VarRef)->varp()->prettyName();
                     }
-                    puts(")) VL_DBG_MSGF(\"        CHANGE: "+nodep->fileline()->ascii()
-                         +varname+"\\n\"); );\n");
+                    puts(")) VL_DBG_MSGF(\"        CHANGE: ");
+                    puts(protect(nodep->fileline()->filename()));
+                    puts(":"+cvtToStr(nodep->fileline()->lineno()));
+                    puts(": "+varname+"\\n\"); );\n");
                 }
             }
         }