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

Fix reference counting for modport task references (#7628)

This commit is contained in:
Nick Brereton 2026-05-20 14:24:56 -04:00 committed by GitHub
parent d874d2fd06
commit c5798f902b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/V3Dead.cpp
View File

@ -187,7 +187,7 @@ class DeadVisitor final : public VNVisitor {
void visit(AstModportFTaskRef* nodep) override {
iterateChildren(nodep);
checkAll(nodep);
if (nodep->ftaskp()) nodep->ftaskp()->user1(1);
if (nodep->ftaskp()) nodep->ftaskp()->user1Inc();
}
void visit(AstRefDType* nodep) override {
iterateChildren(nodep);

15
test_regress/t/t_opt_dead.v
View File

@ -44,6 +44,20 @@ interface If_Dead;
modport modport_Dead(import if_func_Dead);
endinterface
interface Dead_caller_if;
task automatic imported_task_Dead;
endtask
modport mp_Dead(import imported_task_Dead);
endinterface
module Dead_caller_test;
Dead_caller_if di ();
task automatic uncalled_caller_Dead;
di.imported_task_Dead;
endtask
endmodule
package Pkg_public_kpt;
parameter int public_int_Keep /*verilator public_flat_rd*/ = 5;
endpackage
@ -76,6 +90,7 @@ module t ( /*AUTOARG*/);
Mod_Empty_Dead cell_empty_Dead ();
Mod_Parent_Empty_Dead cell_parent_empty_Dead ();
Dead_caller_test dead_caller_test_i ();
typedef_Dead1_t assigned_to_Dead1;
typedef_Dead2_t assigned_to_Dead2;