Merge pull request #365 from QuantamHD/fix_nf_crash

alanminko · web-flow · commit aa9630e16940 · 2025-02-12T08:34:50.000+07:00
nf: Fix assert( pDp-&gt;F &lt; FLT_MAX ); in nf
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c
@@ -1172,7 +1172,10 @@ void Nf_ManCutMatchOne( Nf_Man_t * p, int iObj, int * pCut, int * pCutSet )
             if ( ArrivalA + pC->iDelays[k] <= Required && Required != SCL_INFINITY )
             {
                 Delay = Abc_MaxInt( Delay, ArrivalA + pC->iDelays[k] );
-                AreaF += pBestF[iFanin]->M[fComplF][1].F;
+                if ( AreaF >= (float)1e32 || pBestF[iFanin]->M[fComplF][1].F >= (float)1e32 )
+                    AreaF = (float)1e32;
+                else
+                    AreaF += pBestF[iFanin]->M[fComplF][1].F;
             }
             else 
             {

Original file line number	Diff line number	Diff line change
`@@ -1172,7 +1172,10 @@ void Nf_ManCutMatchOne( Nf_Man_t * p, int iObj, int * pCut, int * pCutSet )`
`1172`	`1172`	`if ( ArrivalA + pC->iDelays[k] <= Required && Required != SCL_INFINITY )`
`1173`	`1173`	`{`
`1174`	`1174`	`Delay = Abc_MaxInt( Delay, ArrivalA + pC->iDelays[k] );`
`1175`		`- AreaF += pBestF[iFanin]->M[fComplF][1].F;`
	`1175`	`+ if ( AreaF >= (float)1e32 \|\| pBestF[iFanin]->M[fComplF][1].F >= (float)1e32 )`
	`1176`	`+ AreaF = (float)1e32;`
	`1177`	`+ else`
	`1178`	`+ AreaF += pBestF[iFanin]->M[fComplF][1].F;`
`1176`	`1179`	`}`
`1177`	`1180`	`else`
`1178`	`1181`	`{`