Allow using wait fork

antmicro · Oct 19, 2023 · a76b0f1 · a76b0f1
1 parent 10c5a3e
commit a76b0f1
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/src/V3Width.cpp b/src/V3Width.cpp
@@ -706,8 +706,14 @@ class WidthVisitor final : public VNVisitor {
         }
     }
     void visit(AstWaitFork* nodep) override {
-        nodep->v3warn(E_UNSUPPORTED, "Unsupported: wait fork statements");
-        VL_DO_DANGLING(nodep->unlinkFrBack()->deleteTree(), nodep);
+        if (nodep->fileline()->timingOn()) {
+            if (v3Global.opt.timing().isSetFalse()) {
+                nodep->v3warn(E_NOTIMING, "Support for disable fork statement requires --timing");
+            } 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(AstToLowerN* nodep) override {
         if (m_vup->prelim()) {