#include <stdlib.h>
-#ifndef GNULIB_LIBPOSIX
#include "error.h"
-#endif
-
#include "exitfail.h"
#include "gettext.h"
void
xalloc_die (void)
{
-#ifndef GNULIB_LIBPOSIX
error (exit_failure, 0, "%s", _("memory exhausted"));
-#endif
- /* The `noreturn' cannot be given to error, since it may return if
+ /* _Noreturn cannot be given to error, since it may return if
its first argument is 0. To help compilers understand the
xalloc_die does not return, call abort. Also, the abort is a
safety feature if exit_failure is 0 (which shouldn't happen). */