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(); } };