From 263afcd22a552ffaeab4c1aaa90573f646fa8453 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 8 Nov 2004 15:39:52 +0000 Subject: [PATCH] * src/tgbaalgos/replayrun.cc (replay_tgba_run): Do not leak the initial state when no valid outgoing transition is found. --- ChangeLog | 3 +++ src/tgbaalgos/replayrun.cc | 1 + 2 files changed, 4 insertions(+) diff --git a/ChangeLog b/ChangeLog index 402ccc1bf..64fefb7dd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-11-08 Alexandre Duret-Lutz + * src/tgbaalgos/replayrun.cc (replay_tgba_run): Do not leak + the initial state when no valid outgoing transition is found. + * src/tgbaparse/tgbaparse.yy: Add `%destructor's so the parser does not leak on errors. * src/tgbatest/ltl2tgba.cc: Free the automata if it could not be diff --git a/src/tgbaalgos/replayrun.cc b/src/tgbaalgos/replayrun.cc index c7666f7db..3a1ba09e9 100644 --- a/src/tgbaalgos/replayrun.cc +++ b/src/tgbaalgos/replayrun.cc @@ -166,6 +166,7 @@ namespace spot delete s2; } delete j; + delete s; return false; } os << "transition";