summaryrefslogtreecommitdiff
path: root/src/runtime/c/gu/assert.c
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@gmail.com>2012-01-20 13:41:10 +0000
committerkr.angelov <kr.angelov@gmail.com>2012-01-20 13:41:10 +0000
commit2eee382a62a909d5a3f2f5eda94f30fe68fd5335 (patch)
treeb0b0d513535895f244214aebf6358e172b8dce6d /src/runtime/c/gu/assert.c
parentb9728357126f8b9a6311cca17d9f0dcc2a7bfb9b (diff)
initial import of the C runtime
Diffstat (limited to 'src/runtime/c/gu/assert.c')
-rw-r--r--src/runtime/c/gu/assert.c53
1 files changed, 53 insertions, 0 deletions
diff --git a/src/runtime/c/gu/assert.c b/src/runtime/c/gu/assert.c
new file mode 100644
index 000000000..e111912d3
--- /dev/null
+++ b/src/runtime/c/gu/assert.c
@@ -0,0 +1,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();
+}