13   FILE *F = fopen("xxx", "r");  in check_fopen()  local
25   FILE *F = tmpfile();  in check_tmpfile()  local
37   FILE *F = tmpfile();  in check_freopen()  local
54   FILE *F = tmpfile();  in check_fclose()  local
67   FILE *F = tmpfile();  in check_fread()  local
81   FILE *F = tmpfile();  in check_fread_size0()  local
94   FILE *F = tmpfile();  in check_fread_nmemb0()  local
107   FILE *F = tmpfile();  in check_fwrite()  local
120   FILE *F = tmpfile();  in check_fseek()  local
133   FILE *F = tmpfile();  in check_rewind_errnocheck()  local
151   FILE *F = tmpfile();  in check_fwrite_zeroarg()  local