diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 22:31:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 22:31:00 -0700 |
| commit | 8982bf58cb8c801bdd6e204d73ac6ed36d98adaa (patch) | |
| tree | e5708bc3870873f0b901dcf792b6ac311b5aec3c /src/misc/vec/vecSet.h | |
| parent | 5838789ee7d7e1b9bbfdf091e33f6749a9b1286f (diff) | |
| download | abc-8982bf58cb8c801bdd6e204d73ac6ed36d98adaa.tar.gz abc-8982bf58cb8c801bdd6e204d73ac6ed36d98adaa.tar.bz2 abc-8982bf58cb8c801bdd6e204d73ac6ed36d98adaa.zip | |
Reducing memory usage in proof-based abstraction.
Diffstat (limited to 'src/misc/vec/vecSet.h')
| -rw-r--r-- | src/misc/vec/vecSet.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/misc/vec/vecSet.h b/src/misc/vec/vecSet.h index c96636f8..40318b48 100644 --- a/src/misc/vec/vecSet.h +++ b/src/misc/vec/vecSet.h @@ -168,12 +168,14 @@ static inline void Vec_SetRestart( Vec_Set_t * p ) static inline void Vec_SetFree_( Vec_Set_t * p ) { int i; + if ( p == NULL ) return; for ( i = 0; i < p->nPagesAlloc; i++ ) ABC_FREE( p->pPages[i] ); ABC_FREE( p->pPages ); } static inline void Vec_SetFree( Vec_Set_t * p ) { + if ( p == NULL ) return; Vec_SetFree_( p ); ABC_FREE( p ); } |