X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Falloc.c;h=267bf2baec09c652807d24cae3a879f128c393c3;hb=027eba771a7ef9d25e97f0026d6469ea34c06523;hp=763dab3d720ecbf482e94757ca41dad6b621b7bd;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp-builds.git

diff --git a/src/alloc.c b/src/alloc.c
index 763dab3d..267bf2ba 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -18,6 +18,7 @@
    02111-1307, USA. */
 
 #include <config.h>
+#include "alloc.h"
 #include <assert.h>
 #include <stdio.h>
 #include <stdlib.h>
@@ -112,11 +113,6 @@ xstrdup (const char *s)
 static void
 out_of_memory (void)
 {
-#if __CHECKER__
-  fprintf (stderr, "Out of memory: inducing segfault\n");
-  *((int *) 0) = 0;
-#else
   fprintf (stderr, "virtual memory exhausted\n");
   exit (EXIT_FAILURE);
-#endif
 }