Lines Matching defs:F0
526 FILE *F0 = tmpfile(), *F1 = tmpfile();
528 if (F0) {
529 StreamTesterChecker_make_ferror_stream(F0);
530 if (fflush(F0) == 0) { // no-warning
531 clang_analyzer_eval(ferror(F0)); // expected-warning {{FALSE}}
532 clang_analyzer_eval(feof(F0)); // expected-warning {{FALSE}}
534 fclose(F0);
548 FILE *F0 = tmpfile(), *F1 = tmpfile();
550 if (F0 && F1) {
551 StreamTesterChecker_make_ferror_stream(F0);
554 clang_analyzer_eval(ferror(F0)); // expected-warning {{FALSE}}
555 clang_analyzer_eval(feof(F0)); // expected-warning {{FALSE}}
560 if (F0)
561 fclose(F0);