From 04d5692a852008ec82dec78a6f639d110c6bb3a9 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 31 Aug 2020 12:22:26 +0200 Subject: [PATCH] Reorder to prevent crash --- frontends/verific/verific.cc | 6 +++--- 1 file 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"); -- 2.30.2