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 loss of V3Simulate on expression statements.

Browse Source
This commit is contained in:
Wilson Snyder 2022-11-10 20:49:11 -05:00
parent 16586d1d37
commit fbf2e59c85
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/V3Simulate.h
View File

@ -863,6 +863,12 @@ private:
void visit(AstComment*) override {} void visit(AstComment*) override {}
void visit(AstStmtExpr* nodep) override {
if (jumpingOver(nodep)) return;
checkNodeInfo(nodep);
iterateChildren(nodep);
}
void visit(AstJumpBlock* nodep) override { void visit(AstJumpBlock* nodep) override {
if (jumpingOver(nodep)) return; if (jumpingOver(nodep)) return;
iterateChildren(nodep); iterateChildren(nodep);

4
test_regress/t/t_assert_disable_bad.out
View File

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