02111-1307, USA. */
#include <config.h>
+#include "alloc.h"
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
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
}