fixing compilation for release mode
authorReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 2 Oct 2017 05:50:57 +0000 (07:50 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Mon, 2 Oct 2017 05:50:57 +0000 (07:50 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

include/assert.h
kernel/capabilities.c
lib/mdb/mdb_tree.c

index c880a78..6c73e01 100644 (file)
@@ -46,8 +46,8 @@
 #undef _assert
 
 #ifdef NDEBUG
-#define        assert(e)       ((void)0)
-#define        _assert(e)      ((void)0)
+#define        assert(e)        ((void)sizeof (e))
+#define        _assert(e)      ((void)sizeof (e))
 #else
 #define        _assert(e)      assert(e)
 
index 0bb5b58..1940968 100644 (file)
@@ -1412,6 +1412,8 @@ static bool check_caps_create_arguments(enum objtype type,
     // All other types do not need special alignments/offsets
     return true;
 }
+#else
+#define check_caps_create_arguments(a,b,c,d) 0
 #endif
 
 /** Create caps to new kernel objects.
@@ -1427,6 +1429,7 @@ errval_t caps_create_new(enum objtype type, lpaddr_t addr, size_t bytes,
     assert(type != ObjType_EndPoint); // Cap of this type cannot be created
     debug(SUBSYS_CAPS, "caps_create_new: type = %d, addr = %#"PRIxLPADDR
             ", bytes=%zu, objsize=%zu\n", type, addr, bytes, objsize);
+
     assert(check_caps_create_arguments(type, bytes, objsize, false));
     assert(addr == 0 || check_caps_create_arguments(type, bytes, objsize, true));
 
index b3ede90..fb7aaf3 100644 (file)
@@ -551,6 +551,8 @@ mdb_is_child(struct cte *child, struct cte *parent)
         return N(parent)->left == child || N(parent)->right == child;
     }
 }
+#else
+#define mdb_is_child(a, b) 0
 #endif
 
 static bool