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

Merge 74d912e3fb into fa62cd3486

This commit is contained in:
Todd Strader 2025-07-25 07:50:49 -04:00 committed by GitHub
parent fa62cd3486 74d912e3fb
commit fc0389f436
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/V3Broken.cpp
View File

@ -166,7 +166,8 @@ private:
nodep->brokenState(m_brokenCntCurrentUnder);
const char* const whyp = nodep->brokenGen();
UASSERT_OBJ(!whyp, nodep,
"Broken link in node (or something without maybePointedTo): " << whyp);
"Broken link in node (or something without maybePointedTo): " << whyp << " -- "
<< nodep);
if (!s_brokenAllowMidvisitorCheck) nodep->checkIter();
if (nodep->dtypep()) {
UASSERT_OBJ(nodep->dtypep()->brokeExists(), nodep,

4
src/V3Coverage.cpp
View File

@ -65,7 +65,7 @@ class ExprCoverageEligibleVisitor final : public VNVisitor {
}
void visit(AstNode* nodep) override {
if (!nodep->isExprCoverageEligible()) {
if (!nodep->isExprCoverageEligible() || !nodep->isPure()) {
m_eligible = false;
} else {
iterateChildren(nodep);
@ -74,7 +74,7 @@ class ExprCoverageEligibleVisitor final : public VNVisitor {
public:
// CONSTRUCTORS
explicit ExprCoverageEligibleVisitor(AstNode* nodep) { iterateChildren(nodep); }
explicit ExprCoverageEligibleVisitor(AstNode* nodep) { iterate(nodep); }
~ExprCoverageEligibleVisitor() override = default;
bool eligible() { return m_eligible; }