version 1.1.1.1, 2012/02/21 22:57:48
|
version 1.1.1.2, 2021/03/17 13:38:46
|
Line 12
|
Line 12
|
GNU General Public License for more details. |
GNU General Public License for more details. |
|
|
You should have received a copy of the GNU General Public License |
You should have received a copy of the GNU General Public License |
along with this program. If not, see <http://www.gnu.org/licenses/>. */ | along with this program. If not, see <https://www.gnu.org/licenses/>. */ |
|
|
#include <config.h> |
#include <config.h> |
|
|
Line 35 void
|
Line 35 void
|
xalloc_die () |
xalloc_die () |
{ |
{ |
error (xmalloc_exit_failure, 0, _("memory exhausted")); |
error (xmalloc_exit_failure, 0, _("memory exhausted")); |
/* 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 |
its first argument is 0. To help compilers understand the |
xalloc_die does terminate, call exit. */ |
xalloc_die does terminate, call exit. */ |
exit (EXIT_FAILURE); |
exit (EXIT_FAILURE); |