From c8f7441a4a0bd7e129bd3029abab038ebbfc2269 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 5 Jun 2024 09:33:03 -0700
Subject: [PATCH] Fix skip default value

---
 frontends/verific/verific.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 37a0fd08c..4513e7f1a 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3521,7 +3521,7 @@ struct VerificPass : public Pass {
 					// }
 					int orig_argidx = argidx;
 					FOREACH_ARRAY_ITEM(file_names, i, file_name) {
-						bool skip;
+						bool skip = false;
 						for (argidx = orig_argidx; argidx < GetSize(args) && args[argidx] == "-i"; argidx++) {
 							string ignore_file = args[++argidx];
 							if (string(file_name) == ignore_file) {