driver: garbage collect IdStrings without tracing at exit

widlarizer · widlarizer · commit 1dd5b150e545 · 2025-11-13T14:10:52.000+01:00
diff --git 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)

Original file line number	Diff line number	Diff line change
`@@ -158,6 +158,7 @@ extern "C" {`
`158`	`158`
`159`	`159`	`void yosys_atexit()`
`160`	`160`	`{`
	`161`	`+ RTLIL::OwningIdString::collect_garbage(false);`
`161`	`162`	`#if defined(YOSYS_ENABLE_READLINE) \|\| defined(YOSYS_ENABLE_EDITLINE)`
`162`	`163`	`if (!yosys_history_file.empty()) {`
`163`	`164`	`#if defined(YOSYS_ENABLE_READLINE)`