From cbabd8abe1e217a49a11ca6ccdc585cd3537248e Mon Sep 17 00:00:00 2001
From: Ryszard Rozak <rrozak@antmicro.com>
Date: Thu, 17 Apr 2025 12:23:18 +0200
Subject: [PATCH] Internals: Fix redundant edges in V3Trace (#5939). No
 functional change intended..

Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
---
 src/V3Trace.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/V3Trace.cpp b/src/V3Trace.cpp
index 8e0e4e3ac..6b0761040 100644
--- a/src/V3Trace.cpp
+++ b/src/V3Trace.cpp
@@ -755,6 +755,7 @@ class TraceVisitor final : public VNVisitor {
     void createTraceFunctions() {
         // Detect and remove duplicate values
         detectDuplicates();
+        m_graph.removeRedundantEdgesMax(&V3GraphEdge::followAlwaysTrue);
 
         // Simplify & optimize the graph
         if (dumpGraphLevel() >= 6) m_graph.dumpDotFilePrefixed("trace_pre");