2018-10-03 16:55:25 -04:00
|
|
|
#include <errno.h>
|
2018-08-21 15:23:22 -04:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
|
|
|
#include <unistd.h>
|
|
|
|
|
|
|
|
#include "util.h"
|
|
|
|
|
2018-10-03 16:55:25 -04:00
|
|
|
static int write_full(int fd, const char *buf, size_t length) {
|
|
|
|
do {
|
|
|
|
ssize_t bytes_written = write(fd, buf, length);
|
|
|
|
if (bytes_written == -1) {
|
|
|
|
if (errno == EINTR) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
buf += bytes_written;
|
|
|
|
length -= bytes_written;
|
|
|
|
} while (length);
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2018-08-21 15:23:22 -04:00
|
|
|
COLD noreturn void fatal_error(const char *s) {
|
2018-10-03 16:22:28 -04:00
|
|
|
const char *prefix = "fatal allocator error: ";
|
2018-10-03 16:55:25 -04:00
|
|
|
(void)(write_full(STDERR_FILENO, prefix, strlen(prefix)) != -1 &&
|
|
|
|
write_full(STDERR_FILENO, s, strlen(s)) != -1 &&
|
|
|
|
write_full(STDERR_FILENO, "\n", 1));
|
2018-08-21 15:23:22 -04:00
|
|
|
abort();
|
|
|
|
}
|