From 197019ea62c414415cabc770a4f177ddfd74c4ab Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 3 Apr 2011 10:49:35 +0200 Subject: [PATCH] [buddy] * buddy/src/kernel.c (bdd_addref, bdd_delref): Disable sanity checks when compiled with NDEBUG. --- buddy/ChangeLog | 5 +++++ buddy/src/kernel.c | 12 ++++++++++-- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/buddy/ChangeLog b/buddy/ChangeLog index ac02a9ffb..ceeab2848 100644 --- a/buddy/ChangeLog +++ b/buddy/ChangeLog @@ -1,3 +1,8 @@ +2011-04-03 Alexandre Duret-Lutz + + * buddy/src/kernel.c (bdd_addref, bdd_delref): Disable sanity + checks when compiled with NDEBUG. + 2011-02-27 Alexandre Duret-Lutz * examples/cmilner/Makefile.am (cmilner_LDADD): Link with -lm, to diff --git a/buddy/src/kernel.c b/buddy/src/kernel.c index d4b45afb3..5a430bb00 100644 --- a/buddy/src/kernel.c +++ b/buddy/src/kernel.c @@ -1114,13 +1114,17 @@ RETURN {* The BDD node {\tt r}. *} */ BDD bdd_addref(BDD root) { +#if NDEBUG + if (root < 2) + return root; +#else if (root < 2 || !bddrunning) return root; if (root >= bddnodesize) return bdd_error(BDD_ILLBDD); if (LOW(root) == -1) return bdd_error(BDD_ILLBDD); - +#endif INCREF(root); return root; } @@ -1140,6 +1144,10 @@ RETURN {* The BDD node {\tt r}. *} */ BDD bdd_delref(BDD root) { +#if NDEBUG + if (root < 2) + return root; +#else if (root < 2 || !bddrunning) return root; if (root >= bddnodesize) @@ -1149,7 +1157,7 @@ BDD bdd_delref(BDD root) /* if the following line is present, fails there much earlier */ if (!HASREF(root)) bdd_error(BDD_BREAK); /* distinctive */ - +#endif DECREF(root); return root; }