diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 01:28:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 01:28:54 -0700 |
| commit | 710835f8d60d5f7cab27fad6547be5f5cb1733a2 (patch) | |
| tree | f2d75326027a58d30f4f736a12f349c94651a42c /src/base/io/ioReadBlifMv.c | |
| parent | 1ed823c67d5ba9681a0d5a52aec576edc9ed2de2 (diff) | |
| download | abc-710835f8d60d5f7cab27fad6547be5f5cb1733a2.tar.gz abc-710835f8d60d5f7cab27fad6547be5f5cb1733a2.tar.bz2 abc-710835f8d60d5f7cab27fad6547be5f5cb1733a2.zip | |
Memory leaks.
Diffstat (limited to 'src/base/io/ioReadBlifMv.c')
| -rw-r--r-- | src/base/io/ioReadBlifMv.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |