From fd1ed5b23246142fa2b8ee41f25f332439dd3656 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 28 Apr 2014 12:56:32 -0700 Subject: Added dumping original object names into a file. --- src/base/abc/abcNames.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/base/abc/abcNames.c b/src/base/abc/abcNames.c index 87ae3717..d6558da4 100644 --- a/src/base/abc/abcNames.c +++ b/src/base/abc/abcNames.c @@ -569,7 +569,7 @@ void Abc_NtkTransferNameIds( Abc_Ntk_t * p, Abc_Ntk_t * pNew ) // printf( "%d ", Vec_IntEntry(p->vNameIds, Abc_ObjId(pObj)) ); // printf( "\n" ); Abc_NtkForEachObj( p, pObj, i ) - if ( pObj->pCopy && Vec_IntEntry(p->vNameIds, i) ) + if ( pObj->pCopy && i < Vec_IntSize(p->vNameIds) && Vec_IntEntry(p->vNameIds, i) ) { pObjNew = Abc_ObjRegular(pObj->pCopy); assert( Abc_ObjNtk(pObjNew) == pNew ); @@ -614,7 +614,7 @@ void Abc_NtkUpdateNameIds( Abc_Ntk_t * p ) // add info about names Abc_NtkForEachObj( p, pObj, i ) { - if ( !Vec_IntEntry(p->vNameIds, i) ) + if ( i == 0 || i >= Vec_IntSize(p->vNameIds) || !Vec_IntEntry(p->vNameIds, i) ) continue; iVar = Abc_Lit2Var( Vec_IntEntry(p->vNameIds, i) ); fCompl = Abc_LitIsCompl( Vec_IntEntry(p->vNameIds, i) ); -- cgit v1.2.3