diff options
-rw-r--r-- | src/base/abci/abcTiming.c | 12 | ||||
-rw-r--r-- | src/base/io/ioReadBlifMv.c | 2 |
2 files changed, 5 insertions, 9 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 4de117a0..c85f5677 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -431,16 +431,12 @@ void Abc_ManTimeStop( Abc_ManTime_t * p ) ABC_FREE( p->tInDrive ); if ( p->tOutLoad ) ABC_FREE( p->tOutLoad ); - if ( p->vArrs->nSize > 0 ) - { + if ( Vec_PtrSize(p->vArrs) > 0 ) ABC_FREE( p->vArrs->pArray[0] ); - Vec_PtrFree( p->vArrs ); - } - if ( p->vReqs->nSize > 0 ) - { + Vec_PtrFree( p->vArrs ); + if ( Vec_PtrSize(p->vReqs) > 0 ) ABC_FREE( p->vReqs->pArray[0] ); - Vec_PtrFree( p->vReqs ); - } + Vec_PtrFree( p->vReqs ); ABC_FREE( p ); } diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c index e14c22c2..0431a9e1 100644 --- a/src/base/io/ioReadBlifMv.c +++ b/src/base/io/ioReadBlifMv.c @@ -178,7 +178,6 @@ Abc_Ntk_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck ) p->pDesign->pManFunc = NULL; // prepare the file for parsing Io_MvReadPreparse( p ); - vGlobalLtlArray = Vec_PtrAlloc( 100 ); // parse interfaces of each network and construct the network if ( Io_MvReadInterfaces( p ) ) pDesign = Io_MvParse( p ); @@ -249,6 +248,7 @@ Abc_Ntk_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck ) if ( pNtk->pSpec == NULL ) pNtk->pSpec = Extra_UtilStrsav( pFileName ); + vGlobalLtlArray = Vec_PtrAlloc( 100 ); Vec_PtrForEachEntry( char *, vGlobalLtlArray, pLtlProp, i ) Vec_PtrPush( pNtk->vLtlProperties, pLtlProp ); Vec_PtrFreeP( &vGlobalLtlArray ); |