X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=src%2Fcompat_futex.c;h=9281138723da6a1ddefd67f91e37211ea10a53fd;hp=9e918fe8e2aac035dc39e6e23868410348d02627;hb=014775106c60f02818ca755b331f887030bd440f;hpb=2a27e9319bacc9bc98f38afb7e4f050601ab979b

diff --git a/src/compat_futex.c b/src/compat_futex.c
index 9e918fe..9281138 100644
--- a/src/compat_futex.c
+++ b/src/compat_futex.c
@@ -23,12 +23,12 @@
 #include <stdio.h>
 #include <pthread.h>
 #include <signal.h>
-#include <assert.h>
 #include <errno.h>
 #include <poll.h>
 #include <stdint.h>
 
 #include <urcu/arch.h>
+#include <urcu/assert.h>
 #include <urcu/futex.h>
 #include <urcu/system.h>
 
@@ -60,9 +60,9 @@ int compat_futex_noasync(int32_t *uaddr, int op, int32_t val,
 	 * Check if NULL. Don't let users expect that they are taken into
 	 * account.
 	 */
-	assert(!timeout);
-	assert(!uaddr2);
-	assert(!val3);
+	urcu_posix_assert(!timeout);
+	urcu_posix_assert(!uaddr2);
+	urcu_posix_assert(!val3);
 
 	/*
 	 * memory barriers to serialize with the previous uaddr modification.
@@ -124,9 +124,9 @@ int compat_futex_async(int32_t *uaddr, int op, int32_t val,
 	 * Check if NULL. Don't let users expect that they are taken into
 	 * account.
 	 */
-	assert(!timeout);
-	assert(!uaddr2);
-	assert(!val3);
+	urcu_posix_assert(!timeout);
+	urcu_posix_assert(!uaddr2);
+	urcu_posix_assert(!val3);
 
 	/*
 	 * Ensure previous memory operations on uaddr have completed.