diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-28 10:52:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-28 10:52:00 -0700 |
| commit | 9f46984c0747e83b345213eca117caf9b9ba59c0 (patch) | |
| tree | 15825d5a1cc487522db59f15fd8e9d94178356be /src/aig/miniaig/miniaig.h | |
| parent | 534ebbc7e5661e28fe4d2612740ab5dc0d246fc1 (diff) | |
| download | abc-9f46984c0747e83b345213eca117caf9b9ba59c0.tar.gz abc-9f46984c0747e83b345213eca117caf9b9ba59c0.tar.bz2 abc-9f46984c0747e83b345213eca117caf9b9ba59c0.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/miniaig/miniaig.h')
| -rw-r--r-- | src/aig/miniaig/miniaig.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/aig/miniaig/miniaig.h b/src/aig/miniaig/miniaig.h index 6843648e..217fea51 100644 --- a/src/aig/miniaig/miniaig.h +++ b/src/aig/miniaig/miniaig.h @@ -171,9 +171,9 @@ static void Mini_AigDump( Mini_Aig_t * p, char * pFileName ) printf( "Cannot open file for writing \"%s\".\n", pFileName ); return; } - RetValue = fwrite( &p->nSize, sizeof(int), 1, pFile ); - RetValue = fwrite( &p->nRegs, sizeof(int), 1, pFile ); - RetValue = fwrite( p->pArray, sizeof(int), p->nSize, pFile ); + RetValue = (int)fwrite( &p->nSize, sizeof(int), 1, pFile ); + RetValue = (int)fwrite( &p->nRegs, sizeof(int), 1, pFile ); + RetValue = (int)fwrite( p->pArray, sizeof(int), p->nSize, pFile ); fclose( pFile ); } static Mini_Aig_t * Mini_AigLoad( char * pFileName ) @@ -187,12 +187,12 @@ static Mini_Aig_t * Mini_AigLoad( char * pFileName ) printf( "Cannot open file for reading \"%s\".\n", pFileName ); return NULL; } - RetValue = fread( &nSize, sizeof(int), 1, pFile ); + RetValue = (int)fread( &nSize, sizeof(int), 1, pFile ); p = MINI_AIG_CALLOC( Mini_Aig_t, 1 ); p->nSize = p->nCap = nSize; p->pArray = MINI_AIG_ALLOC( int, p->nCap ); - RetValue = fread( &p->nRegs, sizeof(int), 1, pFile ); - RetValue = fread( p->pArray, sizeof(int), p->nSize, pFile ); + RetValue = (int)fread( &p->nRegs, sizeof(int), 1, pFile ); + RetValue = (int)fread( p->pArray, sizeof(int), p->nSize, pFile ); fclose( pFile ); return p; } |