From 30241e07eb1cfc5165a43486c6661ac5c7d07c44 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 3 Jul 2024 02:29:48 -0700 Subject: [PATCH] Fix segfault --- frontends/verific/verific.cc | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 2c22398da..88dd87492 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3682,13 +3682,6 @@ struct VerificPass : public Pass { if (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF") { veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : ((args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : veri_file::F_FILE_CAPITAL_NESTED); Array *file_names = veri_file::ProcessFFile(args[++argidx].c_str(), flags, verilog_mode); - if (args[++argidx] == "-ignore_translate_off") { - // Ignore translate_off statements - log("AUTO-DISCOVER: ignoring translate_off directives\n"); - hdl_file_sort::SetIgnoreTranslateOff(1); - veri_file::SetIgnoreTranslateOff(1); - argidx++; - } veri_file::AddVFile("preqorsor/data/blackboxes.v"); FOREACH_ARRAY_ITEM(veri_file::IncludeDirs(), i, dir_name) { if (!hdl_file_sort::RegisterDir(dir_name)) { @@ -3742,6 +3735,11 @@ struct VerificPass : public Pass { log("AUTO-DISCOVER: registered file %s from .f file processing\n", file_name); } delete file_names; + } else if (args[argidx] == "-ignore_translate_off") { + // Ignore translate_off statements + log("AUTO-DISCOVER: ignoring translate_off directives\n"); + hdl_file_sort::SetIgnoreTranslateOff(1); + veri_file::SetIgnoreTranslateOff(1); } else { veri_file::AddIncludeDir(args[argidx].c_str()); if (!hdl_file_sort::RegisterDir(args[argidx].c_str())) {