1 2 3 4 5 6 7 8 9 10 11 12 13 14
#pragma safety enable void* malloc(unsigned size); void free(void* ptr); int main() { void * p = malloc(1); do{ free(p); } while(0); }