From d9802cbf0829356fdfa187e03e371716792f896a Mon Sep 17 00:00:00 2001 From: Gabriel Somlo Date: Fri, 4 Aug 2023 11:24:53 -0400 Subject: [PATCH 6/8] fedora: fix out-of-bounds array access in gia code (berkeley-abc/abc/pull/89) --- 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 fed64b1a..bc85a5ab 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -1142,7 +1142,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_LutForEachFaninIndex( p, i, iFan, k, Index ) \ for ( k = 0; k < Gia_ObjLutSize(p,i) && (Index = Vec_IntEntry(p->vMapping, i)+1+k) && ((iFan = Vec_IntEntry(p->vMapping, Index)),1); k++ ) #define Gia_LutForEachFaninObj( p, i, pFanin, k ) \ -- 2.41.0