luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler warnings.

This commit is contained in:
Alan Mishchenko 2014-10-08 10:56:31 -07:00
parent df0f8ad540
commit 97b52a6a6d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaIf.c
View File

@ -1495,7 +1495,7 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan )
Vec_Int_t * vPiVars = NULL, * vPoVars = NULL; Vec_Int_t * vPiVars = NULL, * vPoVars = NULL;
sat_solver * pSat = NULL; sat_solver * pSat = NULL;
Ifn_Ntk_t * pNtkCell = NULL; Ifn_Ntk_t * pNtkCell = NULL;
int i, k, nLutMax, Entry; int i, k, nLutMax = -1, Entry;
assert( !pIfMan->pPars->fDeriveLuts || pIfMan->pPars->fTruth ); assert( !pIfMan->pPars->fDeriveLuts || pIfMan->pPars->fTruth );
// if ( pIfMan->pPars->fEnableCheck07 ) // if ( pIfMan->pPars->fEnableCheck07 )
// pIfMan->pPars->fDeriveLuts = 0; // pIfMan->pPars->fDeriveLuts = 0;

2
src/misc/extra/extraUtilThresh.c
View File

@ -282,7 +282,7 @@ int Extra_ThreshSelectWeights( word * t, int nVars, int * pW )
} }
int Extra_ThreshCheck( word * t, int nVars, int * pW ) int Extra_ThreshCheck( word * t, int nVars, int * pW )
{ {
int Chow[16], Chow0, nMints = (1 << nVars); int Chow0, Chow[16];
if ( !Abc_TtIsUnate(t, nVars) ) if ( !Abc_TtIsUnate(t, nVars) )
return 0; return 0;
Abc_TtMakePosUnate( t, nVars ); Abc_TtMakePosUnate( t, nVars );