Lines Matching refs:F
15 FILE *F = fopen("file", "r"); in error_fopen() local
16 if (!F) in error_fopen()
18 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fopen()
19 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fopen()
20 fclose(F); in error_fopen()
24 FILE *F = fopen("file", "r"); in error_freopen() local
25 if (!F) in error_freopen()
27 F = freopen(0, "w", F); in error_freopen()
28 if (!F) in error_freopen()
30 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_freopen()
31 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_freopen()
32 fclose(F); in error_freopen()
36 FILE *F = fopen("file", "r"); in stream_error_feof() local
37 if (!F) in stream_error_feof()
39 StreamTesterChecker_make_feof_stream(F); in stream_error_feof()
40 clang_analyzer_eval(feof(F)); // expected-warning {{TRUE}} in stream_error_feof()
41 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in stream_error_feof()
42 clearerr(F); in stream_error_feof()
43 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in stream_error_feof()
44 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in stream_error_feof()
45 fclose(F); in stream_error_feof()
49 FILE *F = fopen("file", "r"); in stream_error_ferror() local
50 if (!F) in stream_error_ferror()
52 StreamTesterChecker_make_ferror_stream(F); in stream_error_ferror()
53 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in stream_error_ferror()
54 clang_analyzer_eval(ferror(F)); // expected-warning {{TRUE}} in stream_error_ferror()
55 clearerr(F); in stream_error_ferror()
56 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in stream_error_ferror()
57 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in stream_error_ferror()
58 fclose(F); in stream_error_ferror()
62 FILE *F = tmpfile(); in error_fread() local
63 if (!F) in error_fread()
66 int Ret = fread(Buf, 1, 10, F); in error_fread()
68 clang_analyzer_eval(feof(F) || ferror(F)); // expected-warning {{FALSE}} in error_fread()
70 clang_analyzer_eval(feof(F) || ferror(F)); // expected-warning {{TRUE}} in error_fread()
71 if (feof(F)) { in error_fread()
73 …fread(Buf, 1, 10, F); // expected-warning {{Read function called when stream is in EOF s… in error_fread()
74 clang_analyzer_eval(feof(F)); // expected-warning {{TRUE}} in error_fread()
75 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fread()
77 if (ferror(F)) { in error_fread()
79 fread(Buf, 1, 10, F); // expected-warning {{might be 'indeterminate'}} in error_fread()
82 fclose(F); in error_fread()
83 Ret = fread(Buf, 1, 10, F); // expected-warning {{Stream might be already closed}} in error_fread()
87 FILE *F = tmpfile(); in error_fwrite() local
88 if (!F) in error_fwrite()
91 int Ret = fwrite(Buf, 1, 10, F); in error_fwrite()
93 clang_analyzer_eval(feof(F) || ferror(F)); // expected-warning {{FALSE}} in error_fwrite()
95 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fwrite()
96 clang_analyzer_eval(ferror(F)); // expected-warning {{TRUE}} in error_fwrite()
97 fwrite(0, 1, 10, F); // expected-warning {{might be 'indeterminate'}} in error_fwrite()
99 fclose(F); in error_fwrite()
100 Ret = fwrite(0, 1, 10, F); // expected-warning {{Stream might be already closed}} in error_fwrite()
103 void freadwrite_zerosize(FILE *F) { in freadwrite_zerosize() argument
104 fwrite(0, 1, 0, F); in freadwrite_zerosize()
105 fwrite(0, 0, 1, F); in freadwrite_zerosize()
106 fread(0, 1, 0, F); in freadwrite_zerosize()
107 fread(0, 0, 1, F); in freadwrite_zerosize()
110 void freadwrite_zerosize_eofstate(FILE *F) { in freadwrite_zerosize_eofstate() argument
111 fwrite(0, 1, 0, F); in freadwrite_zerosize_eofstate()
112 fwrite(0, 0, 1, F); in freadwrite_zerosize_eofstate()
113 fread(0, 1, 0, F); // expected-warning {{Read function called when stream is in EOF state}} in freadwrite_zerosize_eofstate()
114 fread(0, 0, 1, F); // expected-warning {{Read function called when stream is in EOF state}} in freadwrite_zerosize_eofstate()
118 FILE *F = fopen("file", "r"); in error_fread_fwrite_zerosize() local
119 if (!F) in error_fread_fwrite_zerosize()
122 freadwrite_zerosize(F); in error_fread_fwrite_zerosize()
123 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fread_fwrite_zerosize()
124 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fread_fwrite_zerosize()
126 StreamTesterChecker_make_ferror_stream(F); in error_fread_fwrite_zerosize()
127 freadwrite_zerosize(F); in error_fread_fwrite_zerosize()
128 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fread_fwrite_zerosize()
129 clang_analyzer_eval(ferror(F)); // expected-warning {{TRUE}} in error_fread_fwrite_zerosize()
131 StreamTesterChecker_make_feof_stream(F); in error_fread_fwrite_zerosize()
132 freadwrite_zerosize_eofstate(F); in error_fread_fwrite_zerosize()
133 clang_analyzer_eval(feof(F)); // expected-warning {{TRUE}} in error_fread_fwrite_zerosize()
134 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fread_fwrite_zerosize()
136 fclose(F); in error_fread_fwrite_zerosize()
140 FILE *F = fopen("file", "r"); in error_fseek() local
141 if (!F) in error_fseek()
143 int rc = fseek(F, 0, SEEK_SET); in error_fseek()
145 int IsFEof = feof(F), IsFError = ferror(F); in error_fseek()
153 clang_analyzer_eval(feof(F)); // expected-warning {{TRUE}} in error_fseek()
155 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fseek()
157 clang_analyzer_eval(ferror(F)); // expected-warning {{TRUE}} in error_fseek()
159 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fseek()
161 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fseek()
162 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fseek()
164 clang_analyzer_eval(feof(F)); // expected-warning {{FALSE}} in error_fseek()
165 clang_analyzer_eval(ferror(F)); // expected-warning {{FALSE}} in error_fseek()
167 fclose(F); in error_fseek()
171 FILE *F = fopen("file", "r+"); in error_indeterminate() local
172 if (!F) in error_indeterminate()
175 int rc = fseek(F, 0, SEEK_SET); in error_indeterminate()
177 if (feof(F)) { in error_indeterminate()
178 fwrite(Buf, 1, 10, F); // no warning in error_indeterminate()
179 } else if (ferror(F)) { in error_indeterminate()
180 fwrite(Buf, 1, 10, F); // expected-warning {{might be 'indeterminate'}} in error_indeterminate()
182 fwrite(Buf, 1, 10, F); // expected-warning {{might be 'indeterminate'}} in error_indeterminate()
185 fclose(F); in error_indeterminate()
189 FILE *F = fopen("file", "r+"); in error_indeterminate_clearerr() local
190 if (!F) in error_indeterminate_clearerr()
193 int rc = fseek(F, 0, SEEK_SET); in error_indeterminate_clearerr()
195 if (feof(F)) { in error_indeterminate_clearerr()
196 clearerr(F); in error_indeterminate_clearerr()
197 fwrite(Buf, 1, 10, F); // no warning in error_indeterminate_clearerr()
198 } else if (ferror(F)) { in error_indeterminate_clearerr()
199 clearerr(F); in error_indeterminate_clearerr()
200 fwrite(Buf, 1, 10, F); // expected-warning {{might be 'indeterminate'}} in error_indeterminate_clearerr()
202 clearerr(F); in error_indeterminate_clearerr()
203 fwrite(Buf, 1, 10, F); // expected-warning {{might be 'indeterminate'}} in error_indeterminate_clearerr()
206 fclose(F); in error_indeterminate_clearerr()
210 FILE *F = fopen("file", "r+"); in error_indeterminate_feof1() local
211 if (!F) in error_indeterminate_feof1()
214 if (fread(Buf, 1, 10, F) < 10) { in error_indeterminate_feof1()
215 if (feof(F)) { in error_indeterminate_feof1()
217 fwrite("1", 1, 1, F); // no warning in error_indeterminate_feof1()
220 fclose(F); in error_indeterminate_feof1()
224 FILE *F = fopen("file", "r+"); in error_indeterminate_feof2() local
225 if (!F) in error_indeterminate_feof2()
228 if (fread(Buf, 1, 10, F) < 10) { in error_indeterminate_feof2()
229 if (ferror(F) == 0) { in error_indeterminate_feof2()
231 fwrite("1", 1, 1, F); // no warning in error_indeterminate_feof2()
234 fclose(F); in error_indeterminate_feof2()