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

Add warning on expression coverage class references (#5870)

Browse Source
This commit is contained in:
Todd Strader
2025-03-21 08:55:38 -04:00
committed by GitHub
parent c508fd5d24
commit 8c287134d7
5 changed files with 27 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Coverage.cpp
+19 -2
View File
@@ -39,9 +39,26 @@ class ExprCoverageEligibleVisitor final : public VNVisitor {
// STATE
bool m_eligible = true;
void visit(AstNodeVarRef* nodep) override {
AstNodeDType* dtypep = nodep->varp()->dtypep();
// Class objecs and references not supported for expression coverage
// because the object may not persist until the point at which
// coverage data is gathered
// This could be resolved in the future by protecting against dereferrencing
// null pointers when cloning the expression for expression coverage
if (VN_CAST(dtypep, ClassRefDType)) {
m_eligible = false;
} else {
iterateChildren(nodep);
}
}
void visit(AstNode* nodep) override {
if (!nodep->isExprCoverageEligible()) m_eligible = false;
iterateChildren(nodep);
if (!nodep->isExprCoverageEligible()) {
m_eligible = false;
} else {
iterateChildren(nodep);
}
}
public: