luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #365 from QuantamHD/fix_nf_crash 

nf: Fix assert( pDp->F < FLT_MAX ); in nf
This commit is contained in:
alanminko 2025-02-12 08:34:50 +07:00 committed by GitHub
parent c4f8e8e88b 2227d6d4e7
commit aa9630e169
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/aig/gia/giaNf.c
View File

@ -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 ) if ( ArrivalA + pC->iDelays[k] <= Required && Required != SCL_INFINITY )
{ {
Delay = Abc_MaxInt( Delay, ArrivalA + pC->iDelays[k] ); 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 else
{ {