1 2 3 4 5 6 7 8 9 10
#pragma safety enable bool f() { int * p =0; return p == 0; #pragma cake diagnostic check "-Wflow-not-null" }