Fix memory leak in verific file parsing.

Signed-off-by: Mike Inouye <[email protected]>
YosysHQ · Jun 7, 2024 · b0ab1cf · b0ab1cf
1 parent 54d5e56
commit b0ab1cf
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;