mirror of
https://github.com/verilator/verilator.git
synced 2026-09-02 10:48:27 +02:00
Improve error that assert-under-assert is unsupported
This commit is contained in:
@@ -89,7 +89,9 @@ private:
|
||||
}
|
||||
}
|
||||
void visit(AstNodeCoverOrAssert* nodep) override {
|
||||
if (m_assertp) nodep->v3error("Assert not allowed under another assert");
|
||||
if (m_assertp) {
|
||||
nodep->v3warn(E_UNSUPPORTED, "Unsupported: Assert not allowed under another assert");
|
||||
}
|
||||
m_assertp = nodep;
|
||||
iterateChildren(nodep);
|
||||
m_assertp = nullptr;
|
||||
|
||||
Reference in New Issue
Block a user