kernel: Design::remove(RTLIL::Module *) to check refcount_modules_

2020-04-14 09:31:06 -07:00 · 2020-04-14 09:31:06 -07:00 · 635b2b8939
parent 3a27906ac6
commit 635b2b8939
1 changed files with 1 additions and 0 deletions
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@ -597,6 +597,7 @@ void RTLIL::Design::remove(RTLIL::Module *module)
 	}

 	log_assert(modules_.at(module->name) == module);
+	log_assert(refcount_modules_ == 0);
 	modules_.erase(module->name);
 	delete module;
 }