diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:00:26 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 22:00:26 +0700 |
commit | 3f2899d6ea1a141f40d7fdfe4556bb349d53c250 (patch) | |
tree | f364e1b2a6fd9f257822dfe27e0f41ac8e9c958d /src/opt/lpk/lpkCore.c | |
parent | 8eb5d1896a82ef9d1d5e0f25bb6f23e29e9e2ada (diff) | |
download | abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.tar.gz abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.tar.bz2 abc-3f2899d6ea1a141f40d7fdfe4556bb349d53c250.zip |
Compiler warnings.
Diffstat (limited to 'src/opt/lpk/lpkCore.c')
-rw-r--r-- | src/opt/lpk/lpkCore.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index a9088d10..6595b365 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -96,12 +96,12 @@ void Lpk_IfManStart( Lpk_Man_t * p ) int Lpk_NodeHasChanged( Lpk_Man_t * p, int iNode ) { Vec_Ptr_t * vNodes; - Abc_Obj_t * pTemp; + Abc_Obj_t * pTemp, * pTemp2; int i; vNodes = Vec_VecEntry( p->vVisited, iNode ); if ( Vec_PtrSize(vNodes) == 0 ) return 1; - Vec_PtrForEachEntry( Abc_Obj_t *, vNodes, pTemp, i ) + Vec_PtrForEachEntryDouble( Abc_Obj_t *, Abc_Obj_t *, vNodes, pTemp, pTemp2, i ) { // check if the node has changed pTemp = Abc_NtkObj( p->pNtk, (int)(ABC_PTRUINT_T)pTemp ); @@ -110,7 +110,7 @@ int Lpk_NodeHasChanged( Lpk_Man_t * p, int iNode ) // check if the number of fanouts has changed // if ( Abc_ObjFanoutNum(pTemp) != (int)Vec_PtrEntry(vNodes, i+1) ) // return 1; - i++; +// i++; } return 0; } |