alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix memory leak introduced in yesterday's change.

Browse source 
* src/tgba/tgbatba.cc (tgba_sba_proxy::tgba_sba_proxy): Do not
forget to free the initial state after usage.
This commit is contained in:
Alexandre Duret-Lutz 2010-03-06 09:18:10 +01:00
parent 27b419ce17
commit 975045a4e6
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2010-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix memory leak introduced in yesterday's change.
* src/tgba/tgbatba.cc (tgba_sba_proxy::tgba_sba_proxy): Do not
forget to free the initial state after usage.
2010-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2010-03-06 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Keep acceptance conditions on transitions going to accepting SCCs Keep acceptance conditions on transitions going to accepting SCCs

2
src/tgba/tgbatba.cc
View file

@ -399,11 +399,13 @@ namespace spot
// point already, so just return. // point already, so just return.
delete dest; delete dest;
delete it; delete it;
delete init;
return; return;
} }
delete dest; delete dest;
} }
delete it; delete it;
delete init;
} }
// If we arrive here either because the number of acceptance // If we arrive here either because the number of acceptance