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

Fix internal error after bad method

This commit is contained in:
Wilson Snyder 2025-07-23 17:17:35 -04:00
parent 393f0e4acb
commit 050e5ddb5b
6 changed files with 34 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/V3Options.cpp
View File

@ -2143,7 +2143,7 @@ void V3Options::setDebugMode(int level) {
if (!m_dumpLevel.count("tree")) m_dumpLevel["tree"] = 3; // Don't override if already set.
m_stats = true;
m_debugCheck = true;
cout << "Starting " << version() << "\n";
if (level) cout << "Starting " << version() << "\n";
}
unsigned V3Options::debugLevel(const string& tag) const VL_MT_SAFE {

2
src/V3Timing.cpp
View File

@ -266,7 +266,7 @@ class TimingSuspendableVisitor final : public VNVisitor {
getNeedsProcDepVtx(nodep);
addFlags(nodep, T_ALLOCS_PROC);
if (VN_IS(nodep, Always)) {
UINFO(1, "Always does " << (nodep->needProcess() ? "" : "NOT ") << "need process");
UINFO(9, "Always does " << (nodep->needProcess() ? "" : "NOT ") << "need process");
}
iterateChildren(nodep);
}

2
src/V3Width.cpp
View File

@ -3340,7 +3340,7 @@ class WidthVisitor final : public VNVisitor {
<< nodep->fromp()->prettyTypeName()
<< "' which is a '"
<< nodep->fromp()->dtypep()->prettyTypeName() << "'");
nodep->dtypep(m_vup->dtypeNullp());
nodep->dtypeSetVoid();
}
}
AstWith* methodWithArgument(AstNodeFTaskRef* nodep, bool required, bool arbReturn,

27
test_regress/t/t_covergroup_coverpoints_unsup.out
View File

@ -25,5 +25,28 @@
35 | $display("coverage a = %f", the_cg.a.get_inst_coverage());
| ^~~~~~~~~~~~~~~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error: Verilator internal fault, sorry. Suggest trying --debug --gdbbt
%Error: Command Failed
%Error: t/t_covergroup_coverpoints_unsup.v:36:48: Member 'b' not found in class 'cg'
: ... note: In instance 't'
36 | $display("coverage b = %f", the_cg.b.get_inst_coverage());
| ^
%Error-UNSUPPORTED: t/t_covergroup_coverpoints_unsup.v:36:50: Unsupported: Member call on object 'CONST '1'h0'' which is a 'BASICDTYPE 'logic''
: ... note: In instance 't'
36 | $display("coverage b = %f", the_cg.b.get_inst_coverage());
| ^~~~~~~~~~~~~~~~~
%Error: t/t_covergroup_coverpoints_unsup.v:37:24: Member 'a' not found in class 'cg'
: ... note: In instance 't'
37 | if (the_cg.a.get_inst_coverage() != 15/16.0) $stop();
| ^
%Error-UNSUPPORTED: t/t_covergroup_coverpoints_unsup.v:37:26: Unsupported: Member call on object 'CONST '1'h0'' which is a 'BASICDTYPE 'logic''
: ... note: In instance 't'
37 | if (the_cg.a.get_inst_coverage() != 15/16.0) $stop();
| ^~~~~~~~~~~~~~~~~
%Error: t/t_covergroup_coverpoints_unsup.v:38:24: Member 'b' not found in class 'cg'
: ... note: In instance 't'
38 | if (the_cg.b.get_inst_coverage() != 4/5.0) $stop();
| ^
%Error-UNSUPPORTED: t/t_covergroup_coverpoints_unsup.v:38:26: Unsupported: Member call on object 'CONST '1'h0'' which is a 'BASICDTYPE 'logic''
: ... note: In instance 't'
38 | if (the_cg.b.get_inst_coverage() != 4/5.0) $stop();
| ^~~~~~~~~~~~~~~~~
%Error: Exiting due to

9
test_regress/t/t_fuzz_triand_bad.out
View File

@ -3,8 +3,9 @@
8 | tri g=g.and.g;
| ^~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error: Internal Error: t/t_fuzz_triand_bad.v:8:12: ../V3Width.cpp:#: Unlinked data type
: ... note: In instance 't'
%Error: t/t_fuzz_triand_bad.v:8:16: Member selection of non-struct/union object 'METHODCALL 'and'' which is a 'VOIDDTYPE'
: ... note: In instance 't'
8 | tri g=g.and.g;
| ^~~
... This fatal error may be caused by the earlier error(s); resolve those first.
| ^
... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance.
%Error: Exiting due to

6
test_regress/t/t_queue_method3_bad.out
View File

@ -3,8 +3,4 @@
16 | points_qv = points_q.find_first(a) with (a.x.index == 0);
| ^~~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error: Internal Error: t/t_queue_method3_bad.v:16:58: ../V3Width.cpp:#: Node has no type
: ... note: In instance 't'
16 | points_qv = points_q.find_first(a) with (a.x.index == 0);
| ^~
... This fatal error may be caused by the earlier error(s); resolve those first.
%Error: Exiting due to