From 50da7c290c5547572f1093e4df087f4a0b89e346 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 30 Sep 2016 14:40:07 -0700
Subject: Compiler warnings.

---
 src/base/abci/abcExact.c       | 4 ++--
 src/opt/fxch/FxchSCHashTable.c | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'src')

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,
-- 
cgit v1.2.3