diff --git a/src/V3LinkJump.cpp b/src/V3LinkJump.cpp index b4b9b56d4..a6ce1d3a2 100644 --- a/src/V3LinkJump.cpp +++ b/src/V3LinkJump.cpp @@ -251,6 +251,7 @@ class LinkJumpVisitor final : public VNVisitor { // Disable-by-name rewrites kill this detached task-body process, so mark it as process // backed to ensure fork/join kill-accounting hooks are always emitted. taskBodyp->setNeedProcess(); + v3Global.setUsesTiming(); if (taskp->stmtsp()) taskBodyp->addStmtsp(taskp->stmtsp()->unlinkFrBackWithNext()); AstFork* const forkp = new AstFork{fl, VJoinType::JOIN}; @@ -306,6 +307,7 @@ class LinkJumpVisitor final : public VNVisitor { // Disable-by-name rewrites kill this detached block-body process, so mark it as process // backed to ensure fork/join kill-accounting hooks are always emitted. beginBodyp->setNeedProcess(); + v3Global.setUsesTiming(); if (beginp->stmtsp()) beginBodyp->addStmtsp(beginp->stmtsp()->unlinkFrBackWithNext()); AstFork* const forkp = new AstFork{fl, VJoinType::JOIN}; diff --git a/src/V3Width.cpp b/src/V3Width.cpp index dc8b1d95e..2c4c16797 100644 --- a/src/V3Width.cpp +++ b/src/V3Width.cpp @@ -8002,6 +8002,7 @@ class WidthVisitor final : public VNVisitor { if (AstNodeFTask* const ftaskp = VN_CAST(m_memberMap.findMember(nodep, "self"), NodeFTask)) { ftaskp->setNeedProcess(); + v3Global.setUsesTiming(); } } }