From e8a0fbc9a7abfef039f1fb887d9856fe018a047f Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 30 Dec 2003 12:56:05 +0000 Subject: [PATCH] * src/ltltest/defs.in (run): Reun valgrind with --leak-check=yes. * src/ltlparse/ltlparse.yy: Add `%destructor's. --- ChangeLog | 5 +++++ src/ltlparse/ltlparse.yy | 3 +++ src/ltltest/defs.in | 3 +-- 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 2d3e2b4b3..c8f4ce2a9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2003-12-30 Alexandre Duret-Lutz + + * src/ltltest/defs.in (run): Reun valgrind with --leak-check=yes. + * src/ltlparse/ltlparse.yy: Add `%destructor's. + 2003-12-29 Alexandre Duret-Lutz * src/ltltest/defs.in (run): New function, run valgrind. diff --git a/src/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy index 46bfecaea..7a0eccedc 100644 --- a/src/ltlparse/ltlparse.yy +++ b/src/ltlparse/ltlparse.yy @@ -79,6 +79,9 @@ using namespace spot::ltl; %type result ltl_formula subformula +%destructor { delete $$; } ATOMIC_PROP +%destructor { spot::ltl::destroy($$); } result ltl_formula subformula + %% result: ltl_formula END_OF_INPUT { result = $$ = $1; diff --git a/src/ltltest/defs.in b/src/ltltest/defs.in index d31c9ea95..04b1f4e29 100644 --- a/src/ltltest/defs.in +++ b/src/ltltest/defs.in @@ -55,9 +55,8 @@ run() exitcode=0 if test -n "$VALGRIND"; then exec 6>valgrind.err - # No --leak-check=yes for now, as it causes parserr.test to fail. GLIBCPP_FORCE_NEW=1 \ - $VALGRIND --logfile-fd=6 -q "$@" || exitcode=$? + $VALGRIND --leak-check=yes --logfile-fd=6 -q "$@" || exitcode=$? cat valgrind.err 1>&2 test -z "`sed 1q valgrind.err`" || exit 50 rm -f valgrind.err