6   FILE *F = fopen("myfile.txt", "w");  in checkDoubleFClose()
18   FILE *F = fopen("myfile.txt", "w");  in checkLeak()
30   FILE *F = fopen("myfile.txt", "w");  in checkLeakFollowedByAssert()
40   FILE *F = fopen("myfile.txt", "w");  in CloseOnlyOnValidFileHandle()
47   FILE *F = fopen("myfile.txt", "w");  in leakOnEnfOfPath1()
51   FILE *F = fopen("myfile.txt", "w");  in leakOnEnfOfPath2()
55 FILE *leakOnEnfOfPath3(int *Data) {  in leakOnEnfOfPath3()
56   FILE *F = fopen("myfile.txt", "w");  in leakOnEnfOfPath3()
60 void myfclose(FILE *F);
62   FILE *F = fopen("myfile.txt", "w");  in SymbolEscapedThroughFunctionCall()
67 FILE *GlobalF;
69   FILE *F = fopen("myfile.txt", "w");  in SymbolEscapedThroughAssignmentToGlobal()
75   FILE *F = fopen("myfile.txt", "w");  in SymbolDoesNotEscapeThoughStringAPIs()
80 void passConstPointer(const FILE * F);
82   FILE *F = fopen("myfile.txt", "w");  in testPassConstPointer()
94   FILE *fp = fopen("myfile.txt", "w");  in testOverwrite()