1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#pragma safety enable struct X { int i; }; void f(struct X* p); void f2(struct X* p); void delete(struct X* p) { static_state(p, "not-null"); f(p); static_state(p, "not-null"); f2(p); }