2018-08-21 15:23:22 -04:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
#include <unistd.h>
|
|
|
|
|
|
|
|
#include "util.h"
|
|
|
|
|
|
|
|
COLD noreturn void fatal_error(const char *s) {
|
2018-10-03 16:22:28 -04:00
|
|
|
const char *prefix = "fatal allocator error: ";
|
|
|
|
write(STDERR_FILENO, prefix, strlen(prefix));
|
2018-08-21 15:23:22 -04:00
|
|
|
write(STDERR_FILENO, s, strlen(s));
|
|
|
|
write(STDERR_FILENO, "\n", 1);
|
|
|
|
abort();
|
|
|
|
}
|