Apply 'make format'

This commit is contained in:
github action 2025-07-20 09:16:01 +00:00
parent a0f4259233
commit be83c9751f
2 changed files with 7 additions and 6 deletions

View File

@ -391,7 +391,7 @@ class RandomizeMarkVisitor final : public VNVisitor {
backp = backp->backp();
}
UASSERT_OBJ(VN_IS(backp, NodeModule), randVarp,
"No class or module found for rand variable");
"No class or module found for rand variable");
backp->user1(IS_STD_RANDOMIZED);
}
}

View File

@ -6272,11 +6272,12 @@ class WidthVisitor final : public VNVisitor {
}
}
if (VN_IS(exprp, MemberSel)) {
argp->v3warn(CONSTRAINTIGN, "std::randomize ("
<< exprp->prettyTypeName()
<< ") is non-LRM compliant (IEEE 1800-2023 18.12)."
<< "Args should be in current scope, "
<< "but are supported in Verilator for compatibility.");
argp->v3warn(CONSTRAINTIGN,
"std::randomize ("
<< exprp->prettyTypeName()
<< ") is non-LRM compliant (IEEE 1800-2023 18.12)."
<< "Args should be in current scope, "
<< "but are supported in Verilator for compatibility.");
} else {
if (!VN_IS(exprp, VarRef)) {
argp->v3error("Non-variable arguments for 'std::randomize()'.");