Commit 30f00584 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

[buddy]

* src/kernel.h (CHECK, CHECKa, CHECKn): Disable if NDEBUG is set.
parent 44aed5cd
2011-04-03 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/kernel.h (CHECK, CHECKa, CHECKn): Disable if NDEBUG is set.
2011-04-03 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Fix declaration of bddproduced.
......
......@@ -54,7 +54,11 @@
#error The compiler does not support 4 byte integers!
#endif
#ifdef NDEBUG
#define CHECK(r) (void)(r);
#define CHECKa(r,a) (void)(r); (void)(a);
#define CHECKn(r) (void)(r);
#else
/* Sanity check argument and return eventual error code */
#define CHECK(r)\
if (!bddrunning) return bdd_error(BDD_RUNNING);\
......@@ -75,7 +79,7 @@
{ bdd_error(BDD_ILLBDD); return; }\
else if (r >= 2 && LOW(r) == -1)\
{ bdd_error(BDD_ILLBDD); return; }
#endif
/*=== SEMI-INTERNAL TYPES ==============================================*/
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment