6   FILE *F = fopen("myfile.txt", "w");  in checkDoubleFClose()  local
7   if (F != 0) {  in checkDoubleFClose()
8     fputs ("fopen example", F);  in checkDoubleFClose()
10       fclose(F);  in checkDoubleFClose()
12       fputc(*Data, F);  in checkDoubleFClose()
13     fclose(F); // expected-warning {{Closing a previously closed file stream}}  in checkDoubleFClose()
18   FILE *F = fopen("myfile.txt", "w");  in checkLeak()  local
19   if (F != 0) {  in checkLeak()
20     fputs ("fopen example", F);  in checkLeak()
30   FILE *F = fopen("myfile.txt", "w");  in checkLeakFollowedByAssert()  local
31   if (F != 0) {  in checkLeakFollowedByAssert()
32     fputs ("fopen example", F);  in checkLeakFollowedByAssert()
35     fclose(F);  in checkLeakFollowedByAssert()
40   FILE *F = fopen("myfile.txt", "w");  in CloseOnlyOnValidFileHandle()  local
41   if (F)  in CloseOnlyOnValidFileHandle()
42     fclose(F);  in CloseOnlyOnValidFileHandle()
47   FILE *F = fopen("myfile.txt", "w");  in leakOnEnfOfPath1()  local
51   FILE *F = fopen("myfile.txt", "w");  in leakOnEnfOfPath2()  local
56   FILE *F = fopen("myfile.txt", "w");  in leakOnEnfOfPath3()  local
57   return F;  in leakOnEnfOfPath3()
60 void myfclose(FILE *F);
62   FILE *F = fopen("myfile.txt", "w");  in SymbolEscapedThroughFunctionCall()  local
63   myfclose(F);  in SymbolEscapedThroughFunctionCall()
69   FILE *F = fopen("myfile.txt", "w");  in SymbolEscapedThroughAssignmentToGloabl()  local
70   GlobalF = F;  in SymbolEscapedThroughAssignmentToGloabl()
75   FILE *F = fopen("myfile.txt", "w");  in SymbolDoesNotEscapeThoughStringAPIs()  local
76   fputc(*Data, F);  in SymbolDoesNotEscapeThoughStringAPIs()
80 void passConstPointer(const FILE * F);
82   FILE *F = fopen("myfile.txt", "w");  in testPassConstPointer()  local
83   passConstPointer(F);  in testPassConstPointer()