mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-29 20:05:52 +00:00
Code Activity

Fix segfault

Browse source
This commit is contained in:
Akash Levy 2024-07-03 02:29:48 -07:00
parent 80b50f136d
commit 30241e07eb
1 changed files with 5 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

12
frontends/verific/verific.cc
View file

@ -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())) {