1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
#pragma safety enable void free(void* p); char* strdup(const char* s); struct X { char* text; }; #define NULL ((void*)0) struct X makex(); void clear(struct X* p); void f(struct X* pX) { struct X x = makex(); clear(&x); assert(x.text == 0); }