Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Fix false LATCH warning on --assert 'unique else if' (#4033) (#4054).

Browse Source
This commit is contained in:
Jesse Taube 2023-03-21 04:42:19 -04:00 committed by GitHub
parent 2aa6a229ca
commit daf157e6c0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changes
View File

@ -19,6 +19,7 @@ Verilator 5.009 devel
* Support $fopen as an expression. * Support $fopen as an expression.
* Support class extends of package::class. * Support class extends of package::class.
* Change ZERODLY to a warning. * Change ZERODLY to a warning.
* Fix false LATCH warning on --assert 'unique else if' (#4033). [Jesse Taube]
* Fix UNDRIVEN warning seg fault (#3989). [Felix Neumärker] * Fix UNDRIVEN warning seg fault (#3989). [Felix Neumärker]
* Fix symbol entries when inheriting classes (#3995) (#3996). [Krzysztof Boroński] * Fix symbol entries when inheriting classes (#3995) (#3996). [Krzysztof Boroński]
* Fix push to dynamic queue in struct (#4015). [ezchi] * Fix push to dynamic queue in struct (#4015). [ezchi]

1
docs/CONTRIBUTORS
View File

@ -61,6 +61,7 @@ Jamie Iles
Jan Van Winkel Jan Van Winkel
Jean Berniolles Jean Berniolles
Jeremy Bennett Jeremy Bennett
Jesse Taube
Jevin Sweval Jevin Sweval
Jiacheng Qian Jiacheng Qian
Jiuyang Liu Jiuyang Liu

1
src/V3Const.cpp
View File

@ -2975,6 +2975,7 @@ private:
AstNode* const thensp = nodep->thensp()->unlinkFrBackWithNext(); AstNode* const thensp = nodep->thensp()->unlinkFrBackWithNext();
AstNode* const elsesp = nodep->elsesp()->unlinkFrBackWithNext(); AstNode* const elsesp = nodep->elsesp()->unlinkFrBackWithNext();
AstIf* const ifp = new AstIf{nodep->fileline(), condp, elsesp, thensp}; AstIf* const ifp = new AstIf{nodep->fileline(), condp, elsesp, thensp};
ifp->isBoundsCheck(nodep->isBoundsCheck()); // Copy bounds check info
ifp->branchPred(nodep->branchPred().invert()); ifp->branchPred(nodep->branchPred().invert());
nodep->replaceWith(ifp); nodep->replaceWith(ifp);
VL_DO_DANGLING(nodep->deleteTree(), nodep); VL_DO_DANGLING(nodep->deleteTree(), nodep);