diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 12:30:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 12:30:04 -0700 |
| commit | 7f112787057a1524df78b682b20dbdfbd2578100 (patch) | |
| tree | f9742d5095f8b1a7aa87e7cb3c25edf3e2b91c56 | |
| parent | d3a4dce10e89fa86f0feb2a7b53debdaa60fa3e4 (diff) | |
| download | abc-7f112787057a1524df78b682b20dbdfbd2578100.tar.gz abc-7f112787057a1524df78b682b20dbdfbd2578100.tar.bz2 abc-7f112787057a1524df78b682b20dbdfbd2578100.zip | |
Compiler warnings.
| -rw-r--r-- | src/aig/gia/giaIf.c | 1 | ||||
| -rw-r--r-- | src/map/if/ifLibBox.c | 2 | ||||
| -rw-r--r-- | src/sat/bmc/bmcUnroll.c | 6 |
3 files changed, 4 insertions, 5 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index dc16b886..0b6cc9ae 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1147,7 +1147,6 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) assert( pPars->pTimesReq == NULL ); if ( p->pManTime ) { - Vec_Flt_t * vArrTimes = NULL, * vReqTimes = NULL; pNew = Gia_ManDupUnnormalize( p ); if ( pNew == NULL ) return NULL; diff --git a/src/map/if/ifLibBox.c b/src/map/if/ifLibBox.c index 9423d4f9..7795338c 100644 --- a/src/map/if/ifLibBox.c +++ b/src/map/if/ifLibBox.c @@ -221,7 +221,7 @@ If_LibBox_t * If_LibBoxRead2( char * pFileName ) { while ( pToken == NULL ) { - fgets( pBuffer, nSize, pFile ); + (void) fgets( pBuffer, nSize, pFile ); pToken = strtok( pBuffer, " \n\r\t" ); } pBox->pDelays[i] = (pToken[0] == '-') ? -1 : atoi(pToken); diff --git a/src/sat/bmc/bmcUnroll.c b/src/sat/bmc/bmcUnroll.c index c4a5a265..83848c49 100644 --- a/src/sat/bmc/bmcUnroll.c +++ b/src/sat/bmc/bmcUnroll.c @@ -26,7 +26,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -#define UNR_DIFF_NULL 0xFFFF +#define UNR_DIFF_NULL 0x7FFF typedef struct Unr_Obj_t_ Unr_Obj_t; // 24 bytes + (RankMax-1) * 4 bytes struct Unr_Obj_t_ @@ -210,7 +210,7 @@ void Unr_ManSetup( Unr_Man_t * p ) // create const0 node pUnrObj = Unr_ManObj( p, pInts - p->pObjs ); pUnrObj->RankMax = 1; - pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL; + pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL; pUnrObj->Res[0] = 0; // const0 pInts += sizeof(Unr_Obj_t) / sizeof(int); // mark up the entries @@ -224,7 +224,7 @@ void Unr_ManSetup( Unr_Man_t * p ) { pObj = Gia_ManObj( p->pGia, iObj ); pUnrObj = Unr_ManObj( p, pInts - p->pObjs ); - pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL; + pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL; if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) { pUnrObj->hFan0 = Vec_IntEntry( vMap, Gia_ObjFaninId0(pObj, iObj) ); |