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

Handle edge case in Gia_ManTransferTiming

This commit is contained in:
Martin Povišer 2024-08-07 17:27:12 +02:00
parent b23f998b81
commit afbeccb79e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/aig/gia/giaIf.c
View File

@ -2310,6 +2310,8 @@ void Gia_ManTransferPacking( Gia_Man_t * p, Gia_Man_t * pGia )
} }
void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia ) void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
{ {
if ( p == pGia )
return;
if ( pGia->vCiArrs || pGia->vCoReqs || pGia->vCoArrs || pGia->vCoAttrs ) if ( pGia->vCiArrs || pGia->vCoReqs || pGia->vCoArrs || pGia->vCoAttrs )
{ {
p->vCiArrs = pGia->vCiArrs; pGia->vCiArrs = NULL; p->vCiArrs = pGia->vCiArrs; pGia->vCiArrs = NULL;
@ -2337,7 +2339,7 @@ void Gia_ManTransferTiming( Gia_Man_t * p, Gia_Man_t * pGia )
p->vConfigs = pGia->vConfigs; pGia->vConfigs = NULL; p->vConfigs = pGia->vConfigs; pGia->vConfigs = NULL;
p->pCellStr = pGia->pCellStr; pGia->pCellStr = NULL; p->pCellStr = pGia->pCellStr; pGia->pCellStr = NULL;
} }
if ( pGia->pManTime == NULL || p == pGia ) if ( pGia->pManTime == NULL )
return; return;
p->pManTime = pGia->pManTime; pGia->pManTime = NULL; p->pManTime = pGia->pManTime; pGia->pManTime = NULL;
p->pAigExtra = pGia->pAigExtra; pGia->pAigExtra = NULL; p->pAigExtra = pGia->pAigExtra; pGia->pAigExtra = NULL;