1 2 3 4 5 6 7 8 9 10 11 12 13 14
#pragma safety enable void* malloc(unsigned long size); void free(void* ptr); int main() { void * p = 0; for (int i=0; i < 2; i++) { p = malloc(1); /*leak*/ } #pragma cake diagnostic check "-Wmissing-destructor" free(p); }