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

Fix a memory leak in reduce_tau03().

Browse source 
* src/ltlvisit/contain.cc (reduce_tau03_visitor::visit): Free
the operand array when a multop reduces to a constant.
This commit is contained in:
Alexandre Duret-Lutz 2009-09-07 16:10:40 +02:00
parent 058bb83c6d
commit 4964c9a1a4
2 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2009-09-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
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 <adl@lrde.epita.fr> 2009-09-07 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix a memory leak in randltl. Fix a memory leak in randltl.

3
src/ltlvisit/contain.cc
View file

@ -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 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
// //
@ -331,6 +331,7 @@ namespace spot
for (unsigned i = 0; i < mos; ++i) for (unsigned i = 0; i < mos; ++i)
if ((*res)[i]) if ((*res)[i])
destroy((*res)[i]); destroy((*res)[i]);
delete res;
} }
formula* formula*