Compiler warnings.

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;

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,