From 710835f8d60d5f7cab27fad6547be5f5cb1733a2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 21 Jul 2013 01:28:54 -0700
Subject: Memory leaks.

---
 src/base/abci/abcTiming.c  | 12 ++++--------
 src/base/io/ioReadBlifMv.c |  2 +-
 2 files changed, 5 insertions(+), 9 deletions(-)

(limited to 'src')

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 );
-- 
cgit v1.2.3