Initial revision

diff --git a/modules/src/assert/BadAssert.c b/modules/src/assert/BadAssert.c
new file mode 100644 (file)
index 0000000..aa09950
--- /dev/null
+++ b/modules/src/assert/BadAssert.c
@@ -0,0 +1,34 @@
+/* _BadAssertion: used for debugging purposes. It should give an error message
+       indicated by the parameters, and then give a core dump
+*/
+
+#include <system.h>
+
+static
+wr_num(fd, n)
+       File *fd;
+       int n;
+{
+       char s[2];
+
+       s[1] = '\0';
+       if (n >= 10) {
+               wr_num(fd, n/10);
+       }
+       s[0] = (n % 10) + '0';
+       (void) sys_write(fd, s, 1);
+}
+
+_BadAssertion(file, lineno, assertion)
+       char *file, *assertion;
+       int lineno;
+{
+
+       (void) sys_write(STDERR, file, strlen(file));
+       (void) sys_write(STDERR, ", line ", 7);
+       wr_num(STDERR, lineno);
+       (void) sys_write(STDERR, ": assertion \"", 13);
+       (void) sys_write(STDERR, assertion, strlen(assertion));
+       (void) sys_write(STDERR, "\" failed\n", 9);
+       sys_stop(S_ABORT);
+}