Compiler warnings.

9 files changed, 15 insertions, 15 deletions

diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c
index f115231f..8f68d4be 100644
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -216,7 +216,7 @@ char * Abc_ConvertBddToSop( Mem_Flex_t * pMan, DdManager * dd, DdNode * bFuncOn,
     int fVerify = 0;
     char * pSop;
     DdNode * bFuncNew, * bCover, * zCover, * zCover0, * zCover1;
-    int nCubes, nCubes0, nCubes1, fPhase;
+    int nCubes = 0, nCubes0, nCubes1, fPhase = 0;
 
     assert( bFuncOn == bFuncOnDc || Cudd_bddLeq( dd, bFuncOn, bFuncOnDc ) );
     if ( Cudd_IsConstant(bFuncOn) || Cudd_IsConstant(bFuncOnDc) )
diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c
index d50c274e..0f191707 100644
--- a/src/base/abc/abcHieNew.c
+++ b/src/base/abc/abcHieNew.c
@@ -1131,7 +1131,7 @@ extern int Abc_NtkCheckRecursive( Abc_Ntk_t * pNtk );
 void Au_NtkDeriveFlatGia_rec( Gia_Man_t * pGia, Au_Ntk_t * p )
 { 
     Au_Obj_t * pObj, * pTerm;
-    int i, k, Lit;
+    int i, k, Lit = 0;
     Au_NtkForEachPi( p, pTerm, i )
         assert( Au_ObjCopy(pTerm) >= 0 );
     if ( strcmp(Au_NtkName(p), "ref_egcd") == 0 )
diff --git a/src/base/abci/abcBm.c b/src/base/abci/abcBm.c
index 860b4d27..80bb0d83 100644
--- a/src/base/abci/abcBm.c
+++ b/src/base/abci/abcBm.c
@@ -872,7 +872,7 @@ int Abc_NtkMiterSatBm( Abc_Ntk_t * pNtk, ABC_INT64_T nConfLimit, ABC_INT64_T nIn
 {
     static sat_solver * pSat = NULL;
     lbool   status;
-    int RetValue;
+    int RetValue = 0;
     abctime clk;    
 
     extern int Abc_NodeAddClausesTop( sat_solver * pSat, Abc_Obj_t * pNode, Vec_Int_t * vVars );
@@ -970,7 +970,7 @@ int Abc_NtkBmSat( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, Vec_Ptr_t * iMatchPairs,
 
     Abc_Ntk_t * pMiter = NULL;
     Abc_Ntk_t * pCnf;
-    int RetValue;
+    int RetValue = 0;
 
     // get the miter of the two networks
     if( mode == 0 )
diff --git a/src/base/abci/abcDsd.c b/src/base/abci/abcDsd.c
index 9104c4d6..4d8f5217 100644
--- a/src/base/abci/abcDsd.c
+++ b/src/base/abci/abcDsd.c
@@ -220,7 +220,7 @@ Abc_Obj_t * Abc_NtkDsdConstructNode( Dsd_Manager_t * pManDsd, Dsd_Node_t * pNode
     DdManager * ddNew = (DdManager *)pNtkNew->pManFunc;
     Dsd_Node_t * pFaninDsd;
     Abc_Obj_t * pNodeNew, * pFanin;
-    DdNode * bLocal, * bTemp, * bVar;
+    DdNode * bLocal = NULL, * bTemp, * bVar;
     Dsd_Type_t Type;
     int i, nDecs;
 
diff --git a/src/base/abci/abcMini.c b/src/base/abci/abcMini.c
index 876f4c8c..67ce8382 100644
--- a/src/base/abci/abcMini.c
+++ b/src/base/abci/abcMini.c
@@ -60,7 +60,7 @@ Abc_Obj_t * Abc_NodeFanin1Copy( Abc_Ntk_t * pNtk, Vec_Int_t * vCopies, Mini_Aig_
 Abc_Ntk_t * Abc_NtkFromMiniAig( Mini_Aig_t * p )
 {
     Abc_Ntk_t * pNtk;
-    Abc_Obj_t * pObj;
+    Abc_Obj_t * pObj = NULL;
     Vec_Int_t * vCopies;
     int i, nNodes;
     // get the number of nodes
@@ -123,7 +123,7 @@ int Abc_NodeFanin1Copy2( Abc_Obj_t * pObj )
 Mini_Aig_t * Abc_NtkToMiniAig( Abc_Ntk_t * pNtk )
 {
     Mini_Aig_t * p;
-    Abc_Obj_t * pObj;
+    Abc_Obj_t * pObj = NULL;
     int i;
     assert( Abc_NtkIsStrash(pNtk) );
     // create the manager
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c
index 965a0ecd..6d2d58eb 100644
--- a/src/base/abci/abcRec3.c
+++ b/src/base/abci/abcRec3.c
@@ -1005,7 +1005,7 @@ int If_CutDelayRecCost3( If_Man_t * pIfMan, If_Cut_t * pCut, If_Obj_t * pObj )
 {
     Lms_Man_t * p = s_pMan3;
     char pCanonPerm[LMS_VAR_MAX];
-    unsigned uCanonPhase;
+    unsigned uCanonPhase = 0;
     // make sure the cut functions match the library
     assert( p->nVars == (int)pCut->nLimit );
     // if this assertion fires, it means that LMS manager was used for library construction
@@ -1032,7 +1032,7 @@ Hop_Obj_t * Abc_RecToHop3( Hop_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut,
 {
     Lms_Man_t * p = s_pMan3;
     char pCanonPerm[LMS_VAR_MAX];
-    unsigned uCanonPhase;
+    unsigned uCanonPhase = 0;
     Hop_Obj_t * pFan0, * pFan1, * pHopObj;
     Gia_Man_t * pGia = p->pGia;
     Gia_Obj_t * pGiaPo, * pGiaTemp = NULL;
diff --git a/src/base/abci/abcRr.c b/src/base/abci/abcRr.c
index 9a670b67..52d1fd32 100644
--- a/src/base/abci/abcRr.c
+++ b/src/base/abci/abcRr.c
@@ -384,7 +384,7 @@ p->timeProve += Abc_Clock() - clk;
 ***********************************************************************/
 int Abc_NtkRRUpdate( Abc_Ntk_t * pNtk, Abc_Obj_t * pNode, Abc_Obj_t * pFanin, Abc_Obj_t * pFanout )
 {
-    Abc_Obj_t * pNodeNew, * pFanoutNew;
+    Abc_Obj_t * pNodeNew = NULL, * pFanoutNew = NULL;
     assert( pFanout == NULL );
     assert( !Abc_ObjIsComplement(pNode) );
     assert( !Abc_ObjIsComplement(pFanin) );
diff --git a/src/base/abci/abcSat.c b/src/base/abci/abcSat.c
index bc956e5e..f0ed1532 100644
--- a/src/base/abci/abcSat.c
+++ b/src/base/abci/abcSat.c
@@ -57,7 +57,7 @@ int Abc_NtkMiterSat( Abc_Ntk_t * pNtk, ABC_INT64_T nConfLimit, ABC_INT64_T nInsL
 {
     sat_solver * pSat;
     lbool   status;
-    int RetValue;
+    int RetValue = 0;
     abctime clk;
  
     if ( pNumConfs )
@@ -677,7 +677,7 @@ int Abc_NodeAddClauses( sat_solver * pSat, char * pSop0, char * pSop1, Abc_Obj_t
 {
     Abc_Obj_t * pFanin;
     int i, c, nFanins;
-    int RetValue;
+    int RetValue = 0;
     char * pCube;
 
     nFanins = Abc_ObjFaninNum( pNode );
@@ -767,7 +767,7 @@ int Abc_NodeAddClauses( sat_solver * pSat, char * pSop0, char * pSop1, Abc_Obj_t
 int Abc_NodeAddClausesTop( sat_solver * pSat, Abc_Obj_t * pNode, Vec_Int_t * vVars )
 {
     Abc_Obj_t * pFanin;
-    int RetValue;
+    int RetValue = 0;
 
     pFanin = Abc_ObjFanin0(pNode);
     if ( Abc_ObjFaninC0(pNode) )
diff --git a/src/base/io/ioReadBblif.c b/src/base/io/ioReadBblif.c
index 2de62695..945b6259 100644
--- a/src/base/io/ioReadBblif.c
+++ b/src/base/io/ioReadBblif.c
@@ -55,7 +55,7 @@ ABC_NAMESPACE_IMPL_START
 Abc_Ntk_t * Bbl_ManToAbc( Bbl_Man_t * p )
 {
     Abc_Ntk_t * pNtk;
-    Abc_Obj_t * pObjNew;
+    Abc_Obj_t * pObjNew = NULL;
     Bbl_Obj_t * pObj, * pFanin;
     Vec_Ptr_t * vCopy;
     // start the network
@@ -160,7 +160,7 @@ Abc_Ntk_t * Bbl_ManToAig( Bbl_Man_t * p )
     extern Abc_Obj_t * Dec_GraphToAig( Abc_Ntk_t * pNtk, Dec_Graph_t * pFForm, Vec_Ptr_t * vFaninAigs );
     int fVerbose = 0;
     Abc_Ntk_t * pNtk;
-    Abc_Obj_t * pObjNew;
+    Abc_Obj_t * pObjNew = NULL;
     Bbl_Obj_t * pObj, * pFanin;
     Vec_Ptr_t * vCopy, * vNodes, * vFaninAigs;
     Dec_Graph_t ** pFForms;