Silencing some of the gcc warnings.

11 files changed, 13 insertions, 16 deletions

diff --git a/src/opt/cgt/cgtAig.c b/src/opt/cgt/cgtAig.c
index 757ebb85..b2cfd36f 100644
--- a/src/opt/cgt/cgtAig.c
+++ b/src/opt/cgt/cgtAig.c
@@ -90,7 +90,7 @@ void Cgt_ManDetectCandidates( Aig_Man_t * pAig, Aig_Obj_t * pObj, int nLevelMax,
 void Cgt_ManDetectFanout_rec( Aig_Man_t * pAig, Aig_Obj_t * pObj, int nOdcMax, Vec_Ptr_t * vFanout )
 {
     Aig_Obj_t * pFanout;
-    int f, iFanout;
+    int f, iFanout = -1;
     if ( Aig_ObjIsPo(pObj) || Aig_ObjLevel(pObj) > nOdcMax )
         return;
     if ( Aig_ObjIsTravIdCurrent(pAig, pObj) )
@@ -115,7 +115,7 @@ void Cgt_ManDetectFanout_rec( Aig_Man_t * pAig, Aig_Obj_t * pObj, int nOdcMax, V
 void Cgt_ManDetectFanout( Aig_Man_t * pAig, Aig_Obj_t * pObj, int nOdcMax, Vec_Ptr_t * vFanout )
 {
     Aig_Obj_t * pFanout;
-    int i, k, f, iFanout;
+    int i, k, f, iFanout = -1;
     // collect visited nodes
     Vec_PtrClear( vFanout );
     Aig_ManIncrementTravId( pAig );
diff --git a/src/opt/cgt/cgtCore.c b/src/opt/cgt/cgtCore.c
index 958080c9..27810e1a 100644
--- a/src/opt/cgt/cgtCore.c
+++ b/src/opt/cgt/cgtCore.c
@@ -286,7 +286,7 @@ Aig_Man_t * Cgt_ClockGating( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pP
     Aig_Man_t * pGated;
     Vec_Vec_t * vGatesAll;
     Vec_Vec_t * vGates;
-    int nNodesUsed, clk = clock();
+    int nNodesUsed;//, clk = clock();
     vGatesAll = Cgt_ClockGatingCandidates( pAig, pCare, pPars );
     if ( pPars->fAreaOnly )
         vGates = Cgt_ManDecideArea( pAig, vGatesAll, pPars->nOdcMax, pPars->fVerbose );
diff --git a/src/opt/cgt/cgtDecide.c b/src/opt/cgt/cgtDecide.c
index 293bde85..2ac206cb 100644
--- a/src/opt/cgt/cgtDecide.c
+++ b/src/opt/cgt/cgtDecide.c
@@ -52,7 +52,7 @@ extern int Ssw_SmlNodeCountOnesRealVec( Ssw_Sml_t * p, Vec_Ptr_t * vObjs );
 void Cgt_ManCollectFanoutPos_rec( Aig_Man_t * pAig, Aig_Obj_t * pObj, Vec_Ptr_t * vFanout )
 {
     Aig_Obj_t * pFanout;
-    int f, iFanout;
+    int f, iFanout = -1;
     if ( Aig_ObjIsTravIdCurrent(pAig, pObj) )
         return;
     Aig_ObjSetTravIdCurrent(pAig, pObj);
diff --git a/src/opt/dar/darCore.c b/src/opt/dar/darCore.c
index 6ca3082d..adc41035 100644
--- a/src/opt/dar/darCore.c
+++ b/src/opt/dar/darCore.c
@@ -84,7 +84,7 @@ int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars )
     Aig_Obj_t * pObj, * pObjNew;
     int i, k, nNodesOld, nNodeBefore, nNodeAfter, Required;
     int clk = 0, clkStart, Counter = 0;
-    int nMffcSize, nMffcGains[MAX_VAL+1][MAX_VAL+1] = {{0}};
+    int nMffcSize;//, nMffcGains[MAX_VAL+1][MAX_VAL+1] = {{0}};
     // prepare the library
     Dar_LibPrepare( pPars->nSubgMax ); 
     // create rewriting manager
diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c
index 2d047404..41794d18 100644
--- a/src/opt/dar/darLib.c
+++ b/src/opt/dar/darLib.c
@@ -1186,7 +1186,7 @@ int Dar2_LibEval( Gia_Man_t * p, Vec_Int_t * vCutLits, unsigned uTruth, int fKee
     int p_LevelBest  =  1000000;
     int p_GainBest   = -1000000;
     int p_ClassBest  = -1;
-    int fTraining    =  0;
+//    int fTraining    =  0;
     Dar_LibObj_t * pObj;
     int Out, k, Class, nNodesSaved, nNodesAdded, nNodesGained, clk;
     clk = clock();
diff --git a/src/opt/dar/darScript.c b/src/opt/dar/darScript.c
index 79d6dfc4..5561908d 100644
--- a/src/opt/dar/darScript.c
+++ b/src/opt/dar/darScript.c
@@ -867,7 +867,7 @@ Aig_Man_t * Dar_ManChoiceNew( Aig_Man_t * pAig, Dch_Pars_t * pPars )
     extern Aig_Man_t * Cec_ComputeChoices( Gia_Man_t * pGia, Dch_Pars_t * pPars );
 //    extern Aig_Man_t * Dch_DeriveTotalAig( Vec_Ptr_t * vAigs );
     extern Aig_Man_t * Dch_ComputeChoices( Aig_Man_t * pAig, Dch_Pars_t * pPars );
-    int fVerbose = pPars->fVerbose;
+//    int fVerbose = pPars->fVerbose;
     Aig_Man_t * pMan, * pTemp;
     Gia_Man_t * pGia;
     Vec_Ptr_t * vPios;
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c
index 51f05b21..b49b0bf3 100644
--- a/src/opt/lpk/lpkCore.c
+++ b/src/opt/lpk/lpkCore.c
@@ -391,10 +391,6 @@ p->timeCuts += clock() - clk;
     p->nCutsUseful += p->nEvals;
     for ( i = 0; i < p->nEvals; i++ )
     {
-        if ( p->pObj->Id == 1478 )
-        {
-            int x = 0;
-        }
         // get the cut
         pCut = p->pCuts + p->pEvals[i];
         if ( p->pPars->fFirst && i == 1 )
diff --git a/src/opt/mfs/mfsResub.c b/src/opt/mfs/mfsResub.c
index 45f75674..e908a56c 100644
--- a/src/opt/mfs/mfsResub.c
+++ b/src/opt/mfs/mfsResub.c
@@ -102,7 +102,7 @@ int Abc_NtkMfsTryResubOnce( Mfs_Man_t * p, int * pCands, int nCands )
 {
     int fVeryVerbose = 0;
     unsigned * pData;
-    int RetValue, RetValue2 = -1, iVar, i, clk = clock();
+    int RetValue, RetValue2 = -1, iVar, i;//, clk = clock();
 /*
     if ( p->pPars->fGiaSat )
     {
diff --git a/src/opt/nwk/nwkMap.c b/src/opt/nwk/nwkMap.c
index 61ee50e8..cb35fee9 100644
--- a/src/opt/nwk/nwkMap.c
+++ b/src/opt/nwk/nwkMap.c
@@ -104,7 +104,7 @@ If_Man_t * Nwk_ManToIf( Aig_Man_t * p, If_Par_t * pPars, Vec_Ptr_t * vAigToIf )
 {
     extern Vec_Int_t * Saig_ManComputeSwitchProbs( Aig_Man_t * p, int nFrames, int nPref, int fProbOne );
     Vec_Int_t * vSwitching = NULL, * vSwitching2 = NULL;
-    float * pSwitching, * pSwitching2;
+    float * pSwitching = NULL, * pSwitching2 = NULL;
     If_Man_t * pIfMan;
     If_Obj_t * pIfObj;
     Aig_Obj_t * pNode, * pFanin, * pPrev;
diff --git a/src/opt/nwk/nwkMerge.c b/src/opt/nwk/nwkMerge.c
index fa9f7c78..2a43bc16 100644
--- a/src/opt/nwk/nwkMerge.c
+++ b/src/opt/nwk/nwkMerge.c
@@ -677,9 +677,10 @@ Nwk_Grf_t * Nwk_ManLutMergeReadGraph( char * pFileName )
     FILE * pFile;
     char Buffer[100];
     int nNodes, nEdges, iNode1, iNode2;
+    int RetValue;
     pFile = fopen( pFileName, "r" );
-    fscanf( pFile, "%s %d", Buffer, &nNodes );
-    fscanf( pFile, "%s %d", Buffer, &nEdges );
+    RetValue = fscanf( pFile, "%s %d", Buffer, &nNodes );
+    RetValue = fscanf( pFile, "%s %d", Buffer, &nEdges );
     p = Nwk_ManGraphAlloc( nNodes );
     while ( fscanf( pFile, "%s %d %d", Buffer, &iNode1, &iNode2 ) == 3 )
         Nwk_ManGraphHashEdge( p, iNode1, iNode2 );
diff --git a/src/opt/rwr/rwrTemp.c b/src/opt/rwr/rwrTemp.c
index 6a670c3a..b32709e5 100644
--- a/src/opt/rwr/rwrTemp.c
+++ b/src/opt/rwr/rwrTemp.c
@@ -80,7 +80,7 @@ void Rwr_Temp()
     pFile = fopen( "nnclass_stats5.txt", "r" );
     for ( i = 0; i < 13719; i++ )
     {
-        fscanf( pFile, "%s%d", Buffer, &pFreqs[i] );
+        int RetValue = fscanf( pFile, "%s%d", Buffer, &pFreqs[i] );
         Extra_ReadHexadecimal( &uTruth, Buffer+2, 5 );
         pTruths[i] = uTruth;
     }