Ensure that the noreturn function xnomem() does not return.

diff --git a/ir/adt/xmalloc.c b/ir/adt/xmalloc.c
index b526a42..47ee427 100644 (file)
--- 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)