Fix $finish inside fork blocks (#6555)

Signed-off-by: Bartłomiej Chmiel <[email protected]>
This commit is contained in:
Bartłomiej Chmiel
2025-10-20 10:16:05 -04:00
committed by GitHub
parent 61c64e4a3b
commit 9bd30baba4
8 changed files with 72 additions and 1 deletions
+1
View File
@@ -165,6 +165,7 @@ class CfgLiveVariables final : VNVisitorConst {
void visit(AstAssignW* nodep) override { single(nodep); }
void visit(AstDisplay* nodep) override { single(nodep); }
void visit(AstFinish* nodep) override { single(nodep); }
void visit(AstFinishFork* nodep) override { single(nodep); }
void visit(AstStmtExpr* nodep) override { single(nodep); }
void visit(AstStop* nodep) override { single(nodep); }