From 0e371d6e5caf16c7f6a8c49c8fd49d3115f104eb Mon Sep 17 00:00:00 2001
From: Geza Lore <glore@tenstorrent.com>
Date: Thu, 2 Jul 2026 17:47:09 +0100
Subject: [PATCH] Fix cleaning purity cache after assertions

---
 src/V3Assert.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/V3Assert.cpp b/src/V3Assert.cpp
index 09f6d1126..6c507c22c 100644
--- a/src/V3Assert.cpp
+++ b/src/V3Assert.cpp
@@ -1180,6 +1180,8 @@ public:
         V3Stats::addStat("Assertions, $past variables", m_statPastVars);
         V3Stats::addStat("Assertions, assertOn checks combined", m_statAssertOnCombined);
         V3Stats::addStat("Assertions, assertOn checks hoisted", m_statAssertOnHoisted);
+        // Rewrites can change purity, e.g. by compiling out assertion statements with --no-assert
+        VIsCached::clearCacheTree();
     }
 };