luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-06 10:03:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add internal assertion that VarScopes properly formed.

Browse Source
This commit is contained in:
Wilson Snyder
2020-11-14 16:13:06 -05:00
parent c64cc989f0
commit e74cc32f2d
4 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Descope.cpp
+1
View File
@@ -304,6 +304,7 @@ public:
void V3Descope::descopeAll(AstNetlist* nodep) {
UINFO(2, __FUNCTION__ << ": " << endl);
v3Global.assertScoped(false);
{ DescopeVisitor visitor(nodep); } // Destruct before checking
V3Global::dumpCheckGlobalTree("descope", 0, v3Global.opt.dumpTreeLevel(__FILE__) >= 3);
}