Compiler warnings.

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);

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) {

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++) {

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"

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 )
     {

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 )