Compiler warnings.

Makefile

@@ -20,7 +20,7 @@ MODULES := \
 	src/opt/ret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \
 	src/opt/cgt src/opt/csw src/opt/dar \
 	src/sat/bsat src/sat/csat src/sat/msat src/sat/psat src/sat/cnf \
-	src/bool/bdc src/bool/deco src/bool/dec src/bool/kit \
+	src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \
 	src/proof/pdr src/proof/int src/proof/bbr src/proof/llb src/proof/live \
 	src/proof/cec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \
 	src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \

src/aig/gia/giaAbsGla.c

@@ -1853,7 +1853,7 @@ int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars, int fStartVta )
     Gla_Man_t * p;
     Vec_Int_t * vPPis, * vCore;//, * vCore2 = NULL;
     Abc_Cex_t * pCex = NULL;
-    int f, i, iPrev, nConfls, Status, nVarsOld, nCoreSize, fOneIsSent = 0, RetValue = -1;
+    int f, i, iPrev, nConfls, Status, nVarsOld = 0, nCoreSize, fOneIsSent = 0, RetValue = -1;
     clock_t clk2, clk = clock();
     // preconditions
     assert( Gia_ManPoNum(pAig) == 1 );

src/base/abci/abcNpn.c

@@ -101,7 +101,7 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose )
     unsigned pAux[2048];
 
     clock_t clk = clock();
-    int i, nFuncs = 0;
+    int i;//, nFuncs = 0;
 
     char * pAlgoName = NULL;
     if ( NpnType == 1 )