Fix: bitfield: shift undefined/implementation defined behaviors

[babeltrace.git] / include / babeltrace / assert-pre-internal.h

diff --git a/include/babeltrace/assert-pre-internal.h b/include/babeltrace/assert-pre-internal.h
index 38f93a2e959c133503120ab97ca4ae243e514b72..e1a57dfe5df1dbecaca3f54cc7c3d0c051e340bf 100644 (file)
--- a/include/babeltrace/assert-pre-internal.h
+++ b/include/babeltrace/assert-pre-internal.h
@@ -36,6 +36,7 @@
  * <babeltrace/assert-pre-internal.h>, you also need to use logging
  * explicitly.
  */
+
 #ifndef BABELTRACE_LIB_LOGGING_INTERNAL_H
 # error Include <babeltrace/lib-logging-internal.h> before this header.
 #endif
@@ -57,7 +58,7 @@
 # define BT_ASSERT_PRE(_cond, _fmt, ...)                               \
        do {                                                            \
                if (!(_cond)) {                                         \
-                       BT_LOGF_STR("Library precondition not satisfied:"); \
+                       BT_LOGF_STR("Library precondition not satisfied; error is:"); \
                        BT_LIB_LOGF((_fmt), ##__VA_ARGS__);             \
                        BT_LOGF_STR("Aborting...");                     \
                        abort();                                        \
@@ -117,4 +118,12 @@
        BT_ASSERT_PRE(!(_obj)->frozen, "%s is frozen" _fmt, _obj_name,  \
                ##__VA_ARGS__)
 
+/*
+ * Developer mode: asserts that a given index is less than a given size.
+ */
+#define BT_ASSERT_PRE_VALID_INDEX(_index, _length)                     \
+       BT_ASSERT_PRE((_index) < (_length),                             \
+               "Index is out of bounds: index=%" PRIu64 ", "           \
+               "count=%" PRIu64, (uint64_t) (_index), (uint64_t) (_length))
+
 #endif /* BABELTRACE_ASSERT_PRE_INTERNAL_H */