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

Set lifetime of expr coverage variable 

Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
This commit is contained in:
Ryszard Rozak 2026-06-24 12:31:56 +02:00
parent d456384d39
commit 833eb89395
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/V3Coverage.cpp
View File

@ -824,6 +824,7 @@ class CoverageVisitor final : public VNVisitor {
if (pair.second) { if (pair.second) {
varp = new AstVar{fl, VVarType::MODULETEMP, m_exprTempNames.get(frefp), varp = new AstVar{fl, VVarType::MODULETEMP, m_exprTempNames.get(frefp),
dtypep}; dtypep};
varp->lifetime(VLifetime::AUTOMATIC_EXPLICIT);
pair.first->second = varp; pair.first->second = varp;
if (m_ftaskp) { if (m_ftaskp) {
varp->funcLocal(true); varp->funcLocal(true);

5
test_regress/t/t_cover_expr_fork.v
View File

@ -13,6 +13,9 @@ module t;
if (!x) begin if (!x) begin
cnt++; cnt++;
end end
if (!$onehot(x)) begin
cnt++;
end
end end
join_none join_none
endtask endtask
@ -20,7 +23,7 @@ module t;
initial begin initial begin
myTask(); myTask();
#1; #1;
if (cnt != 1) $stop; if (cnt != 2) $stop;
$write("*-* All Finished *-*\n"); $write("*-* All Finished *-*\n");
$finish; $finish;