Add assert (#6740 partial)

This commit is contained in:
Wilson Snyder 2025-11-28 09:55:19 -05:00
parent f2e05bc0b7
commit 1583c79a8a
1 changed files with 1 additions and 0 deletions

View File

@ -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),