diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-08-31 12:22:26 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-08-31 12:22:26 +0200 |
| commit | 04d5692a852008ec82dec78a6f639d110c6bb3a9 (patch) | |
| tree | bb948e12f2246bda2720d7256d125aea1802aa83 /frontends | |
| parent | d23e4b4dce31df5baff47a1eda917e6b7df16693 (diff) | |
| download | yosys-04d5692a852008ec82dec78a6f639d110c6bb3a9.tar.gz yosys-04d5692a852008ec82dec78a6f639d110c6bb3a9.tar.bz2 yosys-04d5692a852008ec82dec78a6f639d110c6bb3a9.zip | |
Reorder to prevent crash
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 4358d957d..40dca20ba 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -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"); |