From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 5 Jul 2013 13:00:20 +0000 (+0200)
Subject: Fixed gcc warnings in ezminisat
X-Git-Tag: yosys-0.2.0~550
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f519297da93778da78539560a346608cfef09716;p=yosys.git

Fixed gcc warnings in ezminisat
---

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 56f04fefd..a9f680b98 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -119,8 +119,8 @@ contradiction:
 		else
 			assumps.push(Minisat::mkLit(minisatVars.at(-idx-1), true));
 
-	sighandler_t old_alarm_sighandler;
-	int old_alarm_timeout;
+	sighandler_t old_alarm_sighandler = NULL;
+	int old_alarm_timeout = 0;
 
 	if (solverTimeout > 0) {
 		alarmHandlerThis = this;