summaryrefslogtreecommitdiff
path: root/src/runtime/c/gu/assert.c
blob: e111912d3af6b6bc7f3e0f7d155ff76f01e8911a (plain)
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
#include <gu/assert.h>
#include <stdlib.h>
#include <stdio.h>
#include <stdarg.h>

const char*
gu_assert_mode_descs[] = {
	[GU_ASSERT_PRECOND] = "precondition failed",
	[GU_ASSERT_POSTCOND] = "postcondition failed",
	[GU_ASSERT_ASSERTION] = "assertion failed",
	[GU_ASSERT_NEVER] = "control should not reach here",
};

void
gu_abort_v_(GuAssertMode mode,
	    const char* file, const char* func, int line,
	    const char* msg_fmt, va_list args)
{
	const char* desc = gu_assert_mode_descs[mode];
	(void) fprintf(stderr, "%s (%s:%d): %s\n", func, file, line, desc);
	if (msg_fmt != NULL) {
		(void) fputc('\t', stderr);
		(void) vfprintf(stderr, msg_fmt, args);
		(void) fputc('\n', stderr);
	}
	abort();
}

void
gu_abort_(GuAssertMode mode,
	  const char* file, const char* func, int line,
	  const char* msg_fmt, ...)
{
	va_list args;
	va_start(args, msg_fmt);
	gu_abort_v_(mode, file, func, line, msg_fmt, args);
	va_end(args);
}
	

void 
gu_fatal(const char* fmt, ...)
{
	va_list args;
	va_start(args, fmt);
	fputs("Fatal error", stderr);
	if (fmt) {
		fputs(": ", stderr);
		(void) vfprintf(stderr, fmt, args);
	}
	fputc('\n', stderr);
	abort();
}