From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Aug 2020 10:22:26 +0000 (+0200)
Subject: Reorder to prevent crash
X-Git-Tag: working-ls180~287
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=04d5692a852008ec82dec78a6f639d110c6bb3a9;p=yosys.git

Reorder to prevent crash
---

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");