Bug fix in the mapper: using an object after it is deleted.

This commit is contained in:
Alan Mishchenko 2012-03-24 11:52:13 -07:00
parent aede5026b3
commit b584fea24a
1 changed files with 2 additions and 2 deletions

View File

@ -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;
}