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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/* See LICENSE file for copyright and license details. */
#define assert(EXPR)\
do {\
if (EXPR)\
break;\
stderr_real = 1;\
fprintf(stderr, "Failed at %s:%i: %s\n", __FILE__, __LINE__, #EXPR);\
exit_real = 1;\
exit(1);\
} while (0)
#define subassert(EXPR)\
do {\
if (EXPR)\
break;\
stderr_real = 1;\
fprintf(stderr, "Failed at %s:%i: %s\n", __FILE__, __LINE__, #EXPR);\
return 0;\
} while (0)
#define assert_unreached()\
assert(*&(volatile int *){0})
#define assert_exit(EXPR)\
do {\
volatile int old_stderr_ok__ = stderr_ok;\
exit_ok = 1;\
stderr_ok = 1;\
stderr_n = 0;\
if (setjmp(exit_jmp)) {\
exit_ok = 0;\
stderr_ok = old_stderr_ok__;\
break;\
}\
EXPR;\
assert_unreached();\
} while (0)
#define assert_exit_ptr(EXPR)\
do {\
void *volatile ptr__;\
assert_exit((void)(ptr__ = (EXPR)));\
} while (0)
#define assert_stderr(...)\
do {\
char buf__[1024];\
int len__;\
len__ = sprintf(buf__, __VA_ARGS__);\
assert(len__ >= 0);\
assert((size_t)len__ == stderr_n);\
assert(!memcmp(buf__, (char **)(void *)(&stderr_buf), stderr_n)); \
} while (0);
struct allocinfo {
void *real_beginning;
size_t real_size;
size_t size;
size_t extent;
size_t alignment;
size_t zeroed;
size_t refcount;
};
extern char *argv0;
extern volatile size_t alloc_fail_in;
extern volatile int exit_real;
extern volatile int exit_ok;
extern volatile int exit_status;
extern jmp_buf exit_jmp;
extern volatile char stderr_buf[8 << 10];
extern volatile size_t stderr_n;
extern volatile int stderr_real;
extern volatile int stderr_ok;
size_t get_pagesize(void);
size_t round_up(size_t);
int have_custom_malloc(void); /* return 0 if run under valgrind(1) */
struct allocinfo *get_allocinfo(void *);
int test_vfprintf(FILE *restrict stream, const char *restrict format, va_list ap);
static inline int
test_fprintf(FILE *restrict stream, const char *restrict format, ...)
{
va_list ap;
va_start(ap, format);
return test_vfprintf(stream, format, ap);
va_end(ap);
}
|
