• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 #define ASSERT_BUFSIZE	256
2 
3 #define assert_cmp(t, a, b, cmp, neg_cmp, pri, ...) do {		\
4 	t a_ = (a);							\
5 	t b_ = (b);							\
6 	if (!(a_ cmp b_)) {						\
7 		char prefix[ASSERT_BUFSIZE];				\
8 		char message[ASSERT_BUFSIZE];				\
9 		malloc_snprintf(prefix, sizeof(prefix),			\
10 		    "%s:%s:%d: Failed assertion: "			\
11 		    "(%s) " #cmp " (%s) --> "				\
12 		    "%" pri " " #neg_cmp " %" pri ": ",			\
13 		    __func__, __FILE__, __LINE__,			\
14 		    #a, #b, a_, b_);					\
15 		malloc_snprintf(message, sizeof(message), __VA_ARGS__);	\
16 		p_test_fail(prefix, message);				\
17 	}								\
18 } while (0)
19 
20 #define assert_ptr_eq(a, b, ...)	assert_cmp(void *, a, b, ==,	\
21     !=, "p", __VA_ARGS__)
22 #define assert_ptr_ne(a, b, ...)	assert_cmp(void *, a, b, !=,	\
23     ==, "p", __VA_ARGS__)
24 #define assert_ptr_null(a, ...)		assert_cmp(void *, a, NULL, ==,	\
25     !=, "p", __VA_ARGS__)
26 #define assert_ptr_not_null(a, ...)	assert_cmp(void *, a, NULL, !=,	\
27     ==, "p", __VA_ARGS__)
28 
29 #define assert_c_eq(a, b, ...)	assert_cmp(char, a, b, ==, !=, "c", __VA_ARGS__)
30 #define assert_c_ne(a, b, ...)	assert_cmp(char, a, b, !=, ==, "c", __VA_ARGS__)
31 #define assert_c_lt(a, b, ...)	assert_cmp(char, a, b, <, >=, "c", __VA_ARGS__)
32 #define assert_c_le(a, b, ...)	assert_cmp(char, a, b, <=, >, "c", __VA_ARGS__)
33 #define assert_c_ge(a, b, ...)	assert_cmp(char, a, b, >=, <, "c", __VA_ARGS__)
34 #define assert_c_gt(a, b, ...)	assert_cmp(char, a, b, >, <=, "c", __VA_ARGS__)
35 
36 #define assert_x_eq(a, b, ...)	assert_cmp(int, a, b, ==, !=, "#x", __VA_ARGS__)
37 #define assert_x_ne(a, b, ...)	assert_cmp(int, a, b, !=, ==, "#x", __VA_ARGS__)
38 #define assert_x_lt(a, b, ...)	assert_cmp(int, a, b, <, >=, "#x", __VA_ARGS__)
39 #define assert_x_le(a, b, ...)	assert_cmp(int, a, b, <=, >, "#x", __VA_ARGS__)
40 #define assert_x_ge(a, b, ...)	assert_cmp(int, a, b, >=, <, "#x", __VA_ARGS__)
41 #define assert_x_gt(a, b, ...)	assert_cmp(int, a, b, >, <=, "#x", __VA_ARGS__)
42 
43 #define assert_d_eq(a, b, ...)	assert_cmp(int, a, b, ==, !=, "d", __VA_ARGS__)
44 #define assert_d_ne(a, b, ...)	assert_cmp(int, a, b, !=, ==, "d", __VA_ARGS__)
45 #define assert_d_lt(a, b, ...)	assert_cmp(int, a, b, <, >=, "d", __VA_ARGS__)
46 #define assert_d_le(a, b, ...)	assert_cmp(int, a, b, <=, >, "d", __VA_ARGS__)
47 #define assert_d_ge(a, b, ...)	assert_cmp(int, a, b, >=, <, "d", __VA_ARGS__)
48 #define assert_d_gt(a, b, ...)	assert_cmp(int, a, b, >, <=, "d", __VA_ARGS__)
49 
50 #define assert_u_eq(a, b, ...)	assert_cmp(int, a, b, ==, !=, "u", __VA_ARGS__)
51 #define assert_u_ne(a, b, ...)	assert_cmp(int, a, b, !=, ==, "u", __VA_ARGS__)
52 #define assert_u_lt(a, b, ...)	assert_cmp(int, a, b, <, >=, "u", __VA_ARGS__)
53 #define assert_u_le(a, b, ...)	assert_cmp(int, a, b, <=, >, "u", __VA_ARGS__)
54 #define assert_u_ge(a, b, ...)	assert_cmp(int, a, b, >=, <, "u", __VA_ARGS__)
55 #define assert_u_gt(a, b, ...)	assert_cmp(int, a, b, >, <=, "u", __VA_ARGS__)
56 
57 #define assert_ld_eq(a, b, ...)	assert_cmp(long, a, b, ==,	\
58     !=, "ld", __VA_ARGS__)
59 #define assert_ld_ne(a, b, ...)	assert_cmp(long, a, b, !=,	\
60     ==, "ld", __VA_ARGS__)
61 #define assert_ld_lt(a, b, ...)	assert_cmp(long, a, b, <,	\
62     >=, "ld", __VA_ARGS__)
63 #define assert_ld_le(a, b, ...)	assert_cmp(long, a, b, <=,	\
64     >, "ld", __VA_ARGS__)
65 #define assert_ld_ge(a, b, ...)	assert_cmp(long, a, b, >=,	\
66     <, "ld", __VA_ARGS__)
67 #define assert_ld_gt(a, b, ...)	assert_cmp(long, a, b, >,	\
68     <=, "ld", __VA_ARGS__)
69 
70 #define assert_lu_eq(a, b, ...)	assert_cmp(unsigned long,	\
71     a, b, ==, !=, "lu", __VA_ARGS__)
72 #define assert_lu_ne(a, b, ...)	assert_cmp(unsigned long,	\
73     a, b, !=, ==, "lu", __VA_ARGS__)
74 #define assert_lu_lt(a, b, ...)	assert_cmp(unsigned long,	\
75     a, b, <, >=, "lu", __VA_ARGS__)
76 #define assert_lu_le(a, b, ...)	assert_cmp(unsigned long,	\
77     a, b, <=, >, "lu", __VA_ARGS__)
78 #define assert_lu_ge(a, b, ...)	assert_cmp(unsigned long,	\
79     a, b, >=, <, "lu", __VA_ARGS__)
80 #define assert_lu_gt(a, b, ...)	assert_cmp(unsigned long,	\
81     a, b, >, <=, "lu", __VA_ARGS__)
82 
83 #define assert_qd_eq(a, b, ...)	assert_cmp(long long, a, b, ==,	\
84     !=, "qd", __VA_ARGS__)
85 #define assert_qd_ne(a, b, ...)	assert_cmp(long long, a, b, !=,	\
86     ==, "qd", __VA_ARGS__)
87 #define assert_qd_lt(a, b, ...)	assert_cmp(long long, a, b, <,	\
88     >=, "qd", __VA_ARGS__)
89 #define assert_qd_le(a, b, ...)	assert_cmp(long long, a, b, <=,	\
90     >, "qd", __VA_ARGS__)
91 #define assert_qd_ge(a, b, ...)	assert_cmp(long long, a, b, >=,	\
92     <, "qd", __VA_ARGS__)
93 #define assert_qd_gt(a, b, ...)	assert_cmp(long long, a, b, >,	\
94     <=, "qd", __VA_ARGS__)
95 
96 #define assert_qu_eq(a, b, ...)	assert_cmp(unsigned long long,	\
97     a, b, ==, !=, "qu", __VA_ARGS__)
98 #define assert_qu_ne(a, b, ...)	assert_cmp(unsigned long long,	\
99     a, b, !=, ==, "qu", __VA_ARGS__)
100 #define assert_qu_lt(a, b, ...)	assert_cmp(unsigned long long,	\
101     a, b, <, >=, "qu", __VA_ARGS__)
102 #define assert_qu_le(a, b, ...)	assert_cmp(unsigned long long,	\
103     a, b, <=, >, "qu", __VA_ARGS__)
104 #define assert_qu_ge(a, b, ...)	assert_cmp(unsigned long long,	\
105     a, b, >=, <, "qu", __VA_ARGS__)
106 #define assert_qu_gt(a, b, ...)	assert_cmp(unsigned long long,	\
107     a, b, >, <=, "qu", __VA_ARGS__)
108 
109 #define assert_jd_eq(a, b, ...)	assert_cmp(intmax_t, a, b, ==,	\
110     !=, "jd", __VA_ARGS__)
111 #define assert_jd_ne(a, b, ...)	assert_cmp(intmax_t, a, b, !=,	\
112     ==, "jd", __VA_ARGS__)
113 #define assert_jd_lt(a, b, ...)	assert_cmp(intmax_t, a, b, <,	\
114     >=, "jd", __VA_ARGS__)
115 #define assert_jd_le(a, b, ...)	assert_cmp(intmax_t, a, b, <=,	\
116     >, "jd", __VA_ARGS__)
117 #define assert_jd_ge(a, b, ...)	assert_cmp(intmax_t, a, b, >=,	\
118     <, "jd", __VA_ARGS__)
119 #define assert_jd_gt(a, b, ...)	assert_cmp(intmax_t, a, b, >,	\
120     <=, "jd", __VA_ARGS__)
121 
122 #define assert_ju_eq(a, b, ...)	assert_cmp(uintmax_t, a, b, ==,	\
123     !=, "ju", __VA_ARGS__)
124 #define assert_ju_ne(a, b, ...)	assert_cmp(uintmax_t, a, b, !=,	\
125     ==, "ju", __VA_ARGS__)
126 #define assert_ju_lt(a, b, ...)	assert_cmp(uintmax_t, a, b, <,	\
127     >=, "ju", __VA_ARGS__)
128 #define assert_ju_le(a, b, ...)	assert_cmp(uintmax_t, a, b, <=,	\
129     >, "ju", __VA_ARGS__)
130 #define assert_ju_ge(a, b, ...)	assert_cmp(uintmax_t, a, b, >=,	\
131     <, "ju", __VA_ARGS__)
132 #define assert_ju_gt(a, b, ...)	assert_cmp(uintmax_t, a, b, >,	\
133     <=, "ju", __VA_ARGS__)
134 
135 #define assert_zd_eq(a, b, ...)	assert_cmp(ssize_t, a, b, ==,	\
136     !=, "zd", __VA_ARGS__)
137 #define assert_zd_ne(a, b, ...)	assert_cmp(ssize_t, a, b, !=,	\
138     ==, "zd", __VA_ARGS__)
139 #define assert_zd_lt(a, b, ...)	assert_cmp(ssize_t, a, b, <,	\
140     >=, "zd", __VA_ARGS__)
141 #define assert_zd_le(a, b, ...)	assert_cmp(ssize_t, a, b, <=,	\
142     >, "zd", __VA_ARGS__)
143 #define assert_zd_ge(a, b, ...)	assert_cmp(ssize_t, a, b, >=,	\
144     <, "zd", __VA_ARGS__)
145 #define assert_zd_gt(a, b, ...)	assert_cmp(ssize_t, a, b, >,	\
146     <=, "zd", __VA_ARGS__)
147 
148 #define assert_zu_eq(a, b, ...)	assert_cmp(size_t, a, b, ==,	\
149     !=, "zu", __VA_ARGS__)
150 #define assert_zu_ne(a, b, ...)	assert_cmp(size_t, a, b, !=,	\
151     ==, "zu", __VA_ARGS__)
152 #define assert_zu_lt(a, b, ...)	assert_cmp(size_t, a, b, <,	\
153     >=, "zu", __VA_ARGS__)
154 #define assert_zu_le(a, b, ...)	assert_cmp(size_t, a, b, <=,	\
155     >, "zu", __VA_ARGS__)
156 #define assert_zu_ge(a, b, ...)	assert_cmp(size_t, a, b, >=,	\
157     <, "zu", __VA_ARGS__)
158 #define assert_zu_gt(a, b, ...)	assert_cmp(size_t, a, b, >,	\
159     <=, "zu", __VA_ARGS__)
160 
161 #define assert_d32_eq(a, b, ...)	assert_cmp(int32_t, a, b, ==,	\
162     !=, FMTd32, __VA_ARGS__)
163 #define assert_d32_ne(a, b, ...)	assert_cmp(int32_t, a, b, !=,	\
164     ==, FMTd32, __VA_ARGS__)
165 #define assert_d32_lt(a, b, ...)	assert_cmp(int32_t, a, b, <,	\
166     >=, FMTd32, __VA_ARGS__)
167 #define assert_d32_le(a, b, ...)	assert_cmp(int32_t, a, b, <=,	\
168     >, FMTd32, __VA_ARGS__)
169 #define assert_d32_ge(a, b, ...)	assert_cmp(int32_t, a, b, >=,	\
170     <, FMTd32, __VA_ARGS__)
171 #define assert_d32_gt(a, b, ...)	assert_cmp(int32_t, a, b, >,	\
172     <=, FMTd32, __VA_ARGS__)
173 
174 #define assert_u32_eq(a, b, ...)	assert_cmp(uint32_t, a, b, ==,	\
175     !=, FMTu32, __VA_ARGS__)
176 #define assert_u32_ne(a, b, ...)	assert_cmp(uint32_t, a, b, !=,	\
177     ==, FMTu32, __VA_ARGS__)
178 #define assert_u32_lt(a, b, ...)	assert_cmp(uint32_t, a, b, <,	\
179     >=, FMTu32, __VA_ARGS__)
180 #define assert_u32_le(a, b, ...)	assert_cmp(uint32_t, a, b, <=,	\
181     >, FMTu32, __VA_ARGS__)
182 #define assert_u32_ge(a, b, ...)	assert_cmp(uint32_t, a, b, >=,	\
183     <, FMTu32, __VA_ARGS__)
184 #define assert_u32_gt(a, b, ...)	assert_cmp(uint32_t, a, b, >,	\
185     <=, FMTu32, __VA_ARGS__)
186 
187 #define assert_d64_eq(a, b, ...)	assert_cmp(int64_t, a, b, ==,	\
188     !=, FMTd64, __VA_ARGS__)
189 #define assert_d64_ne(a, b, ...)	assert_cmp(int64_t, a, b, !=,	\
190     ==, FMTd64, __VA_ARGS__)
191 #define assert_d64_lt(a, b, ...)	assert_cmp(int64_t, a, b, <,	\
192     >=, FMTd64, __VA_ARGS__)
193 #define assert_d64_le(a, b, ...)	assert_cmp(int64_t, a, b, <=,	\
194     >, FMTd64, __VA_ARGS__)
195 #define assert_d64_ge(a, b, ...)	assert_cmp(int64_t, a, b, >=,	\
196     <, FMTd64, __VA_ARGS__)
197 #define assert_d64_gt(a, b, ...)	assert_cmp(int64_t, a, b, >,	\
198     <=, FMTd64, __VA_ARGS__)
199 
200 #define assert_u64_eq(a, b, ...)	assert_cmp(uint64_t, a, b, ==,	\
201     !=, FMTu64, __VA_ARGS__)
202 #define assert_u64_ne(a, b, ...)	assert_cmp(uint64_t, a, b, !=,	\
203     ==, FMTu64, __VA_ARGS__)
204 #define assert_u64_lt(a, b, ...)	assert_cmp(uint64_t, a, b, <,	\
205     >=, FMTu64, __VA_ARGS__)
206 #define assert_u64_le(a, b, ...)	assert_cmp(uint64_t, a, b, <=,	\
207     >, FMTu64, __VA_ARGS__)
208 #define assert_u64_ge(a, b, ...)	assert_cmp(uint64_t, a, b, >=,	\
209     <, FMTu64, __VA_ARGS__)
210 #define assert_u64_gt(a, b, ...)	assert_cmp(uint64_t, a, b, >,	\
211     <=, FMTu64, __VA_ARGS__)
212 
213 #define assert_b_eq(a, b, ...) do {					\
214 	bool a_ = (a);							\
215 	bool b_ = (b);							\
216 	if (!(a_ == b_)) {						\
217 		char prefix[ASSERT_BUFSIZE];				\
218 		char message[ASSERT_BUFSIZE];				\
219 		malloc_snprintf(prefix, sizeof(prefix),			\
220 		    "%s:%s:%d: Failed assertion: "			\
221 		    "(%s) == (%s) --> %s != %s: ",			\
222 		    __func__, __FILE__, __LINE__,			\
223 		    #a, #b, a_ ? "true" : "false",			\
224 		    b_ ? "true" : "false");				\
225 		malloc_snprintf(message, sizeof(message), __VA_ARGS__);	\
226 		p_test_fail(prefix, message);				\
227 	}								\
228 } while (0)
229 #define assert_b_ne(a, b, ...) do {					\
230 	bool a_ = (a);							\
231 	bool b_ = (b);							\
232 	if (!(a_ != b_)) {						\
233 		char prefix[ASSERT_BUFSIZE];				\
234 		char message[ASSERT_BUFSIZE];				\
235 		malloc_snprintf(prefix, sizeof(prefix),			\
236 		    "%s:%s:%d: Failed assertion: "			\
237 		    "(%s) != (%s) --> %s == %s: ",			\
238 		    __func__, __FILE__, __LINE__,			\
239 		    #a, #b, a_ ? "true" : "false",			\
240 		    b_ ? "true" : "false");				\
241 		malloc_snprintf(message, sizeof(message), __VA_ARGS__);	\
242 		p_test_fail(prefix, message);				\
243 	}								\
244 } while (0)
245 #define assert_true(a, ...)	assert_b_eq(a, true, __VA_ARGS__)
246 #define assert_false(a, ...)	assert_b_eq(a, false, __VA_ARGS__)
247 
248 #define assert_str_eq(a, b, ...) do {				\
249 	if (strcmp((a), (b))) {						\
250 		char prefix[ASSERT_BUFSIZE];				\
251 		char message[ASSERT_BUFSIZE];				\
252 		malloc_snprintf(prefix, sizeof(prefix),			\
253 		    "%s:%s:%d: Failed assertion: "			\
254 		    "(%s) same as (%s) --> "				\
255 		    "\"%s\" differs from \"%s\": ",			\
256 		    __func__, __FILE__, __LINE__, #a, #b, a, b);	\
257 		malloc_snprintf(message, sizeof(message), __VA_ARGS__);	\
258 		p_test_fail(prefix, message);				\
259 	}								\
260 } while (0)
261 #define assert_str_ne(a, b, ...) do {				\
262 	if (!strcmp((a), (b))) {					\
263 		char prefix[ASSERT_BUFSIZE];				\
264 		char message[ASSERT_BUFSIZE];				\
265 		malloc_snprintf(prefix, sizeof(prefix),			\
266 		    "%s:%s:%d: Failed assertion: "			\
267 		    "(%s) differs from (%s) --> "			\
268 		    "\"%s\" same as \"%s\": ",				\
269 		    __func__, __FILE__, __LINE__, #a, #b, a, b);	\
270 		malloc_snprintf(message, sizeof(message), __VA_ARGS__);	\
271 		p_test_fail(prefix, message);				\
272 	}								\
273 } while (0)
274 
275 #define assert_not_reached(...) do {					\
276 	char prefix[ASSERT_BUFSIZE];					\
277 	char message[ASSERT_BUFSIZE];					\
278 	malloc_snprintf(prefix, sizeof(prefix),				\
279 	    "%s:%s:%d: Unreachable code reached: ",			\
280 	    __func__, __FILE__, __LINE__);				\
281 	malloc_snprintf(message, sizeof(message), __VA_ARGS__);		\
282 	p_test_fail(prefix, message);					\
283 } while (0)
284 
285 /*
286  * If this enum changes, corresponding changes in test/test.sh.in are also
287  * necessary.
288  */
289 typedef enum {
290 	test_status_pass = 0,
291 	test_status_skip = 1,
292 	test_status_fail = 2,
293 
294 	test_status_count = 3
295 } test_status_t;
296 
297 typedef void (test_t)(void);
298 
299 #define TEST_BEGIN(f)							\
300 static void								\
301 f(void) {								\
302 	p_test_init(#f);
303 
304 #define TEST_END							\
305 	goto label_test_end;						\
306 label_test_end:								\
307 	p_test_fini();							\
308 }
309 
310 #define test(...)							\
311 	p_test(__VA_ARGS__, NULL)
312 
313 #define test_no_reentrancy(...)							\
314 	p_test_no_reentrancy(__VA_ARGS__, NULL)
315 
316 #define test_no_malloc_init(...)					\
317 	p_test_no_malloc_init(__VA_ARGS__, NULL)
318 
319 #define test_skip_if(e) do {						\
320 	if (e) {							\
321 		test_skip("%s:%s:%d: Test skipped: (%s)",		\
322 		    __func__, __FILE__, __LINE__, #e);			\
323 		goto label_test_end;					\
324 	}								\
325 } while (0)
326 
327 bool test_is_reentrant();
328 
329 void	test_skip(const char *format, ...) JEMALLOC_FORMAT_PRINTF(1, 2);
330 void	test_fail(const char *format, ...) JEMALLOC_FORMAT_PRINTF(1, 2);
331 
332 /* For private use by macros. */
333 test_status_t	p_test(test_t *t, ...);
334 test_status_t	p_test_no_reentrancy(test_t *t, ...);
335 test_status_t	p_test_no_malloc_init(test_t *t, ...);
336 void	p_test_init(const char *name);
337 void	p_test_fini(void);
338 void	p_test_fail(const char *prefix, const char *message);
339