diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-29 15:59:18 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-29 15:59:18 -0800 |
| commit | 4b647de7fd069b03f8c77b9563040424521c2453 (patch) | |
| tree | 796a56429e22e14d6f8125667f9eab11e2f704a0 /src/map/amap/amapPerm.c | |
| parent | 3e5e7a254426bac5b5f9634ff5f087faf275c2c1 (diff) | |
| download | abc-4b647de7fd069b03f8c77b9563040424521c2453.tar.gz abc-4b647de7fd069b03f8c77b9563040424521c2453.tar.bz2 abc-4b647de7fd069b03f8c77b9563040424521c2453.zip | |
Bug fix in a standard cell library generator.
Diffstat (limited to 'src/map/amap/amapPerm.c')
| -rw-r--r-- | src/map/amap/amapPerm.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c index 8aef11ad..c5885c1f 100644 --- a/src/map/amap/amapPerm.c +++ b/src/map/amap/amapPerm.c @@ -113,6 +113,8 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, iDsdFanin = Abc_LitRegular(pDsdObj->pFans[0]); pNodFanin = Amap_LibNod( pLib, Abc_Lit2Var(pNod->iFan0) ); vPermFanin = Amap_LibDeriveGatePerm_rec( pLib, pNtk, iDsdFanin, pNodFanin ); + if ( vPermFanin == NULL ) + return NULL; Vec_IntForEachEntry( vPermFanin, Value, k ) Vec_IntPush( vPerm, Value ); Vec_IntFree( vPermFanin ); @@ -120,6 +122,8 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, iDsdFanin = Abc_LitRegular(pDsdObj->pFans[1]); pNodFanin = Amap_LibNod( pLib, Abc_Lit2Var(pNod->iFan1) ); vPermFanin = Amap_LibDeriveGatePerm_rec( pLib, pNtk, iDsdFanin, pNodFanin ); + if ( vPermFanin == NULL ) + return NULL; Vec_IntForEachEntry( vPermFanin, Value, k ) Vec_IntPush( vPerm, Value ); Vec_IntFree( vPermFanin ); @@ -127,6 +131,8 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, iDsdFanin = Abc_LitRegular(pDsdObj->pFans[2]); pNodFanin = Amap_LibNod( pLib, Abc_Lit2Var(pNod->iFan2) ); vPermFanin = Amap_LibDeriveGatePerm_rec( pLib, pNtk, iDsdFanin, pNodFanin ); + if ( vPermFanin == NULL ) + return NULL; Vec_IntForEachEntry( vPermFanin, Value, k ) Vec_IntPush( vPerm, Value ); Vec_IntFree( vPermFanin ); |