6 files changed, 8 insertions, 8 deletions
diff --git a/src/map/amap/amapRule.c b/src/map/amap/amapRule.c
index 7a91ccbf..94c5bb9f 100644
--- a/src/map/amap/amapRule.c
+++ b/src/map/amap/amapRule.c
@@ -190,7 +190,7 @@ Vec_Int_t * Amap_CreateRulesVector_rec( Amap_Lib_t * p, Vec_Ptr_t * vVecNods, in
 ***********************************************************************/
 Vec_Int_t * Amap_CreateRulesFromDsd_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * p, int iLit )
 {
-    Vec_Int_t * vRes;
+    Vec_Int_t * vRes = NULL;
     Vec_Ptr_t * vVecNods;
     Vec_Int_t * vNodsFanin;
     Kit_DsdObj_t * pObj;
diff --git a/src/map/cov/covBuild.c b/src/map/cov/covBuild.c
index 6ca17583..353e7aae 100644
--- a/src/map/cov/covBuild.c
+++ b/src/map/cov/covBuild.c
@@ -102,7 +102,7 @@ Abc_Obj_t * Abc_NtkCovDeriveCube( Abc_Ntk_t * pNtkNew, Abc_Obj_t * pObj, Min_Cub
 ***********************************************************************/
 Abc_Obj_t * Abc_NtkCovDeriveNode_rec( Cov_Man_t * p, Abc_Ntk_t * pNtkNew, Abc_Obj_t * pObj, int Level )
 {
-    Min_Cube_t * pCover, * pCube;
+    Min_Cube_t * pCover = NULL, * pCube;
     Abc_Obj_t * pFaninNew, * pNodeNew, * pFanin;
     Vec_Int_t * vSupp;
     int Entry, nCubes, i;
@@ -400,7 +400,7 @@ Abc_Obj_t * Abc_NtkCovDerive_rec( Cov_Man_t * p, Abc_Ntk_t * pNtkNew, Abc_Obj_t
     Abc_Obj_t * pNodeNew, * pFanin;
     Vec_Int_t * vSupp;
     Vec_Str_t * vCover;
-    int i, Entry, nCubes, Type;
+    int i, Entry, nCubes, Type = 0;
     // skip if already computed
     if ( pObj->pCopy )
         return pObj->pCopy;
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c
index 0200d347..1f3fea3e 100644
--- a/src/map/if/ifDec07.c
+++ b/src/map/if/ifDec07.c
@@ -1005,7 +1005,7 @@ void If_Dec5PerformTest()
     word z, t, t1;
 //    s = If_Dec5PerformEx();
 //    t = If_Dec6Truth( s );
-    t = 0xB0F3B0FFB0F3B0FF;
+    t = ABC_CONST(0xB0F3B0FFB0F3B0FF);
 
     Kit_DsdPrintFromTruth( (unsigned *)&t, 5 ); printf("\n");
 
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index 4b555bf8..b6591da9 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -977,9 +977,9 @@ int If_CluCountCofs( word * pF, int nVars, int nBSsize, int iShift, word pCofs[3
 // return the number of cofactors w.r.t. the topmost vars (nBSsize)
 int If_CluCountCofs4( word * pF, int nVars, int nBSsize, word pCofs[6][CLU_WRD_MAX/4] )
 {
-    word iCofs[128], iCof, Result0 = 0, Result1 = 0;
+    word iCofs[128] = {0}, iCof, Result0 = 0, Result1 = 0;
     int nMints = (1 << nBSsize);
-    int i, c, nCofs;
+    int i, c, nCofs = 0;
     assert( pCofs );
     assert( nBSsize >= 2 && nBSsize <= 6 && nBSsize < nVars );
     if ( nVars - nBSsize < 6 )
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c
index f2cdc764..2094a5d9 100644
--- a/src/map/if/ifDsd.c
+++ b/src/map/if/ifDsd.c
@@ -1678,7 +1678,7 @@ int If_DsdManAddDsd_rec( char * pStr, char ** p, int * pMatches, If_DsdMan_t * p
     }
     if ( **p == '(' || **p == '[' || **p == '<' || **p == '{' ) // and/or/xor
     {
-        int Type, nLits = 0, pLits[DAU_MAX_VAR];
+        int Type = 0, nLits = 0, pLits[DAU_MAX_VAR];
         char * q = pStr + pMatches[ *p - pStr ];
         if ( **p == '(' )
             Type = DAU_DSD_AND;
diff --git a/src/map/mpm/mpmAbc.c b/src/map/mpm/mpmAbc.c
index 65aab082..ba16b20f 100644
--- a/src/map/mpm/mpmAbc.c
+++ b/src/map/mpm/mpmAbc.c
@@ -218,7 +218,7 @@ void * Mpm_ManFromIfLogic( Mpm_Man_t * pMan )
     Vec_Int_t * vMapping, * vMapping2, * vPacking = NULL;
     Vec_Int_t * vLeaves, * vLeaves2, * vCover;
     word uTruth, * pTruth = &uTruth;
-    int i, k, Entry, iLitNew;
+    int i, k, Entry, iLitNew = 0;
 //    assert( !pMan->pPars->fDeriveLuts || pMan->pPars->fTruth );
     // start mapping and packing
     vMapping  = Vec_IntStart( Mig_ManObjNum(pMan->pMig) );