6   FILE *fp = tmpfile();  in check_fread()
12   FILE *fp = tmpfile();  in check_fwrite()
18   FILE *fp = tmpfile();  in check_fseek()
24   FILE *fp = tmpfile();  in check_ftell()
30   FILE *fp = tmpfile();  in check_rewind()
36   FILE *fp = tmpfile();  in check_fgetpos()
43   FILE *fp = tmpfile();  in check_fsetpos()
50   FILE *fp = tmpfile();  in check_clearerr()
56   FILE *fp = tmpfile();  in check_feof()
62   FILE *fp = tmpfile();  in check_ferror()
68   FILE *fp = tmpfile();  in check_fileno()
74   FILE *p = fopen("foo", "r");  in f_open()
81   FILE *p = fopen("foo", "r");  in f_seek()
90   FILE *p = fopen("foo", "r");  in f_double_close()
98   FILE *p1 = fopen("foo", "r");  in f_double_close_alias()
101   FILE *p2 = p1;  in f_double_close_alias()
107   FILE *p = fopen("foo", "r");  in f_use_after_close()
115   FILE *p = fopen("foo", "r");  in f_open_after_close()
126   FILE *p = fopen("foo", "r");  in f_reopen_after_close()
138   FILE *p = fopen("foo.c", "r");  in f_leak()
146 FILE *f_null_checked(void) {  in f_null_checked()
147   FILE *p = fopen("foo.c", "r");  in f_null_checked()
154 void pr7831(FILE *fp) {  in pr7831()
159 void pr8081(FILE *stream, long offset, int whence) {  in pr8081()
164   FILE *f1 = freopen("foo.c", "r", (FILE *)0); // expected-warning {{Stream pointer might be NULL}}  in check_freopen_1()
165   f1 = freopen(0, "w", (FILE *)0x123456);      // Do not report this as error.  in check_freopen_1()
169   FILE *f1 = fopen("foo.c", "r");  in check_freopen_2()
171     FILE *f2 = freopen(0, "w", f1);  in check_freopen_2()
187   FILE *f1 = fopen("foo.c", "r");  in check_freopen_3()
197 extern FILE *GlobalF;
198 extern void takeFile(FILE *);
201   FILE *F = tmpfile();  in check_escape1()
210   FILE *F = tmpfile();  in check_escape2()
219   FILE *F = tmpfile();  in check_escape3()
231   FILE *F = tmpfile();  in check_escape4()
248   FILE *F1 = tmpfile();  in check_leak_noreturn_1()
260   FILE *F1 = tmpfile();  in check_leak_noreturn_2()