1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
/* libmisc/tests/test_assert.c - Tests for <libmisc/assert.h>
*
* Copyright (C) 2024 Luke T. Shumaker <lukeshu@lukeshu.com>
* SPDX-License-Identifier: AGPL-3.0-or-later
*/
#include <stdbool.h>
#include <libmisc/assert.h>
#include "test.h"
/* Intercept failures *********************************************************/
bool global_failed = false;
bool global_unreachable = false;
void __assert_msg_fail(const char *expr,
const char *file, unsigned int line, const char *func,
const char *msg) {
static bool in_fail = false;
if (!in_fail) {
in_fail = true;
printf("error: %s:%u:%s(): assertion \"%s\" failed%s%s\n",
file, line, func,
expr,
msg ? ": " : "", msg);
}
global_failed = true;
}
#define __builtin_unreachable() do { global_unreachable = true; } while (0)
/* Utilities ******************************************************************/
#define test_should_succeed(test) do { \
global_failed = false; \
test; \
test_assert(global_failed == false); \
} while (0)
#define test_should_fail(test) do { \
global_failed = false; \
test; \
test_assert(global_failed == true); \
} while (0)
/* Actual tests ***************************************************************/
static_assert(sizeof(char) == 1);
int main() {
test_should_succeed(assert(true));
test_should_fail(assert(false));
test_should_succeed(assert_msg(true, "foo"));
test_should_fail(assert_msg(false, "foo"));
test_should_succeed(assert_msg(true, NULL));
test_should_fail(assert_msg(false, NULL));
test_should_fail(assert_notreached(""));
test_assert(global_unreachable == true);
return 0;
}
|
