diff --git a/src/aig/saig/saigIoa.c b/src/aig/saig/saigIoa.c
index 610dd1f90..c235c186e 100644
--- a/src/aig/saig/saigIoa.c
+++ b/src/aig/saig/saigIoa.c
@@ -45,7 +45,7 @@ ABC_NAMESPACE_IMPL_START
 ***********************************************************************/
 char * Saig_ObjName( Aig_Man_t * p, Aig_Obj_t * pObj )
 {
-    static char Buffer[100];
+    static char Buffer[1000];
     if ( Aig_ObjIsNode(pObj) || Aig_ObjIsConst1(pObj) )
         sprintf( Buffer, "n%0*d", (unsigned char)Abc_Base10Log(Aig_ManObjNumMax(p)), Aig_ObjId(pObj) );
     else if ( Saig_ObjIsPi(p, pObj) )
diff --git a/src/base/abci/abcSaucy.c b/src/base/abci/abcSaucy.c
index e4d1cc42c..faf870bf3 100644
--- a/src/base/abci/abcSaucy.c
+++ b/src/base/abci/abcSaucy.c
@@ -2650,7 +2650,8 @@ saucy_alloc(Abc_Ntk_t * pNtk)
     if (s->ninduce && s->sinduce && s->left.cfront && s->left.clen
         && s->right.cfront && s->right.clen
         && s->stuff && s->bucket && s->count && s->ccount
-        && s->clist && s->nextnon-1 && s->prevnon
+        //&& s->clist && s->nextnon-1 && s->prevnon
+        && s->clist && s->nextnon[-1] && s->prevnon
         && s->start && s->gamma && s->theta && s->left.unlab
         && s->right.lab && s->right.unlab
         && s->left.lab &&  s->splitvar && s->splitwho && s->junk
diff --git a/src/base/wln/wlnNdr.c b/src/base/wln/wlnNdr.c
index 33a530e4e..5fc598002 100644
--- a/src/base/wln/wlnNdr.c
+++ b/src/base/wln/wlnNdr.c
@@ -256,7 +256,7 @@ Wln_Ntk_t * Wln_NtkFromNdr( void * pData, int fDump )
     pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
     for ( i = 1; i <= NameIdMax; i++ )
     {
-        char pName[1000]; sprintf( pName, "s%0*d", nDigits, i );
+        char pName[1000]; sprintf( pName, "s%0*d", (unsigned char)nDigits, i );
         NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
         assert( !fFound && i == NameId );
     }
diff --git a/src/base/wln/wlnRead.c b/src/base/wln/wlnRead.c
index b45e51f26..83dd850ba 100644
--- a/src/base/wln/wlnRead.c
+++ b/src/base/wln/wlnRead.c
@@ -576,7 +576,7 @@ void Rtl_NtkNormRanges( Rtl_Ntk_t * p )
         int Offset = Rtl_WireOffset( p, Wire );
         int First  = Rtl_WireFirst( p, Wire );
         assert( First >> 4 == NameId );
-        if ( Offset );
+        if ( Offset )
         {
             Left  -= Offset;
             Right -= Offset;
@@ -1098,13 +1098,13 @@ void Rtl_NtkPrintWire( Rtl_Ntk_t * p, int * pWire )
 void Rtl_NtkPrintCell( Rtl_Ntk_t * p, int * pCell )
 {
     int i, Par, Val;
-    Rtl_CellForEachAttr( p, pCell, Par, Val, i )
-        fprintf( Rtl_NtkFile(p), "  attribute %s %s\n", Rtl_NtkStr(p, Par), Rtl_NtkStr(p, Val) );
+    Rtl_CellForEachAttr( p, pCell, Par, Val, i )  {
+        fprintf( Rtl_NtkFile(p), "  attribute %s %s\n", Rtl_NtkStr(p, Par), Rtl_NtkStr(p, Val) );  }
         fprintf( Rtl_NtkFile(p), "  cell %s %s\n", Rtl_NtkStr(p, Rtl_CellType(pCell)), Rtl_NtkStr(p, pCell[1]) );
     Rtl_CellForEachParam( p, pCell, Par, Val, i )
         fprintf( Rtl_NtkFile(p), "    parameter" ), Rtl_NtkPrintSig(p, Par), Rtl_NtkPrintSig(p, Val), printf( "\n" );
-    Rtl_CellForEachConnect( p, pCell, Par, Val, i )
-        fprintf( Rtl_NtkFile(p), "    connect" ), Rtl_NtkPrintSig(p, Par), Rtl_NtkPrintSig(p, Val), printf( "\n" );
+    Rtl_CellForEachConnect( p, pCell, Par, Val, i ) {
+        fprintf( Rtl_NtkFile(p), "    connect" ), Rtl_NtkPrintSig(p, Par), Rtl_NtkPrintSig(p, Val), printf( "\n" ); }
         fprintf( Rtl_NtkFile(p), "  end\n" );
 }
 void Rtl_NtkPrintConnection( Rtl_Ntk_t * p, int * pCon )
diff --git a/src/bool/bdc/bdcSpfd.c b/src/bool/bdc/bdcSpfd.c
index 02e932fea..9c16a7fbf 100644
--- a/src/bool/bdc/bdcSpfd.c
+++ b/src/bool/bdc/bdcSpfd.c
@@ -211,7 +211,7 @@ void Bdc_SpfdDecompose( word Truth, int nVars, int nCands, int nGatesMax )
     vWeight = Vec_IntAlloc( 100 );
 
     // initialize elementary variables
-    pNode = ABC_CALLOC( Bdc_Nod_t, nVars );
+    pNode = ABC_CALLOC( Bdc_Nod_t, (unsigned char)nVars );
     for ( i = 0; i < nVars; i++ )
         pNode[i].Truth  = Truths[i];
     for ( i = 0; i < nVars; i++ )