From 6550c53546b8c8c80147e1c3ae3f91490ee9a950 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Sun, 21 Jun 2020 09:34:48 -0600 Subject: [PATCH] Skip the body of Gia_LutForEachFanin if iFan is negative. --- src/aig/gia/gia.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 2458b152d8..b1f073775b 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1117,7 +1117,7 @@ static inline int Gia_ObjCellId( Gia_Man_t * p, int iLit ) { re #define Gia_ManForEachLutReverse( p, i ) \ for ( i = Gia_ManObjNum(p) - 1; i > 0; i-- ) if ( !Gia_ObjIsLut(p, i) ) {} else #define Gia_LutForEachFanin( p, i, iFan, k ) \ - for ( k = 0; k < Gia_ObjLutSize(p,i) && ((iFan = Gia_ObjLutFanins(p,i)[k]),1); k++ ) + for ( k = 0; k < Gia_ObjLutSize(p,i) && ((iFan = Gia_ObjLutFanins(p,i)[k]),1); k++ ) if (iFan >= 0) #define Gia_LutForEachFaninObj( p, i, pFanin, k ) \ for ( k = 0; k < Gia_ObjLutSize(p,i) && ((pFanin = Gia_ManObj(p, Gia_ObjLutFanins(p,i)[k])),1); k++ )