From ccee43965d5c5bc6696145fcd686d45dd5b613b0 Mon Sep 17 00:00:00 2001 From: Christoph Mallon Date: Tue, 10 Jan 2012 09:25:59 +0100 Subject: [PATCH] Ensure that the noreturn function xnomem() does not return. --- ir/adt/xmalloc.c | 1 + 1 file changed, 1 insertion(+) diff --git a/ir/adt/xmalloc.c b/ir/adt/xmalloc.c index b526a42da..47ee42791 100644 --- a/ir/adt/xmalloc.c +++ b/ir/adt/xmalloc.c @@ -38,6 +38,7 @@ static NORETURN xnomem(void) { /* Do not use panic() here, because it might try to allocate memory! */ fputs("out of memory", stderr); + abort(); } void *xmalloc(size_t size) -- 2.20.1