Merge pull request #4434 from mikesinouye/asan

Fix memory leak in verific file parsing.
YosysHQ · Jun 8, 2024 · 078c14f · 078c14f
2 parents 8278364 + b0ab1cf
commit 078c14f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
@@ -3510,6 +3510,12 @@ struct VerificPass : public Pass {
 					verific_error_msg.clear();
 					log_cmd_error("Reading Verilog/SystemVerilog sources failed.\n");
 			}
+			char* fn;
+			int i = 0;
+
+			FOREACH_ARRAY_ITEM(&file_names, i, fn) {
+				free(fn);
+			}
 			set_modules_to_blackbox(map, work, flag_lib);
 			verific_import_pending = true;
 			goto check_error;