Memory leaks.

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 );
 }
 

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 );