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

added fix for further tightening ingress point

This commit is contained in:
em2machine 2025-12-22 08:15:09 +01:00
parent 2646a39be6
commit 10f51dc1bf
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/V3Undriven.cpp
View File

@ -447,9 +447,20 @@ class UndrivenVisitor final : public VNVisitorConst {
// If writeSummary is enabled, task/function definitions are treated as non-executed.
// Their effects are applied at call sites via writeSummary(), so don't let definition
// traversal create phantom "other writes" for MULTIDRIVEN.
//const auto inExecutedContext = [this, nodep]() {
// return !(m_enableWriteSummary && m_taskp && !m_alwaysp && !m_inContAssign && !m_inInitialStatic
// && !m_inBBox && !m_taskp->dpiExport() && !nodep->varp()->isFuncLocal());
//};
//if (!inExecutedContext()) {
// return;
//}
if (m_enableWriteSummary && m_taskp && !m_alwaysp && !m_inContAssign && !m_inInitialStatic
&& !m_inBBox) {
return;
&& !m_inBBox && !m_taskp->dpiExport()) {
AstVar* const retVarp = VN_CAST(m_taskp->fvarp(), Var);
if (!retVarp || nodep->varp() != retVarp) return;
}
for (int usr = 1; usr < (m_alwaysCombp ? 3 : 2); ++usr) {
@ -594,7 +605,7 @@ class UndrivenVisitor final : public VNVisitorConst {
//};
const auto inExecutedContext = [this]() {
return !(m_taskp && !m_alwaysp && !m_inContAssign && !m_inInitialStatic && !m_inBBox);
return !(m_taskp && !m_alwaysp && !m_inContAssign && !m_inInitialStatic && !m_inBBox && !m_taskp->dpiExport());
};
if (!inExecutedContext()) { return; }