Commit | Line | Data |
---|---|---|
01477510 FD |
1 | #ifndef _URCU_ASSERT_H |
2 | #define _URCU_ASSERT_H | |
3 | ||
4 | /* | |
5 | * urcu/assert.h | |
6 | * | |
7 | * Userspace RCU assertion facilities. | |
8 | * | |
9 | * Copyright (c) 2021 Francis Deslauriers <francis.deslauriers@efficios.com> | |
10 | * | |
11 | * Permission is hereby granted, free of charge, to any person obtaining a copy | |
12 | * of this software and associated documentation files (the "Software"), to deal | |
13 | * in the Software without restriction, including without limitation the rights | |
14 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
15 | * copies of the Software, and to permit persons to whom the Software is | |
16 | * furnished to do so, subject to the following conditions: | |
17 | * | |
18 | * The above copyright notice and this permission notice shall be included in | |
19 | * all copies or substantial portions of the Software. | |
20 | */ | |
21 | ||
22 | #include <urcu/config.h> | |
23 | ||
24 | /* | |
25 | * Force usage of an expression to prevent unused expression compiler warning. | |
26 | */ | |
27 | #define _urcu_use_expression(_expr) ((void) sizeof((void) (_expr), 0)) | |
28 | ||
29 | #ifdef NDEBUG | |
30 | /* | |
31 | * Vanilla assert() replacement. When NDEBUG is defined, the expression is | |
32 | * consumed to prevent unused variable compile warnings. | |
33 | */ | |
34 | # define urcu_posix_assert(_cond) _urcu_use_expression(_cond) | |
35 | #else | |
36 | # include <assert.h> | |
37 | # define urcu_posix_assert(_cond) assert(_cond) | |
38 | #endif | |
39 | ||
40 | #if defined(DEBUG_RCU) || defined(CONFIG_RCU_DEBUG) | |
41 | ||
42 | /* | |
43 | * Enables debugging/expensive assertions to be used in fast paths and only | |
44 | * enabled on demand. When disabled, the expression is consumed to prevent | |
45 | * unused variable compile warnings. | |
46 | */ | |
47 | # define urcu_assert_debug(_cond) urcu_posix_assert(_cond) | |
48 | #else | |
49 | # define urcu_assert_debug(_cond) _urcu_use_expression(_cond) | |
50 | #endif | |
51 | ||
52 | #endif /* _URCU_ASSERT_H */ |