From c3d6821f7d5c5d32fabb3784bc9aeb310269cadf Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Fri, 22 Nov 2024 20:04:39 -0800
Subject: [PATCH] Removing compiler warnings and errors

---
 frontends/verific/decorate_loops.h | 2 ++
 frontends/verific/verific.cc       | 6 ++++++
 verific                            | 2 +-
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/frontends/verific/decorate_loops.h b/frontends/verific/decorate_loops.h
index acd3a2d9b4a..fdf1998567f 100644
--- a/frontends/verific/decorate_loops.h
+++ b/frontends/verific/decorate_loops.h
@@ -17,6 +17,8 @@
  *
  */
 #ifdef VERIFIC_LINEFILE_INCLUDES_LOOPS
+#include <stack>
+
 /*
     This Visitor decorates the AST with a loop ID attribute for all outer for loops.
     All AST nodes contained within the subtree of an outer for-loop
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 833300fdeba..22512c67db6 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2881,6 +2881,8 @@ std::set<std::string> import_tops(const char* work, std::map<std::string,Netlist
 				}
 				continue;
 			}
+#else
+			(void) top; // silience warnings
 #endif
 			log_error("Can't find module/unit '%s'.\n", name);
 		}
@@ -3794,7 +3796,9 @@ struct VerificPass : public Pass {
 		if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF"))
 		{
 			unsigned verilog_mode = veri_file::SYSTEM_VERILOG;
+#ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 			bool is_formal = false;
+#endif
 			const char* filename = nullptr;
 
 #ifndef SILIMATE_VERIFIC_EXTENSIONS
@@ -3817,7 +3821,9 @@ struct VerificPass : public Pass {
 					continue;
 				} else if (args[argidx] == "-sv2012" || args[argidx] == "-sv" || args[argidx] == "-formal") {
 					verilog_mode = veri_file::SYSTEM_VERILOG;
+#ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 					if (args[argidx] == "-formal") is_formal = true;
+#endif
 					continue;
 				} else if (args[argidx].compare(0, 1, "-") == 0) {
 					cmd_error(args, argidx, "unknown option");
diff --git a/verific b/verific
index 182a3069817..419f9ac5219 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 182a3069817595bc743a969d97824abe9cf67de6
+Subproject commit 419f9ac5219be9df31e9250090ce31fa69c00e43