5 void checkDoubleFClose(int *Data) {  in checkDoubleFClose()  argument
9     if (!Data)  in checkDoubleFClose()
12       fputc(*Data, F);  in checkDoubleFClose()
17 int checkLeak(int *Data) {  in checkLeak()  argument
23   if (Data) // expected-warning {{Opened file is never closed; potential resource leak}}  in checkLeak()
24     return *Data;  in checkLeak()
29 void checkLeakFollowedByAssert(int *Data) {  in checkLeakFollowedByAssert()  argument
33     if (!Data)  in checkLeakFollowedByAssert()
46 void leakOnEnfOfPath1(int *Data) {  in leakOnEnfOfPath1()  argument
50 void leakOnEnfOfPath2(int *Data) {  in leakOnEnfOfPath2()  argument
55 FILE *leakOnEnfOfPath3(int *Data) {  in leakOnEnfOfPath3()  argument
74 void SymbolDoesNotEscapeThoughStringAPIs(char *Data) {  in SymbolDoesNotEscapeThoughStringAPIs()  argument
76   fputc(*Data, F);  in SymbolDoesNotEscapeThoughStringAPIs()