From 49a78724a494c7143b5a6e237c99af46ae4b0602 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 13 Jul 2006 17:21:36 +0000 Subject: [PATCH] * src/tgba/bdddict.cc (bdd_dict::unregister_variable): Correctly call release_n(), not remove() to repopulated the freelist of anonymous BDD variables. New code I'm working on triggered an assertion inside remove(), but I'm surprised this bug hadn't manifested before ! --- ChangeLog | 8 ++++++++ src/tgba/bdddict.cc | 8 ++++---- 2 files changed, 12 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8ad6551b9..9c5a012a4 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2006-07-13 Alexandre Duret-Lutz + + * src/tgba/bdddict.cc (bdd_dict::unregister_variable): Correctly + call release_n(), not remove() to repopulated the freelist of + anonymous BDD variables. New code I'm working on triggered an + assertion inside remove(), but I'm surprised this bug hadn't + manifested before ! + 2006-06-13 Alexandre Duret-Lutz * iface/gspn/common.hh, iface/gspn/common.cc, iface/gspn/gspn.cc, diff --git a/src/tgba/bdddict.cc b/src/tgba/bdddict.cc index b33262d00..763ed5f09 100644 --- a/src/tgba/bdddict.cc +++ b/src/tgba/bdddict.cc @@ -1,6 +1,6 @@ -// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre -// et Marie Curie. +// Copyright (C) 2003, 2004, 2005, 2006 Laboratoire d'Informatique de +// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +// Université Pierre et Marie Curie. // // This file is part of Spot, a model checking library. // @@ -231,7 +231,7 @@ namespace spot free_annonymous_list_of_type::iterator i; for (i = free_annonymous_list_of.begin(); i != free_annonymous_list_of.end(); ++i) - i->second.remove(var, n); + i->second.release_n(var, n); } } }