6 files changed, 6 insertions, 6 deletions
diff --git a/src/bdd/cudd/cuddAddWalsh.c b/src/bdd/cudd/cuddAddWalsh.c
index e49490e2..9e6940d9 100644
--- a/src/bdd/cudd/cuddAddWalsh.c
+++ b/src/bdd/cudd/cuddAddWalsh.c
@@ -302,7 +302,7 @@ addWalshInt(
   int  n)
 {
     DdNode *one, *minusone;
-    DdNode *t, *u, *t1, *u1, *v, *w;
+    DdNode *t = NULL, *u = NULL, *t1, *u1, *v, *w;
     int     i;
 
     one = DD_ONE(dd);
diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 56f05e13..129b43d9 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1630,7 +1630,7 @@ ddSymmSiftingBackward(
   int  size)
 {
     Move *move;
-    int  res;
+    int  res = -1;
 
     for (move = moves; move != NULL; move = move->next) {
         if (move->size < size) {
diff --git a/src/bdd/cudd/cuddZddSymm.c b/src/bdd/cudd/cuddZddSymm.c
index 90e71adc..652548e4 100644
--- a/src/bdd/cudd/cuddZddSymm.c
+++ b/src/bdd/cudd/cuddZddSymm.c
@@ -1434,7 +1434,7 @@ cuddZddSymmSiftingBackward(
     int         i;
     int         i_best;
     Move        *move;
-    int         res;
+    int         res = -1;
 
     i_best = -1;
     for (move = moves, i = 0; move != NULL; move = move->next, i++) {
diff --git a/src/map/mapper/mapperSuper.c b/src/map/mapper/mapperSuper.c
index bd24552d..efcb90ea 100644
--- a/src/map/mapper/mapperSuper.c
+++ b/src/map/mapper/mapperSuper.c
@@ -80,7 +80,7 @@ int Map_LibraryRead( Map_SuperLib_t * pLib, char * pFileName )
 int Map_LibraryReadFile( Map_SuperLib_t * pLib, FILE * pFile )
 {
     ProgressBar * pProgress;
-    char pBuffer[2000];
+    char pBuffer[5000];
     FILE * pFileGen;
     Map_Super_t * pGate;
     char * pTemp = NULL; // Suppress "might be used uninitialized"
diff --git a/src/map/scl/sclBuff.c b/src/map/scl/sclBuff.c
index 641bddb2..8dc2a2fe 100644
--- a/src/map/scl/sclBuff.c
+++ b/src/map/scl/sclBuff.c
@@ -78,7 +78,7 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose )
 int Abc_SclCheckNtk2( Abc_Ntk_t * p )
 {
     Abc_Obj_t * pObj, * pFanout;
-    int i, k, fFlag = 0;
+    int i, k;
     Abc_NtkStartReverseLevels( p, 0 );
     Abc_NtkForEachNode( p, pObj, i )
     {
diff --git a/src/map/scl/sclUtil.c b/src/map/scl/sclUtil.c
index e6b98fa2..0356e83d 100644
--- a/src/map/scl/sclUtil.c
+++ b/src/map/scl/sclUtil.c
@@ -104,7 +104,7 @@ static int Abc_SclCompareCells( SC_Cell ** pp1, SC_Cell ** pp2 )
 }
 void Abc_SclLinkCells( SC_Lib * p )
 {
-    SC_Cell * pCell, * pRepr;
+    SC_Cell * pCell, * pRepr = NULL;
     int i, k;
     assert( Vec_PtrSize(p->vCellOrder) == 0 );
     SC_LitForEachCell( p, pCell, i )