From a7aa3deac9fccaa4ff69f7201224288399c90d13 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 12 Aug 2023 16:32:56 +0700 Subject: [PATCH] Fixed a corner-case bug in Aug 5 commit (3daecc0). --- src/base/abc/abcAig.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/base/abc/abcAig.c b/src/base/abc/abcAig.c index 94bafb53c..ff6022b8e 100644 --- a/src/base/abc/abcAig.c +++ b/src/base/abc/abcAig.c @@ -904,10 +904,13 @@ void Abc_AigReplace_int( Abc_Aig_t * pMan, Abc_Obj_t * pOld, Abc_Obj_t * pNew, i { Abc_ObjSetReverseLevel( pFanin1, Abc_ObjReverseLevel(pOld) ); assert( pFanin1->fMarkB == 0 ); - pFanin1->fMarkB = 1; - Vec_VecPush( pMan->vLevelsR, Abc_ObjReverseLevel(pFanin1), pFanin1 ); + if ( !Abc_ObjIsCi(pFanin1) ) + { + pFanin1->fMarkB = 1; + Vec_VecPush( pMan->vLevelsR, Abc_ObjReverseLevel(pFanin1), pFanin1 ); + } } - Abc_ObjPatchFanin( pFanout, pOld, pNew ); + Abc_ObjPatchFanin( pFanout, pOld, pNew ); continue; } // find the old node as a fanin of this fanout