From 0f641f70b20a56b74a661c105ab6e8fa8d919728 Mon Sep 17 00:00:00 2001 From: Abhinav Tondapu Date: Thu, 2 Apr 2026 15:30:45 -0700 Subject: [PATCH] adding comments --- frontends/verific/verific.cc | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index b7eb6af48..375c4821d 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -129,7 +129,7 @@ static void dump_verific_file_closure(const char *output_path, Array *file_names char *abs_name = FileSystem::Convert2AbsolutePath(path, 1); if (abs_name && seen.insert(abs_name).second) files_json.push_back(std::string(abs_name)); - Strings::free(abs_name); + Strings::free(abs_name); // null-safe }; unsigned i; @@ -3335,6 +3335,15 @@ struct VerificPass : public Pass { log(" -sverilog\n"); log("\n"); log("\n"); +#endif +#ifdef VERIFIC_SYSTEMVERILOG_SUPPORT + log(" verific -dump-file-closure {-f|-F|-sv|...} \n"); + log("\n"); + log("Analyze the given sources and write the complete set of consumed source files\n"); + log("(including transitively included headers) as a JSON array to .\n"); + log("Note: -dump-file-closure must appear before the file-mode flag (-f, -F, -sv, etc.).\n"); + log("\n"); + log("\n"); #endif log(" verific [-work ] {-sv|-vhdl|...} \n"); log("\n"); @@ -3841,6 +3850,7 @@ struct VerificPass : public Pass { if (GetSize(args) > argidx && args[argidx] == "-dump-file-closure") { if (++argidx >= GetSize(args)) log_cmd_error("Missing JSON output path for -dump-file-closure.\n"); + // Must appear before -f/-F: sets dump_file_closure which is checked after ProcessFFile dump_file_closure = args[argidx++]; }