diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-16 14:52:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-16 14:52:20 -0700 |
commit | f4a267d5815e5041c499e12322d70d7996093473 (patch) | |
tree | c3e91686171a4b60a4e284dd178b4629575e32a2 /src/opt/lpk/lpkAbcUtil.c | |
parent | 15939511df8ff1ce15f2112cee01d7693234f2a4 (diff) | |
download | abc-f4a267d5815e5041c499e12322d70d7996093473.tar.gz abc-f4a267d5815e5041c499e12322d70d7996093473.tar.bz2 abc-f4a267d5815e5041c499e12322d70d7996093473.zip |
Bug fix in 'lutpack' (level count overflow).
Diffstat (limited to 'src/opt/lpk/lpkAbcUtil.c')
-rw-r--r-- | src/opt/lpk/lpkAbcUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/lpk/lpkAbcUtil.c b/src/opt/lpk/lpkAbcUtil.c index b96614d2..24a42b5f 100644 --- a/src/opt/lpk/lpkAbcUtil.c +++ b/src/opt/lpk/lpkAbcUtil.c @@ -124,7 +124,7 @@ Lpk_Fun_t * Lpk_FunDup( Lpk_Fun_t * p, unsigned * pTruth ) pNew->uSupp = Kit_TruthSupport( pTruth, p->nVars ); Kit_TruthCopy( Lpk_FunTruth(pNew,0), pTruth, p->nVars ); memcpy( pNew->pFanins, p->pFanins, 16 ); - memcpy( pNew->pDelays, p->pDelays, 16 ); + memcpy( pNew->pDelays, p->pDelays, sizeof(int)*16 ); Vec_PtrPush( p->vNodes, pNew ); return pNew; } @@ -212,7 +212,7 @@ void Lpk_FunComputeCofSupps( Lpk_Fun_t * p ) SeeAlso [] ***********************************************************************/ -int Lpk_SuppDelay( unsigned uSupp, char * pDelays ) +int Lpk_SuppDelay( unsigned uSupp, int * pDelays ) { int Delay, Var; Delay = 0; |