diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-09-30 14:40:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-09-30 14:40:07 -0700 |
| commit | 50da7c290c5547572f1093e4df087f4a0b89e346 (patch) | |
| tree | 85af655e9dc0127994d280ca144a2c4604fdb26e /src/base/abci/abcExact.c | |
| parent | f5be1575832e2028eed0942aa69315870532669e (diff) | |
| download | abc-50da7c290c5547572f1093e4df087f4a0b89e346.tar.gz abc-50da7c290c5547572f1093e4df087f4a0b89e346.tar.bz2 abc-50da7c290c5547572f1093e4df087f4a0b89e346.zip | |
Compiler warnings.
Diffstat (limited to 'src/base/abci/abcExact.c')
| -rw-r--r-- | src/base/abci/abcExact.c | 4 |
1 files changed, 2 insertions, 2 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; |