github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-05-01 22:17:38 +00:00
Code Issues Releases Wiki Activity

Reorder to prevent crash

Browse Source
This commit is contained in:
Miodrag Milanovic
2020-08-31 12:22:26 +02:00
parent d23e4b4dce
commit 04d5692a85
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
frontends/verific/verific.cc
View File

@@ -2475,7 +2475,7 @@ struct VerificPass : public Pass {
goto check_error;
}
if (args[argidx] == "-app" && argidx+1 < GetSize(args))
if (argidx+1 < GetSize(args) && args[argidx] == "-app")
{
VerificFormalApplications vfa;
auto apps = vfa.GetApps();
@@ -2519,7 +2519,7 @@ struct VerificPass : public Pass {
goto check_error;
}
if (args[argidx] == "-pp" && argidx < GetSize(args))
if (argidx < GetSize(args) && args[argidx] == "-pp")
{
const char* filename = nullptr;
const char* module = nullptr;
@@ -2561,7 +2561,7 @@ struct VerificPass : public Pass {
goto check_error;
}
if (args[argidx] == "-template" && argidx < GetSize(args))
if (argidx < GetSize(args) && args[argidx] == "-template")
{
if (!(argidx < GetSize(args)))
cmd_error(args, argidx, "No template type specified.\n");