Fix rand variable inside constraint (#6315)

This commit is contained in:
Igor Zaworski
2025-09-04 06:19:08 -04:00
committed by GitHub
parent 5f0eb007b1
commit 4070db9990
3 changed files with 52 additions and 6 deletions
-6
View File
@@ -913,12 +913,6 @@ class ConstraintExprVisitor final : public VNVisitor {
if (nodep->user1()) {
nodep->v3warn(CONSTRAINTIGN, "Global constraints ignored (unsupported)");
}
if (VN_IS(nodep->fromp(), NodeVarRef) && nodep->varp()->isRand() && m_inlineInitTaskp) {
iterateChildren(nodep);
nodep->replaceWith(nodep->fromp()->unlinkFrBack());
VL_DO_DANGLING(nodep->deleteTree(), nodep);
return;
}
editFormat(nodep);
}
void visit(AstSFormatF* nodep) override {}