diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-01 00:13:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-01 00:13:29 -0700 |
| commit | 1f573cfe580591f7ed994b4cb24edbd9916d3d91 (patch) | |
| tree | 4b8a80db76d0b89a874051b4f1bb723b9ba00861 /src/aig/gia/giaIso2.c | |
| parent | b94766bce5e3199547f54de0a3b5b4e0c779a3c0 (diff) | |
| download | abc-1f573cfe580591f7ed994b4cb24edbd9916d3d91.tar.gz abc-1f573cfe580591f7ed994b4cb24edbd9916d3d91.tar.bz2 abc-1f573cfe580591f7ed994b4cb24edbd9916d3d91.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaIso2.c')
| -rw-r--r-- | src/aig/gia/giaIso2.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/aig/gia/giaIso2.c b/src/aig/gia/giaIso2.c index 520af61d..e878e19f 100644 --- a/src/aig/gia/giaIso2.c +++ b/src/aig/gia/giaIso2.c @@ -291,7 +291,7 @@ int Gia_Iso2ManUniqify( Gia_Iso2Man_t * p ) Gia_ManForEachObjVec( p->vTied, p->pGia, pObj, i ) { printf( "%3d : ", Gia_ObjId(p->pGia, pObj) ); -// Extra_PrintBinary( stdout, &pObj->Value, 32 ); + Extra_PrintBinary( stdout, &pObj->Value, 32 ); printf( "\n" ); } #endif @@ -300,8 +300,7 @@ int Gia_Iso2ManUniqify( Gia_Iso2Man_t * p ) Vec_IntClear( p->vPlaces ); Gia_ManForEachObjVec( p->vTied, p->pGia, pObj, i ) { - int iObjId = Gia_ObjId(p->pGia, pObj); - for ( k = pObj->Value % nSize; pTemp = pTable[k] ? Gia_ManObj(p->pGia, pTable[k]) : NULL; k = (k + 1) % nSize ) + for ( k = pObj->Value % nSize; (pTemp = pTable[k] ? Gia_ManObj(p->pGia, pTable[k]) : NULL); k = (k + 1) % nSize ) if ( pTemp->Value == pObj->Value ) { pTemp->fMark0 = 1; |