1 2 3 4 5 6 7 8 9 10 11 12 13
#include <stdio.h> #include <stddef.h> #include <stdlib.h> void * compcert_alloc(int sz) { void * res = malloc(sz); if (res == NULL) { fprintf(stderr, "Out of memory in compcert_alloc().\n"); abort(); } return res; }