diff options
| -rw-r--r-- | src/aig/gia/giaMfs.c | 3 | ||||
| -rw-r--r-- | src/aig/miniaig/ndr.h | 4 | ||||
| -rw-r--r-- | src/base/wlc/wlcMem.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 2 | ||||
| -rw-r--r-- | src/opt/dau/dauCanon.c | 14 |
5 files changed, 13 insertions, 12 deletions
diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c index 23038eff..da48570b 100644 --- a/src/aig/gia/giaMfs.c +++ b/src/aig/gia/giaMfs.c @@ -354,7 +354,8 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, int fAllBoxes ) if ( Gia_ObjLutIsMux(p, Vec_IntEntry(vMfs2Old, iMfsId)) ) { int MapSize = Vec_IntSize(vMapping2); - int nVarsNew, Res = Abc_TtSimplify( pTruth, Vec_IntArray(vLeaves), Vec_IntSize(vLeaves), &nVarsNew ); + int nVarsNew; + Abc_TtSimplify( pTruth, Vec_IntArray(vLeaves), Vec_IntSize(vLeaves), &nVarsNew ); Vec_IntShrink( vLeaves, nVarsNew ); iLitNew = Gia_ManFromIfLogicCreateLut( pNew, pTruth, vLeaves, vCover, vMapping, vMapping2 ); if ( MapSize < Vec_IntSize(vMapping2) ) diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h index 2ccec5b2..a1a47fa5 100644 --- a/src/aig/miniaig/ndr.h +++ b/src/aig/miniaig/ndr.h @@ -972,7 +972,7 @@ static inline void Ndr_ModuleTestFlop() static inline void Ndr_ModuleTestSelSel() { // map name IDs into char strings - char * ppNames[12] = { NULL, "sel", "c", "d0", "d1", "d2", "d3", "out" }; + //char * ppNames[12] = { NULL, "sel", "c", "d0", "d1", "d2", "d3", "out" }; // name IDs int NameIdC = 2; int NameIdD0 = 3; @@ -1019,7 +1019,7 @@ static inline void Ndr_ModuleTestSelSel() static inline void Ndr_ModuleTestDec() { // map name IDs into char strings - char * ppNames[12] = { NULL, "dec", "in", "out" }; + //char * ppNames[12] = { NULL, "dec", "in", "out" }; // name IDs int NameIdIn = 2; int NameIdOut = 3; diff --git a/src/base/wlc/wlcMem.c b/src/base/wlc/wlcMem.c index b310afb6..9ce1764a 100644 --- a/src/base/wlc/wlcMem.c +++ b/src/base/wlc/wlcMem.c @@ -827,7 +827,7 @@ int Wlc_NtkMemAbstract( Wlc_Ntk_t * p, int nIterMax, int fDumpAbs, int fPdrVerbo Vec_Wec_t * vRefines = Vec_WecAlloc( 100 ); Vec_Int_t * vNodeFrames = Vec_IntAlloc( 100 ); Vec_Int_t * vMemObjs, * vMemFanins, * vFirstTotal, * vRefine; - int RetValue, iFirstMemPi, iFirstCi, iFirstMemCi, nDcBits, nIters; + int RetValue = -1, iFirstMemPi, iFirstCi, iFirstMemCi, nDcBits, nIters; vMemObjs = Wlc_NtkCollectMemory( p ); vMemFanins = Wlc_NtkCollectMemFanins( p, vMemObjs ); diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 9974dd44..da7ccbac 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -1277,7 +1277,7 @@ startword: } else if ( Wlc_PrsStrCmp( pStart, "ABC_DFFRSE" ) ) { - int NameId[8], fFound, nBits = 1, fFlopIn, fFlopOut, fFlopClk, fFlopRst, fFlopSet, fFlopEna, fFlopAsync, fFlopInit; + int NameId[8] = {0}, fFound, fFlopIn, fFlopOut, fFlopClk, fFlopRst, fFlopSet, fFlopEna, fFlopAsync, fFlopInit; pStart += strlen("ABC_DFF"); while ( 1 ) { diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index d54a5c31..7ccc28da 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -1426,7 +1426,7 @@ static void CheckConfig(Abc_TgMan_t * pMan) for (i = 0; i < pMan->nVars; i++) { assert(pPermE[i] == pMan->pPermT[i]); - assert(pMan->pPermTRev[pMan->pPermT[i]] == i); + assert(pMan->pPermTRev[(int)pMan->pPermT[i]] == i); } assert(Abc_TgCannonVerify(pMan)); #endif @@ -1478,11 +1478,11 @@ static void Abc_TgImplementPerm(Abc_TgMan_t* pMan, const char *pPermDest) unsigned uPhase = pMan->uPhase & (1 << nVars); for (i = 0; i < nVars; i++) - pRev[pPerm[i]] = i; + pRev[(int)pPerm[i]] = i; for (i = 0; i < nVars; i++) - pPerm[i] = pRev[pPermDest[i]]; + pPerm[i] = pRev[(int)pPermDest[i]]; for (i = 0; i < nVars; i++) - pRev[pPerm[i]] = i; + pRev[(int)pPerm[i]] = i; Abc_TtImplementNpnConfig(pMan->pTruth, nVars, pRev, 0); Abc_TtNormalizeSmallTruth(pMan->pTruth, nVars); @@ -1492,7 +1492,7 @@ static void Abc_TgImplementPerm(Abc_TgMan_t* pMan, const char *pPermDest) if (pMan->uPhase & (1 << pPerm[i])) uPhase |= (1 << i); pPerm[i] = pPermDest[i]; - pRev[pPerm[i]] = i; + pRev[(int)pPerm[i]] = i; } pMan->uPhase = uPhase; } @@ -1656,7 +1656,7 @@ static int Abc_TgGroupSymmetry(Abc_TgMan_t * pMan, TiedGroup * pGrp, int doHigh) // char * symPhase = pMan->symPhase; int nGVars = pGrp->nGVars; char * pVars = pMan->pPerm + pGrp->iStart; - int modified, order = 0; + int modified; for (i = 0; i < nGVars; i++) fDone[i] = 0, scnt[i] = 1; @@ -2046,7 +2046,7 @@ static void Abc_TgPhaseEnumeration(Abc_TgMan_t * pMan, Abc_TgMan_t * pBest) for (i = 0; i < n; i++) { char iv = pMan->pPerm[i]; - for (j = i; j > 0 && pMan->symPhase[pFGrps[j-1]] > pMan->symPhase[iv]; j--) + for (j = i; j > 0 && pMan->symPhase[(int)pFGrps[j-1]] > pMan->symPhase[(int)iv]; j--) pFGrps[j] = pFGrps[j - 1]; pFGrps[j] = iv; } |