From 1dd5b150e545d9b22e790d649dc46a9d433864e0 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Thu, 13 Nov 2025 11:10:13 +0100
Subject: [PATCH] driver: garbage collect IdStrings without tracing at exit

---
 kernel/driver.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kernel/driver.cc b/kernel/driver.cc
index eae9c5276..792f78b7f 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -158,6 +158,7 @@ extern "C" {
 
 void yosys_atexit()
 {
+	RTLIL::OwningIdString::collect_garbage(false);
 #if defined(YOSYS_ENABLE_READLINE) || defined(YOSYS_ENABLE_EDITLINE)
 	if (!yosys_history_file.empty()) {
 #if defined(YOSYS_ENABLE_READLINE)