luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-07 18:42:58 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix fork no-timing and constructor no-timing message

Browse Source
This commit is contained in:
Wilson Snyder
2026-08-23 16:24:59 -04:00
parent d18bcc2a69
commit d2760be0d4
3 changed files with 11 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Width.cpp
+8 -14
View File
@@ -849,28 +849,22 @@ class WidthVisitor final : public VNVisitor {
"Use --timing or --no-timing to specify how forks should be handled");
}
}
void visit(AstDisableFork* nodep) override {
void visitWaitOrDisableFork(AstNode* nodep) {
if (nodep->fileline()->timingOn()) {
if (v3Global.opt.timing().isSetFalse()) {
nodep->v3warn(E_NOTIMING, "Support for disable fork statement requires --timing");
VL_DO_DANGLING(nodep->unlinkFrBack()->deleteTree(), nodep);
} else if (!v3Global.opt.timing().isSetTrue()) {
nodep->v3warn(E_NEEDTIMINGOPT, "Use --timing or --no-timing to specify how "
<< "disable fork should be handled");
}
}
}
void visit(AstWaitFork* nodep) override {
if (nodep->fileline()->timingOn()) {
if (v3Global.opt.timing().isSetFalse()) {
nodep->v3warn(E_NOTIMING, "Support for disable fork statement requires --timing");
nodep->v3warn(E_NOTIMING, "Support for '" << nodep->verilogKwd()
<< "' statement requires --timing");
VL_DO_DANGLING(nodep->unlinkFrBack()->deleteTree(), nodep);
return;
} else if (!v3Global.opt.timing().isSetTrue()) {
nodep->v3warn(E_NEEDTIMINGOPT, "Use --timing or --no-timing to specify how "
<< "disable fork should be handled");
}
}
iterateChildren(nodep);
}
void visit(AstDisableFork* nodep) override { visitWaitOrDisableFork(nodep); }
void visit(AstWaitFork* nodep) override { visitWaitOrDisableFork(nodep); }
void visit(AstToLowerN* nodep) override {
assertAtExpr(nodep);
if (m_vup->prelim()) {
@@ -4967,7 +4961,7 @@ class WidthVisitor final : public VNVisitor {
void methodCallWarnTiming(AstNodeFTaskRef* const nodep, const std::string& className) {
if (v3Global.opt.timing().isSetFalse()) {
nodep->v3warn(E_NOTIMING,
className << "::" << nodep->name() << "() requires --timing");
className << "::" << nodep->prettyName() << "() requires --timing");
} else if (!v3Global.opt.timing().isSetTrue()) {
nodep->v3warn(E_NEEDTIMINGOPT, "Use --timing or --no-timing to specify how "
<< className << "::" << nodep->name()