8 files changed, 11 insertions, 11 deletions
diff --git a/src/aig/gia/giaCSat.c b/src/aig/gia/giaCSat.c
index 65cf2961..e0e0e315 100644
--- a/src/aig/gia/giaCSat.c
+++ b/src/aig/gia/giaCSat.c
@@ -860,7 +860,7 @@ int Cbs_ManPropagate( Cbs_Man_t * p, int Level )
 int Cbs_ManSolve_rec( Cbs_Man_t * p, int Level )
 { 
     Cbs_Que_t * pQue = &(p->pClauses);
-    Gia_Obj_t * pVar, * pDecVar;
+    Gia_Obj_t * pVar = NULL, * pDecVar;
     int hClause, hLearn0, hLearn1;
     int iPropHead, iJustHead, iJustTail;
     // propagate assignments
diff --git a/src/aig/gia/giaCSatOld.c b/src/aig/gia/giaCSatOld.c
index a562c8ae..43a65a4b 100644
--- a/src/aig/gia/giaCSatOld.c
+++ b/src/aig/gia/giaCSatOld.c
@@ -585,7 +585,7 @@ int Cbs0_ManPropagate( Cbs0_Man_t * p )
 ***********************************************************************/
 int Cbs0_ManSolve_rec( Cbs0_Man_t * p )
 {
-    Gia_Obj_t * pVar, * pDecVar;
+    Gia_Obj_t * pVar = NULL, * pDecVar;
     int iPropHead, iJustHead, iJustTail;
     // propagate assignments
     assert( !Cbs0_QueIsEmpty(&p->pProp) );
diff --git a/src/aig/gia/giaCTas.c b/src/aig/gia/giaCTas.c
index 73575733..3dded68b 100644
--- a/src/aig/gia/giaCTas.c
+++ b/src/aig/gia/giaCTas.c
@@ -1285,7 +1285,7 @@ int Tas_ManPropagate( Tas_Man_t * p, int Level )
 int Tas_ManSolve_rec( Tas_Man_t * p, int Level )
 { 
     Tas_Que_t * pQue = &(p->pClauses);
-    Gia_Obj_t * pVar, * pDecVar = NULL;
+    Gia_Obj_t * pVar = NULL, * pDecVar = NULL;
     int hClause, hLearn0, hLearn1;
     int iPropHead, iJustHead, iJustTail;
     // propagate assignments
diff --git a/src/aig/gia/giaEnable.c b/src/aig/gia/giaEnable.c
index b7d0616d..3377a49c 100644
--- a/src/aig/gia/giaEnable.c
+++ b/src/aig/gia/giaEnable.c
@@ -516,7 +516,7 @@ Gia_Man_t * Gia_ManRemoveEnables( Gia_Man_t * p )
     Vec_Ptr_t * vCtrls, * vDatas;
     Vec_Int_t * vFlopClasses;
     Gia_Man_t * pNew, * pAux; 
-    Gia_Obj_t * pFlopIn, * pFlopOut, * pDriver, * pFan0, * pFan1, * pCtrl, * pData, * pObj;
+    Gia_Obj_t * pFlopIn, * pFlopOut, * pDriver, * pFan0, * pFan1, * pCtrl = NULL, * pData, * pObj;
     int i, iClass, fCompl, Counter = 0;
     vCtrls = Vec_PtrAlloc( 100 );
     Vec_PtrPush( vCtrls, NULL );
diff --git a/src/aig/gia/giaFrames.c b/src/aig/gia/giaFrames.c
index 3b33e3de..39493be8 100644
--- a/src/aig/gia/giaFrames.c
+++ b/src/aig/gia/giaFrames.c
@@ -438,7 +438,7 @@ void * Gia_ManUnrollAdd( void * pMan, int fMax )
 {
     Gia_ManUnr_t * p = (Gia_ManUnr_t *)pMan;
     Gia_Obj_t * pObj;
-    int f, i, Lit, Beg, End;
+    int f, i, Lit = 0, Beg, End;
     // create PIs on demand
     if ( p->pPars->fSaveLastLit ) 
         for ( i = 0; i < Gia_ManPiNum(p->pAig); i++ )
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 70cf707d..f2d63060 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -773,7 +773,7 @@ static inline If_Obj_t * If_ManFanin1Copy( If_Man_t * pIfMan, Gia_Obj_t * pObj )
 If_Man_t * Gia_ManToIf( Gia_Man_t * p, If_Par_t * pPars )
 {
     If_Man_t * pIfMan;
-    If_Obj_t * pIfObj;
+    If_Obj_t * pIfObj = NULL;
     Gia_Obj_t * pObj;
     int i;
     // create levels with choices
@@ -1500,7 +1500,7 @@ int Gia_ManFromIfLogicFindLut( If_Man_t * pIfMan, Gia_Man_t * pNew, If_Cut_t * p
 ***********************************************************************/
 void Gia_ManFromIfGetConfig( Vec_Int_t * vConfigs, If_Man_t * pIfMan, If_Cut_t * pCutBest, int iLit, Vec_Str_t * vConfigsStr )
 {
-    If_Obj_t * pIfObj;
+    If_Obj_t * pIfObj = NULL;
     word * pPerm = If_DsdManGetFuncConfig( pIfMan->pIfDsdMan, If_CutDsdLit(pIfMan, pCutBest) ); // cell input -> DSD input
     char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input
     word * pArray;  int v, i, Lit, Var;
@@ -2296,7 +2296,7 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars )
         pNew = Gia_ManFromIfLogic( pIfMan );
     if ( p->vCiArrs || p->vCoReqs )
     {
-        If_Obj_t * pIfObj;
+        If_Obj_t * pIfObj = NULL;
         Vec_IntFreeP( &p->vCoArrs );
         p->vCoArrs = Vec_IntAlloc( Gia_ManCoNum(p) );
         If_ManForEachCo( pIfMan, pIfObj, i )
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c
index b4150807..3fb8aecb 100644
--- a/src/aig/gia/giaMini.c
+++ b/src/aig/gia/giaMini.c
@@ -61,7 +61,7 @@ Gia_Man_t * Gia_ManFromMiniAig( Mini_Aig_t * p, Vec_Int_t ** pvCopies )
 {
     Gia_Man_t * pGia, * pTemp;
     Vec_Int_t * vCopies;
-    int i, iGiaLit, nNodes;
+    int i, iGiaLit = 0, nNodes;
     // get the number of nodes
     nNodes = Mini_AigNodeNum(p);
     // create ABC network
diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c
index 58acbb69..b1c5eb82 100644
--- a/src/aig/gia/giaSwitch.c
+++ b/src/aig/gia/giaSwitch.c
@@ -146,7 +146,7 @@ void Gia_ManSwiDelete( Gia_ManSwi_t * p )
 ***********************************************************************/
 static inline void Gia_ManSwiSimInfoRandom( Gia_ManSwi_t * p, unsigned * pInfo, int nProbNum )
 {
-    unsigned Mask;
+    unsigned Mask = 0;
     int w, i;
     if ( nProbNum == -1 )
     { // 3/8 = 1/4 + 1/8
@@ -185,7 +185,7 @@ static inline void Gia_ManSwiSimInfoRandom( Gia_ManSwi_t * p, unsigned * pInfo,
 ***********************************************************************/
 static inline void Gia_ManSwiSimInfoRandomShift( Gia_ManSwi_t * p, unsigned * pInfo, int nProbNum )
 {
-    unsigned Mask;
+    unsigned Mask = 0;
     int w, i;
     if ( nProbNum == -1 )
     { // 3/8 = 1/4 + 1/8