summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-24 11:52:13 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-24 11:52:13 -0700
commitb584fea24a562a8c44c5a92b25704fc9a306cbeb (patch)
tree4df9b0f916a1a7fb9cf7731572e5f2e9a37288d0
parentaede5026b3f23df3691c6e8b41b51230ef2bab2d (diff)
downloadabc-b584fea24a562a8c44c5a92b25704fc9a306cbeb.tar.gz
abc-b584fea24a562a8c44c5a92b25704fc9a306cbeb.tar.bz2
abc-b584fea24a562a8c44c5a92b25704fc9a306cbeb.zip
Bug fix in the mapper: using an object after it is deleted.
-rw-r--r--src/map/amap/amapPerm.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c
index a16e8979..1ba91890 100644
--- a/src/map/amap/amapPerm.c
+++ b/src/map/amap/amapPerm.c
@@ -215,11 +215,11 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk,
break;
}
}
- Vec_IntFree( vNodFanin );
- Vec_IntFree( vDsdLits );
// assert( iDsdLit == Vec_IntSize(vDsdLits) );
if ( iDsdLit != Vec_IntSize(vDsdLits) )
Vec_IntFreeP( &vPerm );
+ Vec_IntFree( vNodFanin );
+ Vec_IntFree( vDsdLits );
return vPerm;
}