1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#pragma safety enable char* f(); void f() { const char* s1 = f(); if (!s1) { static_state(s1, "null"); } else { static_state(s1, "not-null"); } }