luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Apply 'make format'

This commit is contained in:
github action 2026-02-10 11:01:52 +00:00
parent d3461d9275
commit 92ff52f16e
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/V3Randomize.cpp
View File

@ -1514,12 +1514,11 @@ class ConstraintExprVisitor final : public VNVisitor {
= VN_CAST(nodep->fromp()->dtypep()->skipRefp(), UnpackArrayDType)) {
const int arraySize = adtypep->elementsConst();
if (arraySize > v3Global.opt.constraintWithLimit()) {
nodep->v3warn(
CONSTRAINTIGN,
"Constraint array reduction ignored (array size " + cvtToStr(arraySize)
+ " exceeds --constraint-with-limit of "
+ cvtToStr(v3Global.opt.constraintWithLimit())
+ "), treating as state");
nodep->v3warn(CONSTRAINTIGN, "Constraint array reduction ignored (array size "
+ cvtToStr(arraySize)
+ " exceeds --constraint-with-limit of "
+ cvtToStr(v3Global.opt.constraintWithLimit())
+ "), treating as state");
nodep->user1(false);
if (editFormat(nodep)) return;
nodep->v3fatalSrc("Method not handled in constraints? " << nodep);
@ -1620,7 +1619,8 @@ class ConstraintExprVisitor final : public VNVisitor {
AstNode* const lambdaStmtsp = initStmtp;
lambdaStmtsp->addNext(loopStmtp);
lambdaStmtsp->addNext(new AstCReturn{fl, retExprp});
AstExprStmt* const lambdap = new AstExprStmt{fl, lambdaStmtsp, retExprp->cloneTree(false)};
AstExprStmt* const lambdap
= new AstExprStmt{fl, lambdaStmtsp, retExprp->cloneTree(false)};
lambdap->hasResult(false); // Result comes from CReturn, not resultp
nodep->replaceWith(new AstSFormatF{fl, "%@", false, lambdap});