Compiler warnings.

8 files changed, 31 insertions, 31 deletions

diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index 93dac301..2d75581d 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -1256,10 +1256,10 @@ void Jf_ManComputeCuts( Jf_Man_t * p, int fEdge )
     }
     if ( p->pPars->fVerbose )
     {
-        printf( "CutPair = %lu  ", p->CutCount[0] );
-        printf( "Merge = %lu  ",   p->CutCount[1] );
-        printf( "Eval = %lu  ",    p->CutCount[2] );
-        printf( "Cut = %lu  ",     p->CutCount[3] );
+        printf( "CutPair = %lu  ", (long)p->CutCount[0] );
+        printf( "Merge = %lu  ",   (long)p->CutCount[1] );
+        printf( "Eval = %lu  ",    (long)p->CutCount[2] );
+        printf( "Cut = %lu  ",     (long)p->CutCount[3] );
         Abc_PrintTime( 1, "Time",  Abc_Clock() - p->clkStart );
         printf( "Memory:  " );
         printf( "Gia = %.2f MB  ", Gia_ManMemory(p->pGia) / (1<<20) );
@@ -1702,11 +1702,11 @@ void Jf_ManPrintStats( Jf_Man_t * p, char * pTitle )
     if ( !p->pPars->fVerbose )
         return;
     printf( "%s :  ", pTitle );
-    printf( "Level =%6lu   ", p->pPars->Delay );
-    printf( "Area =%9lu   ",  p->pPars->Area );
-    printf( "Edge =%9lu   ",  p->pPars->Edge );
+    printf( "Level =%6lu   ", (long)p->pPars->Delay );
+    printf( "Area =%9lu   ",  (long)p->pPars->Area );
+    printf( "Edge =%9lu   ",  (long)p->pPars->Edge );
     if ( p->pPars->fGenCnf )
-    printf( "Cnf =%9lu   ",   p->pPars->Clause );
+    printf( "Cnf =%9lu   ",   (long)p->pPars->Clause );
     Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart );
     fflush( stdout );
 }
diff --git a/src/aig/gia/giaKf.c b/src/aig/gia/giaKf.c
index caa88bfc..a823f726 100644
--- a/src/aig/gia/giaKf.c
+++ b/src/aig/gia/giaKf.c
@@ -1125,9 +1125,9 @@ void Kf_ManPrintStats( Kf_Man_t * p, char * pTitle )
     if ( !p->pPars->fVerbose )
         return;
     printf( "%s :  ", pTitle );
-    printf( "Level =%6lu   ", p->pPars->Delay );
-    printf( "Area =%9lu   ",  p->pPars->Area );
-    printf( "Edge =%9lu   ",  p->pPars->Edge );
+    printf( "Level =%6lu   ", (long)p->pPars->Delay );
+    printf( "Area =%9lu   ",  (long)p->pPars->Area );
+    printf( "Edge =%9lu   ",  (long)p->pPars->Edge );
     Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart );
     fflush( stdout );
 }
@@ -1173,10 +1173,10 @@ void Kf_ManComputeMapping( Kf_Man_t * p )
     Kf_ManComputeRefs( p );
     if ( p->pPars->fVerbose )
     {
-        printf( "CutPair = %lu  ", p->pSett->CutCount[0] );
-        printf( "Merge = %lu  ",   p->pSett->CutCount[1] );
-        printf( "Eval = %lu  ",    p->pSett->CutCount[2] );
-        printf( "Cut = %lu  ",     p->pSett->CutCount[3] );
+        printf( "CutPair = %lu  ", (long)p->pSett->CutCount[0] );
+        printf( "Merge = %lu  ",   (long)p->pSett->CutCount[1] );
+        printf( "Eval = %lu  ",    (long)p->pSett->CutCount[2] );
+        printf( "Cut = %lu  ",     (long)p->pSett->CutCount[3] );
         Abc_PrintTime( 1, "Time",  Abc_Clock() - p->clkStart );
         printf( "Memory:  " );
         printf( "Gia = %.2f MB  ", Gia_ManMemory(p->pGia) / (1<<20) );
diff --git a/src/aig/gia/giaLf.c b/src/aig/gia/giaLf.c
index 082b1928..7973966a 100644
--- a/src/aig/gia/giaLf.c
+++ b/src/aig/gia/giaLf.c
@@ -2012,14 +2012,14 @@ void Lf_ManPrintStats( Lf_Man_t * p, char * pTitle )
     if ( !p->pPars->fVerbose )
         return;
     printf( "%s :  ", pTitle );
-    printf( "Level =%6lu   ",   p->pPars->Delay );
-    printf( "Area =%9lu   ",    p->pPars->Area );
-    printf( "Edge =%9lu   ",    p->pPars->Edge );
-    printf( "LUT =%9lu  ",      p->pPars->Area+p->nInverters );
+    printf( "Level =%6lu   ",   (long)p->pPars->Delay );
+    printf( "Area =%9lu   ",    (long)p->pPars->Area );
+    printf( "Edge =%9lu   ",    (long)p->pPars->Edge );
+    printf( "LUT =%9lu  ",      (long)p->pPars->Area+p->nInverters );
     if ( Vec_FltSize(&p->vSwitches) )
         printf( "Swt =%8.1f  ", p->Switches );
     if ( p->pPars->fUseMux7 )
-        printf( "Mux7 =%7lu  ", p->pPars->Mux7 );
+        printf( "Mux7 =%7lu  ", (long)p->pPars->Mux7 );
     Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart );
     fflush( stdout );
 }
diff --git a/src/aig/gia/giaMf.c b/src/aig/gia/giaMf.c
index 591f5bc5..2ded34bd 100644
--- a/src/aig/gia/giaMf.c
+++ b/src/aig/gia/giaMf.c
@@ -1415,11 +1415,11 @@ void Mf_ManPrintStats( Mf_Man_t * p, char * pTitle )
     if ( !p->pPars->fVerbose )
         return;
     printf( "%s :  ", pTitle );
-    printf( "Level =%6lu   ",   p->pPars->Delay );
-    printf( "Area =%9lu   ",  p->pPars->Area );
-    printf( "Edge =%9lu   ",  p->pPars->Edge );
+    printf( "Level =%6lu   ",   (long)p->pPars->Delay );
+    printf( "Area =%9lu   ",  (long)p->pPars->Area );
+    printf( "Edge =%9lu   ",  (long)p->pPars->Edge );
     if ( p->pPars->fGenCnf )
-        printf( "CNF =%9lu   ", p->pPars->Clause );
+        printf( "CNF =%9lu   ", (long)p->pPars->Clause );
     Abc_PrintTime( 1, "Time", Abc_Clock() - p->clkStart );
     fflush( stdout );
 }
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c
index 757034cd..adb64d79 100644
--- a/src/base/abci/abcExact.c
+++ b/src/base/abci/abcExact.c
@@ -873,7 +873,7 @@ static void Ses_StoreRead( Ses_Store_t * pStore, const char * pFilename, int fSy
 
     fclose( pFile );
 
-    printf( "read %lu entries from file\n", nEntries );
+    printf( "read %lu entries from file\n", (long)nEntries );
 }
 
 // computes top decomposition of variables wrt. to AND and OR
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c
index 22de91ba..4b555bf8 100644
--- a/src/map/if/ifDec16.c
+++ b/src/map/if/ifDec16.c
@@ -902,7 +902,7 @@ void If_CluReverseOrder_old( word * pF, int nVars, int * V2P, int * P2V, int iVa
 // return the number of cofactors w.r.t. the topmost vars (nBSsize)
 int If_CluCountCofs( word * pF, int nVars, int nBSsize, int iShift, word pCofs[3][CLU_WRD_MAX/4] )
 {
-    word iCofs[128], iCof, Result = 0;
+    word iCofs[128] = {0}, iCof, Result = 0;
     word * pCofA, * pCofB;
     int nMints = (1 << nBSsize);
     int i, c, w, nCofs;
diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c
index 5ecf76bb..b48cfbe1 100644
--- a/src/map/scl/sclLiberty.c
+++ b/src/map/scl/sclLiberty.c
@@ -765,10 +765,10 @@ Vec_Str_t * Scl_LibertyParseGenlibStr( char * pFileName, int fVerbose )
 ***********************************************************************/
 //#define SCL_DEBUG
 #ifdef SCL_DEBUG
-static inline void Vec_StrPutI_( Vec_Str_t * vOut, int Val )     {  printf( "%d ",  Val );  Vec_StrPutI( vOut, Val );  }
-static inline void Vec_StrPutW_( Vec_Str_t * vOut, word Val )    {  printf( "%lu ", Val );  Vec_StrPutW( vOut, Val );  }
-static inline void Vec_StrPutF_( Vec_Str_t * vOut, float Val )   {  printf( "%f ",  Val );  Vec_StrPutF( vOut, Val );  }
-static inline void Vec_StrPutS_( Vec_Str_t * vOut, char * Val )  {  printf( "%s ",  Val );  Vec_StrPutS( vOut, Val );  }
+static inline void Vec_StrPutI_( Vec_Str_t * vOut, int Val )     {  printf( "%d ",  Val );        Vec_StrPutI( vOut, Val );  }
+static inline void Vec_StrPutW_( Vec_Str_t * vOut, word Val )    {  printf( "%lu ", (long)Val );  Vec_StrPutW( vOut, Val );  }
+static inline void Vec_StrPutF_( Vec_Str_t * vOut, float Val )   {  printf( "%f ",  Val );        Vec_StrPutF( vOut, Val );  }
+static inline void Vec_StrPutS_( Vec_Str_t * vOut, char * Val )  {  printf( "%s ",  Val );        Vec_StrPutS( vOut, Val );  }
 static inline void Vec_StrPut_( Vec_Str_t * vOut )               {  printf( "\n" ); }
 #else
 static inline void Vec_StrPutI_( Vec_Str_t * vOut, int Val )     { Vec_StrPutI( vOut, Val );  }
diff --git a/src/proof/acec/acecCo.c b/src/proof/acec/acecCo.c
index 1e8ed7bb..a997eb03 100644
--- a/src/proof/acec/acecCo.c
+++ b/src/proof/acec/acecCo.c
@@ -109,7 +109,7 @@ Vec_Int_t * Gia_PolynCoreOrder_int( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Wec
 {
     Vec_Int_t * vOrder  = Vec_IntAlloc( 1000 );
     Vec_Bit_t * vIsRoot = Vec_BitStart( Gia_ManObjNum(pGia) );
-    int i, k, Index, Driver, Entry1, Entry2 = -1;
+    int i, k, Index = -1, Driver, Entry1, Entry2 = -1;
     // mark roots
     Vec_IntForEachEntry( vRoots, Driver, i )
         Vec_BitWriteEntry( vIsRoot, Driver, 1 );