1 2 3 4 5 6 7 8 9 10
#pragma flow enable int *f(); int main() { if (int *p = f()) { static_state(p, "not-null"); } }