02111-1307, USA. */
#include <config.h>
-#include <assert.h>
+#include "alloc.h"
+#include "error.h"
#include <stdio.h>
#include <stdlib.h>
#include "str.h"
-
-static void out_of_memory (void);
\f
/* Public functions. */
memcpy (t, s, size);
return t;
}
-\f
-/* Private functions. */
/* Report an out-of-memory condition and abort execution. */
-static void
+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
}