Lines Matching full:stream
1 // RUN: %clang_analyze_cc1 -triple=x86_64-pc-linux-gnu -analyzer-checker=core,unix.Stream,debug.ExprInspection \
2 // RUN: -analyzer-config eagerly-assume=false,unix.Stream:Pedantic=true -verify %s
3 // RUN: %clang_analyze_cc1 -triple=armv8-none-linux-eabi -analyzer-checker=core,unix.Stream,debug.ExprInspection \
4 // RUN: -analyzer-config eagerly-assume=false,unix.Stream:Pedantic=true -verify %s
5 // RUN: %clang_analyze_cc1 -triple=aarch64-linux-gnu -analyzer-checker=core,unix.Stream,debug.ExprInspection \
6 // RUN: -analyzer-config eagerly-assume=false,unix.Stream:Pedantic=true -verify %s
7 // RUN: %clang_analyze_cc1 -triple=hexagon -analyzer-checker=core,unix.Stream,debug.ExprInspection \
8 // RUN: -analyzer-config eagerly-assume=false,unix.Stream:Pedantic=true -verify %s
18 fread(0, 0, 0, fp); // expected-warning {{Stream pointer might be NULL}}
24 fwrite(0, 0, 0, fp); // expected-warning {{Stream pointer might be NULL}}
30 fgetc(fp); // expected-warning {{Stream pointer might be NULL}}
37 fgets(buf, sizeof(buf), fp); // expected-warning {{Stream pointer might be NULL}}
43 fputc('A', fp); // expected-warning {{Stream pointer might be NULL}}
49 fputs("ABC", fp); // expected-warning {{Stream pointer might be NULL}}
55 fprintf(fp, "ABC"); // expected-warning {{Stream pointer might be NULL}}
61 fscanf(fp, "ABC"); // expected-warning {{Stream pointer might be NULL}}
67 ungetc('A', fp); // expected-warning {{Stream pointer might be NULL}}
73 fseek(fp, 0, 0); // expected-warning {{Stream pointer might be NULL}}
79 fseeko(fp, 0, 0); // expected-warning {{Stream pointer might be NULL}}
85 ftell(fp); // expected-warning {{Stream pointer might be NULL}}
91 ftello(fp); // expected-warning {{Stream pointer might be NULL}}
97 rewind(fp); // expected-warning {{Stream pointer might be NULL}}
104 fgetpos(fp, &pos); // expected-warning {{Stream pointer might be NULL}}
111 fsetpos(fp, &pos); // expected-warning {{Stream pointer might be NULL}}
117 clearerr(fp); // expected-warning {{Stream pointer might be NULL}}
123 feof(fp); // expected-warning {{Stream pointer might be NULL}}
129 ferror(fp); // expected-warning {{Stream pointer might be NULL}}
135 fileno(fp); // expected-warning {{Stream pointer might be NULL}}
142 fread(buf, 1, 1, p); // expected-warning {{Stream pointer might be NULL}}
149 fread(buf, 1, 1, F); // expected-warning {{Stream pointer might be NULL}}
155 vfprintf(F, "%d", args); // expected-warning {{Stream pointer might be NULL}}
161 vfscanf(F, "%u", args); // expected-warning {{Stream pointer might be NULL}}
188 fclose(p); // expected-warning {{Use of a stream that might be already closed}}
197 fclose(p2); // expected-warning {{Use of a stream that might be already closed}}
205 clearerr(p); // expected-warning {{Use of a stream that might be already closed}}
236 return; // expected-warning {{Opened stream never closed. Potential resource leak}}
253 void pr8081(FILE *stream, long offset, int whence) {
254 fseek(stream, offset, whence);
258 FILE *f1 = freopen("foo.c", "r", (FILE *)0); // expected-warning {{Stream pointer might be NULL}}
267 // Check if f1 and f2 point to the same stream.
269 fclose(f2); // expected-warning {{Use of a stream that might be already closed}}
272 // f1 is non-NULL but points to a possibly invalid stream.
273 rewind(f1); // expected-warning {{Stream might be invalid}}
286 rewind(f1); // expected-warning {{Stream might be invalid}}
348 } // expected-warning {{Opened stream never closed. Potential resource leak}}
351 // This results in reporting only one occurence of resource leak for a stream.
360 } // expected-warning {{Opened stream never closed. Potential resource leak}}
373 fflush(F); // expected-warning {{Use of a stream that might be already closed}}
388 getline(&buffer, &n, NULL); // expected-warning {{Stream pointer might be NULL}}
394 getdelim(&buffer, &n, '\n', NULL); // expected-warning {{Stream pointer might be NULL}}
459 fread(buffer, 1, 1, f); // expected-warning {{Stream pointer might be NULL}} no-crash
466 fread(buffer, 1, 1, f); // expected-warning {{Stream pointer might be NULL}} no-crash
482 fread(p->tail, 1, 1, f); // expected-warning {{Stream pointer might be NULL}}
488 fread(p->tail, 1, 1, f); // expected-warning {{Stream pointer might be NULL}}
498 fread(buffer, 1, 1, f); // expected-warning {{Stream pointer might be NULL}} no-crash