Put dummy reference to empty idstring in yosys_shutdown()

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index fa9fffa62896100791a5051c327e91dacf43a69f..ac1bc7abfaa5b5767cc3fa7a869f913532ef84e3 100644 (file)
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -420,6 +420,9 @@ void yosys_shutdown()
        loaded_plugins.clear();
        loaded_plugin_aliases.clear();
 #endif
+
+       IdString empty_id;
+       IdString::put_reference(empty_id.index_);
 }
 
 RTLIL::IdString new_id(std::string file, int line, std::string func)