lib: add pre condition asserts to check current thread has no error

[babeltrace.git] / src / lib / integer-range-set.c

diff --git a/src/lib/integer-range-set.c b/src/lib/integer-range-set.c
index a422e4e419ecbc4a918667f0590a455f43611db3..e1c5e6d1e9397847f421563d1b0e5c74e6b3f917 100644 (file)
--- a/src/lib/integer-range-set.c
+++ b/src/lib/integer-range-set.c
@@ -23,7 +23,10 @@
 #define BT_LOG_TAG "LIB/INT-RANGE-SET"
 #include "lib/logging.h"
 
+#include <stdbool.h>
+
 #include <babeltrace2/babeltrace.h>
+
 #include "lib/assert-pre.h"
 #include "common/assert.h"
 #include "func-status.h"
@@ -177,14 +180,19 @@ end:
 
 struct bt_integer_range_set_unsigned *bt_integer_range_set_unsigned_create(void)
 {
+       BT_ASSERT_PRE_NO_ERROR();
+
        return (void *) create_range_set();
 }
 
 struct bt_integer_range_set_signed *bt_integer_range_set_signed_create(void)
 {
+       BT_ASSERT_PRE_NO_ERROR();
+
        return (void *) create_range_set();
 }
 
+static
 void add_range_to_range_set(struct bt_integer_range_set *range_set,
                uint64_t u_lower, uint64_t u_upper)
 {
@@ -207,6 +215,7 @@ bt_integer_range_set_unsigned_add_range(
                struct bt_integer_range_set_unsigned *range_set,
                uint64_t lower, uint64_t upper)
 {
+       BT_ASSERT_PRE_NO_ERROR();
        BT_ASSERT_PRE(lower <= upper,
                "Range's upper bound is less than lower bound: "
                "upper=%" PRIu64 ", lower=%" PRIu64, lower, upper);
@@ -219,6 +228,7 @@ bt_integer_range_set_signed_add_range(
                struct bt_integer_range_set_signed *range_set,
                int64_t lower, int64_t upper)
 {
+       BT_ASSERT_PRE_NO_ERROR();
        BT_ASSERT_PRE(lower <= upper,
                "Range's upper bound is less than lower bound: "
                "upper=%" PRId64 ", lower=%" PRId64, lower, upper);
@@ -310,8 +320,8 @@ bool compare_range_sets(const struct bt_integer_range_set *range_set_a,
        uint64_t a_i, b_i;
        bool is_equal = true;
 
-       BT_ASSERT(range_set_a);
-       BT_ASSERT(range_set_b);
+       BT_ASSERT_DBG(range_set_a);
+       BT_ASSERT_DBG(range_set_b);
 
        if (range_set_a == range_set_b) {
                goto end;