diff options
| -rw-r--r-- | src/base/abci/abcExact.c | 4 | ||||
| -rw-r--r-- | src/opt/fxch/FxchSCHashTable.c | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index f6233adc..090b2d69 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -841,7 +841,7 @@ static void Ses_StoreRead( Ses_Store_t * pStore, const char * pFilename, int fSy value = fread( &nEntries, sizeof( unsigned long ), 1, pFile ); - for ( i = 0; i < nEntries; ++i ) + for ( i = 0; i < (int)nEntries; ++i ) { value = fread( pTruth, sizeof( word ), 4, pFile ); value = fread( &nVars, sizeof( int ), 1, pFile ); @@ -1018,7 +1018,7 @@ static word * Ses_ManDeriveTruth( Ses_Man_t * pSes, char * pSol, int fInvert ) { int i, f, j, k, w, nGates = pSol[ABC_EXACT_SOL_NGATES]; char * p; - word * pTruth, * pTruth0, * pTruth1; + word * pTruth = NULL, * pTruth0, * pTruth1; assert( pSol[ABC_EXACT_SOL_NFUNC] == 1 ); p = pSol + 3; diff --git a/src/opt/fxch/FxchSCHashTable.c b/src/opt/fxch/FxchSCHashTable.c index 0796a28c..583563e9 100644 --- a/src/opt/fxch/FxchSCHashTable.c +++ b/src/opt/fxch/FxchSCHashTable.c @@ -217,7 +217,7 @@ int Fxch_SCHashTableInsert( Fxch_SCHashTable_t* pSCHashTable, int* pOutputID1 = Vec_IntEntryP( pSCHashTable->pFxchMan->vOutputID, pNewEntry->iCube * pSCHashTable->pFxchMan->nSizeOutputID ); int Result = 0; int Base; - int iNewDiv, i, z; + int iNewDiv = -1, i, z; if ( !Fxch_SCHashTableEntryCompare( pSCHashTable, vCubes, pEntry, pNewEntry ) ) continue; @@ -290,14 +290,14 @@ int Fxch_SCHashTableRemove( Fxch_SCHashTable_t* pSCHashTable, if ( pBin->vSCData[iEntry].iCube == iCube ) break; - assert( ( iEntry != pBin->Size ) && ( pBin->Size != 0 ) ); + assert( ( iEntry != (int)pBin->Size ) && ( pBin->Size != 0 ) ); pEntry = &( pBin->vSCData[iEntry] ); for ( idx = 0; idx < (int)pBin->Size; idx++ ) if ( idx != iEntry ) { int Base, - iDiv; + iDiv = -1; int i, z, iCube0, |