1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
#pragma safety enable struct X { char* text; }; void x_destroy(struct X* p); int main() { struct X x; x_destroy(&x); } //flow analyze #pragma cake diagnostic check "-Wanalyzer-maybe-uninitialized"