diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-25 20:35:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-25 20:35:11 -0700 |
| commit | 41c937e4c8a25070a8b507d98a1ccd2ac26b0d28 (patch) | |
| tree | a7976c5573df01be207f0b279905be4a53cae2e6 /src/aig/gia/giaIf.c | |
| parent | f21bafeb230d99b264b84dd316f29b45b94df034 (diff) | |
| download | abc-41c937e4c8a25070a8b507d98a1ccd2ac26b0d28.tar.gz abc-41c937e4c8a25070a8b507d98a1ccd2ac26b0d28.tar.bz2 abc-41c937e4c8a25070a8b507d98a1ccd2ac26b0d28.zip | |
Memory leaks.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 37ca6d4b..6b6d9e04 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -2357,6 +2357,7 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars ) // transfer name assert( pNew->pName == NULL ); pNew->pName = Abc_UtilStrsav( p->pName ); + ABC_FREE( pNew->pSpec ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p) ); // print delay trace |