diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-28 23:02:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-28 23:02:26 -0700 |
| commit | 947eeb9501d8f2ad9fdedba37b47125d6d03ebe1 (patch) | |
| tree | fcf2a022e87da43d0deb5249e061b5993fd94f0d /src/aig/gia/giaScript.c | |
| parent | 41c937e4c8a25070a8b507d98a1ccd2ac26b0d28 (diff) | |
| download | abc-947eeb9501d8f2ad9fdedba37b47125d6d03ebe1.tar.gz abc-947eeb9501d8f2ad9fdedba37b47125d6d03ebe1.tar.bz2 abc-947eeb9501d8f2ad9fdedba37b47125d6d03ebe1.zip | |
Memory leaks.
Diffstat (limited to 'src/aig/gia/giaScript.c')
| -rw-r--r-- | src/aig/gia/giaScript.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index 751f5000..f32b1658 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -91,6 +91,7 @@ Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * pInit, int fOldAlgo, int fCoarsen, int f { pNew = Gia_ManDup(p); Gia_ManTransferTiming( pNew, p ); + Gia_ManStop( p ); return pNew; } // delay optimization @@ -164,6 +165,7 @@ Gia_Man_t * Gia_ManAigSyn3( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) { pNew = Gia_ManDup(p); Gia_ManTransferTiming( pNew, p ); + Gia_ManStop( p ); return pNew; } // perform balancing @@ -200,6 +202,7 @@ Gia_Man_t * Gia_ManAigSyn4( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) { pNew = Gia_ManDup(p); Gia_ManTransferTiming( pNew, p ); + Gia_ManStop( p ); return pNew; } //Gia_ManAigPrintPiLevels( p ); |