From cb4631e64e9a95cafc4ef31a60f006c7f067cf91 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 17 Oct 2013 18:04:07 -0700
Subject: Compiler warnings.

---
 src/aig/saig/saigInd.c   | 4 ++--
 src/aig/saig/saigSynch.c | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/aig/saig')

diff --git a/src/aig/saig/saigInd.c b/src/aig/saig/saigInd.c
index 90b8e51f..f437dba0 100644
--- a/src/aig/saig/saigInd.c
+++ b/src/aig/saig/saigInd.c
@@ -149,8 +149,8 @@ int Saig_ManAddUniqueness( sat_solver * pSat, Vec_Int_t * vState, int nRegs, int
 int Saig_ManInduction( Aig_Man_t * p, int nTimeOut, int nFramesMax, int nConfMax, int fUnique, int fUniqueAll, int fGetCex, int fVerbose, int fVeryVerbose )
 {
     sat_solver * pSat;
-    Aig_Man_t * pAigPart;
-    Cnf_Dat_t * pCnfPart;
+    Aig_Man_t * pAigPart = NULL;
+    Cnf_Dat_t * pCnfPart = NULL;
     Vec_Int_t * vTopVarNums, * vState, * vTopVarIds = NULL;
     Vec_Ptr_t * vTop, * vBot;
     Aig_Obj_t * pObjPi, * pObjPiCopy, * pObjPo;
diff --git a/src/aig/saig/saigSynch.c b/src/aig/saig/saigSynch.c
index 02b8ed12..b239d3a6 100644
--- a/src/aig/saig/saigSynch.c
+++ b/src/aig/saig/saigSynch.c
@@ -407,7 +407,7 @@ Vec_Str_t * Saig_SynchSequence( Aig_Man_t * pAig, int nWords )
     int fVerify   =   1;  // verify the resulting pattern
     Vec_Str_t * vSequence;
     Vec_Ptr_t * vSimInfo;
-    int nTerPrev, nTerCur, nTerCur2;
+    int nTerPrev, nTerCur = 0, nTerCur2;
     int iPatBest, RetValue, s, t;
     assert( Saig_ManRegNum(pAig) > 0 );
     // reset random numbers
-- 
cgit v1.2.3