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

Merge pull request #37 from YosysHQ/povik/fix-mfs-ub 

Fix UB in `&mfs -r` print
This commit is contained in:
Martin Povišer 2025-01-20 12:47:20 +01:00 committed by GitHub
parent cac8f99eaa 013023f1bf
commit 8700bb58ee
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaMfs.c
View File

@ -518,7 +518,7 @@ Gia_Man_t * Gia_ManPerformMfs( Gia_Man_t * p, Sfm_Par_t * pPars )
{ {
Sfm_Ntk_t * pNtk; Sfm_Ntk_t * pNtk;
Gia_Man_t * pNew; Gia_Man_t * pNew;
int nFaninMax, nNodes; int nFaninMax, nNodes = 0;
assert( Gia_ManRegNum(p) == 0 ); assert( Gia_ManRegNum(p) == 0 );
assert( p->vMapping != NULL ); assert( p->vMapping != NULL );
if ( p->pManTime != NULL && p->pAigExtra != NULL && Gia_ManCiNum(p->pAigExtra) > 15 ) if ( p->pManTime != NULL && p->pAigExtra != NULL && Gia_ManCiNum(p->pAigExtra) > 15 )