X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=lib%2Fctf-writer%2Fserialize.c;h=f20ad405cb99cdcebbb76ac1a4f9ae0c53d9e6a7;hb=0fbb9a9fffe22e0d5211a47118102fa0ba4a766a;hp=427c2c5a96fd5c8a03c6c46bcd6b33ad26129911;hpb=5af447e5102d6226ee198e4db52b51e12075f1bb;p=babeltrace.git

diff --git a/lib/ctf-writer/serialize.c b/lib/ctf-writer/serialize.c
index 427c2c5a..f20ad405 100644
--- a/lib/ctf-writer/serialize.c
+++ b/lib/ctf-writer/serialize.c
@@ -28,6 +28,7 @@
  * SOFTWARE.
  */
 
+#include <stdlib.h>
 #include <stdio.h>
 #include <stdint.h>
 #include <babeltrace/ctf-ir/field-types.h>
@@ -108,7 +109,7 @@ int aligned_integer_write(struct bt_ctf_stream_pos *pos,
 			break;
 		}
 		default:
-			assert(BT_FALSE);
+			abort();
 		}
 	} else {
 		switch (size) {
@@ -147,7 +148,7 @@ int aligned_integer_write(struct bt_ctf_stream_pos *pos,
 			break;
 		}
 		default:
-			assert(BT_FALSE);
+			abort();
 		}
 	}
 
@@ -275,7 +276,8 @@ void bt_ctf_stream_pos_packet_seek(struct bt_ctf_stream_pos *pos, size_t index,
 		/* unmap old base */
 		ret = munmap_align(pos->base_mma);
 		if (ret) {
-			assert(BT_FALSE);
+			// FIXME: this can legitimately fail?
+			abort();
 		}
 		pos->base_mma = NULL;
 	}
@@ -294,6 +296,7 @@ void bt_ctf_stream_pos_packet_seek(struct bt_ctf_stream_pos *pos, size_t index,
 	pos->base_mma = mmap_align(pos->packet_size / CHAR_BIT, pos->prot,
 		pos->flags, pos->fd, pos->mmap_offset);
 	if (pos->base_mma == MAP_FAILED) {
-		assert(BT_FALSE);
+		// FIXME: this can legitimately fail?
+		abort();
 	}
 }