28 lines
714 B
C
28 lines
714 B
C
/*
|
|
* called from "assert" macro; prints without printf or stdio.
|
|
*/
|
|
|
|
#define WRITE(s, n) (void) write(2, (s), (n))
|
|
#define WRITESTR(s1, n, s2) WRITE((s1), n), \
|
|
WRITE((s2), (unsigned) strlen(s2))
|
|
|
|
_assert(assertion, filename, line_num)
|
|
char *assertion;
|
|
char *filename;
|
|
int line_num;
|
|
{
|
|
static char linestr[] = ", line NNNNN\n";
|
|
register char *p = &linestr[7];
|
|
register int div, digit;
|
|
|
|
WRITESTR("Assertion failed: ", 18, assertion);
|
|
WRITESTR(", file ", 7, filename);
|
|
for (div = 10000; div != 0; line_num %= div, div /= 10)
|
|
if ((digit = line_num/div) != 0 || p != &linestr[7] || div == 1)
|
|
*p++ = digit + '0';
|
|
*p++ = '\n';
|
|
*p = '\0';
|
|
WRITE(linestr, (unsigned) strlen(linestr));
|
|
(void) abort();
|
|
}
|