Silencing some of the gcc warnings.

5 files changed, 7 insertions, 8 deletions

diff --git a/src/map/amap/amapLib.c b/src/map/amap/amapLib.c
index bbf76a64..b11e3222 100644
--- a/src/map/amap/amapLib.c
+++ b/src/map/amap/amapLib.c
@@ -261,7 +261,7 @@ Vec_Ptr_t * Amap_LibSelectGates( Amap_Lib_t * p, int fVerbose )
 {
     Vec_Ptr_t * vSelect;
     Amap_Gat_t * pGate, * pGate2;
-    int i, k, clk = clock();
+    int i, k;//, clk = clock();
     p->pGate0   = Amap_LibFindGate( p, 0 );
     p->pGate1   = Amap_LibFindGate( p, ~0 );
     p->pGateBuf = Amap_LibFindGate( p, 0xAAAAAAAA );
@@ -343,8 +343,7 @@ Amap_Lib_t * Amap_LibReadAndPrepare( char * pFileName, int fVerbose, int fVeryVe
     p->vSelect = Amap_LibSelectGates( p, fVerbose );
     if ( fVerbose )
     {
-        printf( "Selected %d functionally unique gates. ",
-            Vec_PtrSize(p->vSelect), Vec_PtrSize(p->vSorted) );
+        printf( "Selected %d functionally unique gates. ", Vec_PtrSize(p->vSelect) );
         ABC_PRT( "Time", clock() - clk );
 //       Amap_LibPrintSelectedGates( p, 0 );
     }
@@ -352,8 +351,7 @@ Amap_Lib_t * Amap_LibReadAndPrepare( char * pFileName, int fVerbose, int fVeryVe
     Amap_LibCreateRules( p, fVeryVerbose );
     if ( fVerbose )
     {
-        printf( "Created %d rules and %d matches. ", 
-            p->nNodes, p->nSets );
+        printf( "Created %d rules and %d matches. ", p->nNodes, p->nSets );
         ABC_PRT( "Time", clock() - clk );
     }
     return p;
diff --git a/src/map/amap/amapLiberty.c b/src/map/amap/amapLiberty.c
index c31bc141..49b36848 100644
--- a/src/map/amap/amapLiberty.c
+++ b/src/map/amap/amapLiberty.c
@@ -722,6 +722,7 @@ int Amap_LibertyBuildItem( Amap_Tree_t * p, char ** ppPos, char * pEnd )
     Amap_Item_t * pItem;
     Amap_Pair_t Key, Head, Body;
     char * pNext, * pStop;
+    Key.End = 0;
     if ( Amap_LibertySkipSpaces( p, ppPos, pEnd, 0 ) )
         return -2;
     Key.Beg = *ppPos - p->pContents;
diff --git a/src/map/amap/amapMatch.c b/src/map/amap/amapMatch.c
index 40409e0d..4c213f9c 100644
--- a/src/map/amap/amapMatch.c
+++ b/src/map/amap/amapMatch.c
@@ -433,7 +433,7 @@ static inline void Amap_ManMatchGetExacts( Amap_Man_t * p, Amap_Obj_t * pNode, A
 ***********************************************************************/
 void Amap_ManMatchNode( Amap_Man_t * p, Amap_Obj_t * pNode, int fFlow, int fRefs )
 {
-    Amap_Mat_t M1, M2, * pMBest = &M1, * pMThis = &M2;
+    Amap_Mat_t M1 = {0}, M2 = {0}, * pMBest = &M1, * pMThis = &M2;
     Amap_Cut_t * pCut;
     Amap_Set_t * pSet;
     Amap_Nod_t * pNod;
diff --git a/src/map/amap/amapMerge.c b/src/map/amap/amapMerge.c
index c52642e3..19470d63 100644
--- a/src/map/amap/amapMerge.c
+++ b/src/map/amap/amapMerge.c
@@ -520,7 +520,7 @@ void Amap_ManMerge( Amap_Man_t * p )
         Amap_ManMergeNodeCuts( p, pObj );
     if ( p->pPars->fVerbose )
     {
-        printf( "AIG object is %d bytes.  ", sizeof(Amap_Obj_t) );
+        printf( "AIG object is %d bytes.  ", (int)sizeof(Amap_Obj_t) );
         printf( "Internal AIG = %5.2f Mb.  Cuts = %5.2f Mb.\n", 
             1.0*Amap_ManObjNum(p)*sizeof(Amap_Obj_t)/(1<<20), 1.0*p->nBytesUsed/(1<<20) );
         printf( "Node =%6d. Try =%9d. Try3 =%10d. Used =%7d. R =%6.2f.  ", 
diff --git a/src/map/amap/amapRule.c b/src/map/amap/amapRule.c
index 0f6c7708..e8cb48c4 100644
--- a/src/map/amap/amapRule.c
+++ b/src/map/amap/amapRule.c
@@ -338,7 +338,7 @@ void Amap_LibCreateRules( Amap_Lib_t * pLib, int fVeryVerbose )
 {
     Amap_Gat_t * pGate;
     int i, nGates = 0;
-    int clk = clock();
+//    int clk = clock();
     pLib->fVerbose = fVeryVerbose;
     pLib->vRules   = Vec_PtrAlloc( 100 );
     pLib->vRulesX  = Vec_PtrAlloc( 100 );