diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-25 15:36:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-25 15:36:07 -0700 |
| commit | fb6c9e856439bf764e5330ff930a0ca7546415cf (patch) | |
| tree | 89c302676e8bfffa21ce87c0871aeb060ae5294c /src/proof/ssc | |
| parent | 486eacc542f193231fd7f116f38e2efab753568c (diff) | |
| download | abc-fb6c9e856439bf764e5330ff930a0ca7546415cf.tar.gz abc-fb6c9e856439bf764e5330ff930a0ca7546415cf.tar.bz2 abc-fb6c9e856439bf764e5330ff930a0ca7546415cf.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof/ssc')
| -rw-r--r-- | src/proof/ssc/sscUtil.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/proof/ssc/sscUtil.c b/src/proof/ssc/sscUtil.c index a96503d0..56939e40 100644 --- a/src/proof/ssc/sscUtil.c +++ b/src/proof/ssc/sscUtil.c @@ -45,7 +45,7 @@ struct Hsh_Man_t_ int nTableSize; }; -static inline int * Hsh_ObjData( Hsh_Man_t * p, int iThis ) { return p->pData + p->nSize * iThis; } +static inline unsigned * Hsh_ObjData( Hsh_Man_t * p, int iThis ) { return p->pData + p->nSize * iThis; } static inline Hsh_Obj_t * Hsh_ObjGet( Hsh_Man_t * p, int iObj ) { return iObj == -1 ? NULL : p->pObjs + iObj; } //////////////////////////////////////////////////////////////////////// @@ -104,10 +104,10 @@ static inline int Hsh_ManHash( unsigned * pData, int nSize, int nTableSize ) int Hsh_ManAdd( Hsh_Man_t * p, int iThis ) { Hsh_Obj_t * pObj; - int * pThis = Hsh_ObjData( p, iThis ); + unsigned * pThis = Hsh_ObjData( p, iThis ); int * pPlace = p->pTable + Hsh_ManHash( pThis, p->nSize, p->nTableSize ); for ( pObj = Hsh_ObjGet(p, *pPlace); pObj; pObj = Hsh_ObjGet(p, pObj->iNext) ) - if ( !memcmp( pThis, Hsh_ObjData(p, pObj->iThis), sizeof(int) * p->nSize ) ) + if ( !memcmp( pThis, Hsh_ObjData(p, pObj->iThis), sizeof(unsigned) * p->nSize ) ) return pObj - p->pObjs; assert( p->nObjs < p->nTableSize ); pObj = p->pObjs + p->nObjs; |