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

Fix hierarchical class scope resolution (#8094) 

Signed-off-by: Artur Bieniek <abieniek@antmicro.com>
This commit is contained in:
Artur Bieniek 2026-08-12 21:29:04 +02:00 committed by GitHub
parent 73bcf5e0db
commit 0ebb92da26
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 30 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/V3LinkDot.cpp
View File

@ -4635,9 +4635,15 @@ class LinkDotResolveVisitor final : public VNVisitor {
m_ds.m_dotText = "";
} else if (AstClass* const defp = VN_CAST(foundp->nodep(), Class)) {
if (allowVar) {
AstRefDType* const newp = new AstRefDType{nodep->fileline(), nodep->name()};
replaceWithCheckBreak(nodep, newp);
VL_DO_DANGLING(pushDeletep(nodep), nodep);
if (m_ds.m_dotPos == DP_SCOPE && !staticAccess) {
// Continue hierarchical lookup in the class scope.
m_ds.m_dotSymp = foundp;
} else {
AstRefDType* const newp
= new AstRefDType{nodep->fileline(), nodep->name()};
replaceWithCheckBreak(nodep, newp);
VL_DO_DANGLING(pushDeletep(nodep), nodep);
}
ok = true;
m_ds.m_dotText = "";
} else {

21
test_regress/t/t_class_modscope.v
View File

@ -9,6 +9,25 @@
`define checkh(gotv,expv) do if ((gotv) !== (expv)) begin $write("%%Error: %s:%0d: got='h%x exp='h%x\n", `__FILE__,`__LINE__, (gotv), (expv)); `stop; end while(0);
// verilog_format: on
interface class_if;
class scoped_class;
static function int fstatic();
return 42;
endfunction
function int fnonstatic();
return 43;
endfunction
endclass
scoped_class class_inst;
initial begin
`checkh(scoped_class::fstatic(), 42);
class_inst = new();
`checkh(class_inst.fnonstatic(), 43);
end
endinterface
module m ();
class c;
static function void fstatic();
@ -22,6 +41,7 @@ module m ();
endclass
c classinst;
class_if class_if_inst();
int v;
initial begin
@ -31,6 +51,7 @@ module m ();
classinst = new();
classinst.fnonstatic();
`checkh(v, 44);
`checkh(class_if_inst.scoped_class.fstatic(), 42);
$finish;
end
endmodule