github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-21 12:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix instability after disable iff error.

Browse Source
This commit is contained in:
Wilson Snyder 2022-11-10 22:09:24 -05:00
parent fbf2e59c85
commit 528a73a492
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/V3AssertPre.cpp
View File

@ -109,6 +109,7 @@ private:
if (nodep->disablep() && propExprp->disablep()) {
nodep->v3error("disable iff expression before property call and in its "
"body is not legal");
pushDeletep(propExprp->disablep()->unlinkFrBack());
}
// If disable iff is in outer property, move it to inner
if (nodep->disablep()) {

4
test_regress/t/t_assert_disable_bad.out
View File

@ -2,6 +2,4 @@
: ... In instance t
27 | assert property (disable iff (val == 0) check(1, 1));
| ^~
%Error: Internal Error: t/t_assert_disable_bad.v:21:7: ../V3Ast.cpp:#: Adding to non-empty, non-list op2
21 | @(posedge clk)
| ^
%Error: Exiting due to