diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-08 20:22:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-08 20:22:48 -0700 |
| commit | 2cfc4cc174152f7688782ab1f25a2444ce640f61 (patch) | |
| tree | 4e0b706c310ec23c6e594cf8ad9b9776db61c920 /src/aig/gia/giaIf.c | |
| parent | 193c46e3c639d8cd0fc2f661648c091371a7717d (diff) | |
| download | abc-2cfc4cc174152f7688782ab1f25a2444ce640f61.tar.gz abc-2cfc4cc174152f7688782ab1f25a2444ce640f61.tar.bz2 abc-2cfc4cc174152f7688782ab1f25a2444ce640f61.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 367df593..fea46954 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1522,9 +1522,9 @@ int Gia_ManFromIfLogicFindCell( If_Man_t * pIfMan, Gia_Man_t * pNew, Gia_Man_t * Gia_Obj_t * pObj; int i, Id, iLitTemp; // extract variable permutation - char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input + //char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input word * pPerm = If_DsdManGetFuncConfig( pIfMan->pIfDsdMan, If_CutDsdLit(pIfMan, pCutBest) ); // cell input -> DSD input - int nBits = If_DsdManTtBitNum( pIfMan->pIfDsdMan ); + //int nBits = If_DsdManTtBitNum( pIfMan->pIfDsdMan ); // use config bits to generate the network iLit = If_ManSatDeriveGiaFromBits( pTemp, pNtkCell, pPerm + 1, vLeaves, vCover ); // copy GIA back into the manager @@ -1706,7 +1706,7 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan ) Vec_Int_t * vLeaves, * vLeaves2, * vCover, * vLits; Ifn_Ntk_t * pNtkCell = NULL; sat_solver * pSat = NULL; - int i, k, Entry, nLutMax = -1; int Count = 0; + int i, k, Entry; assert( !pIfMan->pPars->fDeriveLuts || pIfMan->pPars->fTruth ); // if ( pIfMan->pPars->fEnableCheck07 ) // pIfMan->pPars->fDeriveLuts = 0; |