Internals: Make AstArg into an AstNode, not Expr (#7122)

This commit is contained in:
Geza Lore
2026-02-22 14:40:51 +00:00
committed by GitHub
parent 443678d8c4
commit 579acced99
4 changed files with 26 additions and 25 deletions
+2 -2
View File
@@ -204,6 +204,7 @@ class DataflowExtractVisitor final : public VNVisitor {
}
void visit(AstNodeExpr* nodep) override { iterateChildrenConst(nodep); }
void visit(AstArg* nodep) override { iterateChildrenConst(nodep); }
void visit(AstNodeVarRef* nodep) override {
if (nodep->access().isWriteOrRW()) {
@@ -218,8 +219,7 @@ class DataflowExtractVisitor final : public VNVisitor {
}
void visit(AstNode* nodep) override {
// Conservatively assume unhandled nodes are impure. This covers all AstNodeFTaskRef
// as AstNodeFTaskRef are sadly not AstNodeExpr.
// Conservatively assume unhandled nodes are impure.
m_impure = true;
// Still need to gather all references/force/release, etc.
iterateChildrenConst(nodep);