Make 'disable isn't underneath a begin' into UNSUPPORTED error (#4699).

This commit is contained in:
Wilson Snyder 2024-04-27 21:30:40 -04:00
parent 27b7e70218
commit 8ed269c77f
2 changed files with 4 additions and 2 deletions

View File

@ -341,7 +341,8 @@ class LinkJumpVisitor final : public VNVisitor {
} }
// if (debug() >= 9) { UINFO(0, "\n"); blockp->dumpTree("- labeli: "); } // if (debug() >= 9) { UINFO(0, "\n"); blockp->dumpTree("- labeli: "); }
if (!blockp) { if (!blockp) {
nodep->v3error("disable isn't underneath a begin with name: " << nodep->prettyNameQ()); nodep->v3warn(E_UNSUPPORTED,
"disable isn't underneath a begin with name: " << nodep->prettyNameQ());
} else if (AstBegin* const beginp = VN_CAST(blockp, Begin)) { } else if (AstBegin* const beginp = VN_CAST(blockp, Begin)) {
// Jump to the end of the named block // Jump to the end of the named block
AstJumpLabel* const labelp = findAddLabel(beginp, false); AstJumpLabel* const labelp = findAddLabel(beginp, false);

View File

@ -13,7 +13,8 @@
%Error: t/t_func_return_bad.v:19:7: break isn't underneath a loop %Error: t/t_func_return_bad.v:19:7: break isn't underneath a loop
19 | break; 19 | break;
| ^~~~~ | ^~~~~
%Error: t/t_func_return_bad.v:22:7: disable isn't underneath a begin with name: 'foo' %Error-UNSUPPORTED: t/t_func_return_bad.v:22:7: disable isn't underneath a begin with name: 'foo'
22 | disable foo; 22 | disable foo;
| ^~~~~~~ | ^~~~~~~
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error: Exiting due to %Error: Exiting due to