From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 6 Aug 2013 13:03:46 +0000 (+0200)
Subject: Added proper deallocation of history buffer
X-Git-Tag: yosys-0.2.0~522
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff965424c2bc82cba4380a785b1a22c3249686fd;p=yosys.git

Added proper deallocation of history buffer
---

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 0bb12f94d..8765c8b87 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -617,6 +617,11 @@ int main(int argc, char **argv)
 			write_history(history_file.c_str());
 	}
 
+	clear_history();
+	HIST_ENTRY **hist_list = history_list();
+	if (hist_list != NULL)
+		free(hist_list);
+
 	for (auto f : log_files)
 		if (f != stderr)
 			fclose(f);