|
 |
147ead9 |
--- src/aig/gia/gia.h.orig 2020-07-20 20:56:06.000000000 -0600
|
|
|
147ead9 |
+++ src/aig/gia/gia.h 2020-07-24 15:13:12.699364636 -0600
|
|
|
147ead9 |
@@ -1118,7 +1118,7 @@ static inline int Gia_ObjCellId(
|
|
|
147ead9 |
#define Gia_ManForEachLutReverse( p, i ) \
|
|
|
147ead9 |
for ( i = Gia_ManObjNum(p) - 1; i > 0; i-- ) if ( !Gia_ObjIsLut(p, i) ) {} else
|
|
|
147ead9 |
#define Gia_LutForEachFanin( p, i, iFan, k ) \
|
|
|
147ead9 |
- for ( k = 0; k < Gia_ObjLutSize(p,i) && ((iFan = Gia_ObjLutFanins(p,i)[k]),1); k++ )
|
|
|
147ead9 |
+ for ( k = 0; k < Gia_ObjLutSize(p,i) && ((iFan = Gia_ObjLutFanins(p,i)[k]),1); k++ ) if (iFan >= 0)
|
|
|
147ead9 |
#define Gia_LutForEachFaninObj( p, i, pFanin, k ) \
|
|
|
147ead9 |
for ( k = 0; k < Gia_ObjLutSize(p,i) && ((pFanin = Gia_ManObj(p, Gia_ObjLutFanins(p,i)[k])),1); k++ )
|
|
|
147ead9 |
|