1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
#pragma safety enable struct X { int * p; }; struct X * make(); void f(struct X *p, int * p); int main() { struct X * pX = make(); if (pX->p) { //cake is making pX->p unkown before function call..it must be after f(pX, pX->p); } }