diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-05 19:54:17 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-05 19:54:17 -0800 |
| commit | d9fdd10960744034bac5da285e221513d4438b75 (patch) | |
| tree | da162896ffde15486ceab66761e34c3f263c44fc /src/map/scl | |
| parent | 3169bd96b784cbc86bb523cb6de094580299fdb6 (diff) | |
| download | abc-d9fdd10960744034bac5da285e221513d4438b75.tar.gz abc-d9fdd10960744034bac5da285e221513d4438b75.tar.bz2 abc-d9fdd10960744034bac5da285e221513d4438b75.zip | |
Bug fix in Liberty parser.
Diffstat (limited to 'src/map/scl')
| -rw-r--r-- | src/map/scl/sclLiberty.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/map/scl/sclLiberty.c b/src/map/scl/sclLiberty.c index 2b2e77e9..50e69d08 100644 --- a/src/map/scl/sclLiberty.c +++ b/src/map/scl/sclLiberty.c @@ -1614,10 +1614,14 @@ Vec_Str_t * Scl_LibertyReadSclStr( Scl_Tree_t * p, int fVerbose, int fVeryVerbos Vec_Flt_t * vArray; assert( Vec_PtrSize(vTemples) % 4 == 0 ); Vec_PtrForEachEntry( Vec_Flt_t *, vTemples, vArray, i ) + { + if ( vArray == NULL ) + continue; if ( i % 4 == 0 ) ABC_FREE( vArray ); else if ( i % 4 == 2 || i % 4 == 3 ) Vec_FltFree( vArray ); + } Vec_PtrFree( vTemples ); } if ( fVerbose ) |