Compiler warnings.

This commit is contained in:
Alan Mishchenko 2013-05-01 00:13:29 -07:00
parent b94766bce5
commit 1f573cfe58
2 changed files with 3 additions and 4 deletions

View File

@ -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;

View File

@ -31553,7 +31553,7 @@ usage:
***********************************************************************/
int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv )
{
Gia_Man_t * pTemp = NULL;
// Gia_Man_t * pTemp = NULL;
int c, fVerbose = 0;
int fSwitch = 0;
// extern Gia_Man_t * Gia_VtaTest( Gia_Man_t * p );