libmdb: add argument sanity check in mdb_is_inside()

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/lib/mdb/mdb_tree.c b/lib/mdb/mdb_tree.c
index f9e34ee..0278c6a 100644 (file)
--- a/lib/mdb/mdb_tree.c
+++ b/lib/mdb/mdb_tree.c
@@ -555,6 +555,8 @@ static bool
 mdb_is_inside(genpaddr_t outer_begin, genpaddr_t outer_end,
               genpaddr_t inner_begin, genpaddr_t inner_end)
 {
+    assert(outer_begin <= outer_end);
+    assert(inner_begin <= inner_end);
     return
         (inner_begin >= outer_begin && inner_end < outer_end) ||
         (inner_begin > outer_begin && inner_end <= outer_end);