From 975045a4e658c65cd3ca869564f26b6833e27663 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 6 Mar 2010 09:18:10 +0100 Subject: [PATCH] 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. --- ChangeLog | 7 +++++++ src/tgba/tgbatba.cc | 2 ++ 2 files changed, 9 insertions(+) diff --git a/ChangeLog b/ChangeLog index 89fd64daa..18f3fbb66 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2010-03-06 Alexandre Duret-Lutz + + 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 Keep acceptance conditions on transitions going to accepting SCCs diff --git a/src/tgba/tgbatba.cc b/src/tgba/tgbatba.cc index c4fd6467a..69c87e021 100644 --- a/src/tgba/tgbatba.cc +++ b/src/tgba/tgbatba.cc @@ -399,11 +399,13 @@ namespace spot // point already, so just return. delete dest; delete it; + delete init; return; } delete dest; } delete it; + delete init; } // If we arrive here either because the number of acceptance