diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp index 0c397538a..f79522b49 100644 --- a/src/V3Randomize.cpp +++ b/src/V3Randomize.cpp @@ -878,6 +878,7 @@ class ConstraintExprVisitor final : public VNVisitor { AstNodeExpr* exprp = new AstSFormatF{nodep->fileline(), smtName, false, nullptr}; if (randMode.usesMode) { AstNodeExpr* constFormatp = getConstFormat(nodep); + UASSERT_OBJ(m_randModeVarp, nodep, "No m_randModeVarp"); AstCMethodHard* const atp = new AstCMethodHard{ nodep->fileline(), new AstVarRef{varp->fileline(), VN_AS(m_randModeVarp->user2p(), NodeModule),