/* Report a memory allocation failure and exit.
- Copyright (C) 1997-2000, 2002-2004, 2006, 2009-2011 Free Software
+ Copyright (C) 1997-2000, 2002-2004, 2006, 2009-2013 Free Software
Foundation, Inc.
This program is free software: you can redistribute it and/or modify
#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). */