13   FILE *F = fopen("xxx", "r");  in check_fopen()  local
23   FILE *F = fdopen(Fd, "r");  in check_fdopen()  local
33   FILE *F = tmpfile();  in check_tmpfile()  local
43   FILE *F = tmpfile();  in check_freopen()  local
56   FILE *F = tmpfile();  in check_fclose()  local
70   FILE *F = tmpfile();  in check_fread_size0()  local
79   FILE *F = tmpfile();  in check_fread_nmemb0()  local
88   FILE *F = tmpfile();  in check_fread()  local
104   FILE *F = tmpfile();  in check_fwrite_size0()  local
113   FILE *F = tmpfile();  in check_fwrite_nmemb0()  local
122   FILE *F = tmpfile();  in check_fwrite()  local
137   FILE *F = tmpfile();  in check_fseek()  local
152   FILE *F = tmpfile();  in check_fseeko()  local
167   FILE *F = tmpfile();  in check_no_errno_change()  local
184   FILE *F = tmpfile();  in check_fgetpos()  local
199   FILE *F = tmpfile();  in check_fsetpos()  local
214   FILE *F = tmpfile();  in check_ftell()  local
230   FILE *F = tmpfile();  in check_ftello()  local
245   FILE *F = tmpfile();  in check_rewind()  local
257   FILE *F = tmpfile();  in check_fflush_opened_file()  local