From 4964c9a1a46cca75bd37ca4a984fc652a0d1f896 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 7 Sep 2009 16:10:40 +0200 Subject: [PATCH] Fix a memory leak in reduce_tau03(). * src/ltlvisit/contain.cc (reduce_tau03_visitor::visit): Free the operand array when a multop reduces to a constant. --- ChangeLog | 7 +++++++ src/ltlvisit/contain.cc | 3 ++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 2cb3948e6..e831e4fd5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2009-09-07 Alexandre Duret-Lutz + + Fix a memory leak in reduce_tau03(). + + * src/ltlvisit/contain.cc (reduce_tau03_visitor::visit): Free + the operand array when a multop reduces to a constant. + 2009-09-07 Alexandre Duret-Lutz Fix a memory leak in randltl. diff --git a/src/ltlvisit/contain.cc b/src/ltlvisit/contain.cc index 13a39e4ec..3b30008af 100644 --- a/src/ltlvisit/contain.cc +++ b/src/ltlvisit/contain.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2006, 2007 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2006, 2007, 2009 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -331,6 +331,7 @@ namespace spot for (unsigned i = 0; i < mos; ++i) if ((*res)[i]) destroy((*res)[i]); + delete res; } formula*