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 35483c93b27865818d018e52cb48fdb033dc4869..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"
@@ -73,7 +76,7 @@ bool compare_ranges(const struct bt_integer_range *range_a,
                range_a->upper.u == range_b->upper.u;
 }
 
-bt_bool bt_integer_range_unsigned_compare(
+bt_bool bt_integer_range_unsigned_is_equal(
                const struct bt_integer_range_unsigned *range_a,
                const struct bt_integer_range_unsigned *range_b)
 {
@@ -83,7 +86,7 @@ bt_bool bt_integer_range_unsigned_compare(
                (const void *) range_b);
 }
 
-bt_bool bt_integer_range_signed_compare(
+bt_bool bt_integer_range_signed_is_equal(
                const struct bt_integer_range_signed *range_a,
                const struct bt_integer_range_signed *range_b)
 {
@@ -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;
@@ -353,7 +363,7 @@ end:
        return is_equal;
 }
 
-bt_bool bt_integer_range_set_unsigned_compare(
+bt_bool bt_integer_range_set_unsigned_is_equal(
                const struct bt_integer_range_set_unsigned *range_set_a,
                const struct bt_integer_range_set_unsigned *range_set_b)
 {
@@ -363,7 +373,7 @@ bt_bool bt_integer_range_set_unsigned_compare(
                (const void *) range_set_b);
 }
 
-bt_bool bt_integer_range_set_signed_compare(
+bt_bool bt_integer_range_set_signed_is_equal(
                const struct bt_integer_range_set_signed *range_set_a,
                const struct bt_integer_range_set_signed *range_set_b)
 {