From 6c01e8b9f040d591f72882aff08ed21446fbb567 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 27 Mar 2011 14:17:12 -0700
Subject: Fixed a number of small bugs and memory leaks.

---
 src/base/ver/verCore.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/base/ver/verCore.c')

diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index bb7142f3..eb036620 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -109,7 +109,10 @@ Ver_Man_t * Ver_ParseStart( char * pFileName, Abc_Lib_t * pGateLib )
     p->pFileName = pFileName;
     p->pReader   = Ver_StreamAlloc( pFileName );
     if ( p->pReader == NULL )
+    {
+        ABC_FREE( p );
         return NULL;
+    }
     p->Output    = stdout;
     p->vNames    = Vec_PtrAlloc( 100 );
     p->vStackFn  = Vec_PtrAlloc( 100 );
@@ -2537,7 +2540,7 @@ int Ver_ParseDriveFormal( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Ver_Bundle_t * pBu
             Abc_ObjAddFanin( pNetAct, pTermNew );
         }
         // remove the bundle
-        Ver_ParseFreeBundle( pBundle );
+        Ver_ParseFreeBundle( pBundle ); pBundle = NULL;
         Vec_PtrWriteEntry( (Vec_Ptr_t *)pBox->pCopy, j, NULL );
     }
     ABC_FREE( pName );
-- 
cgit v1.2.3