diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 09:31:06 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 09:31:06 -0700 |
commit | 635b2b8939f32a3551114332147a8323217f4474 (patch) | |
tree | b56d7ca1939f7115443c7933ab90563fc4ca2911 /kernel | |
parent | 3a27906ac65a1287d1cc4ea758e639b608e152a6 (diff) | |
download | yosys-635b2b8939f32a3551114332147a8323217f4474.tar.gz yosys-635b2b8939f32a3551114332147a8323217f4474.tar.bz2 yosys-635b2b8939f32a3551114332147a8323217f4474.zip |
kernel: Design::remove(RTLIL::Module *) to check refcount_modules_
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/rtlil.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index d9003f28c..3e27fdecd 100644 --- 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; } |