1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=alpha.unix.Stream -analyzer-store region -verify %s
2*67e74705SXin Li
3*67e74705SXin Li typedef __typeof__(sizeof(int)) size_t;
4*67e74705SXin Li typedef struct _IO_FILE FILE;
5*67e74705SXin Li #define SEEK_SET 0 /* Seek from beginning of file. */
6*67e74705SXin Li #define SEEK_CUR 1 /* Seek from current position. */
7*67e74705SXin Li #define SEEK_END 2 /* Seek from end of file. */
8*67e74705SXin Li extern FILE *fopen(const char *path, const char *mode);
9*67e74705SXin Li extern FILE *tmpfile(void);
10*67e74705SXin Li extern int fclose(FILE *fp);
11*67e74705SXin Li extern size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);
12*67e74705SXin Li extern int fseek (FILE *__stream, long int __off, int __whence);
13*67e74705SXin Li extern long int ftell (FILE *__stream);
14*67e74705SXin Li extern void rewind (FILE *__stream);
15*67e74705SXin Li
f1(void)16*67e74705SXin Li void f1(void) {
17*67e74705SXin Li FILE *p = fopen("foo", "r");
18*67e74705SXin Li char buf[1024];
19*67e74705SXin Li fread(buf, 1, 1, p); // expected-warning {{Stream pointer might be NULL}}
20*67e74705SXin Li fclose(p);
21*67e74705SXin Li }
22*67e74705SXin Li
f2(void)23*67e74705SXin Li void f2(void) {
24*67e74705SXin Li FILE *p = fopen("foo", "r");
25*67e74705SXin Li fseek(p, 1, SEEK_SET); // expected-warning {{Stream pointer might be NULL}}
26*67e74705SXin Li fclose(p);
27*67e74705SXin Li }
28*67e74705SXin Li
f3(void)29*67e74705SXin Li void f3(void) {
30*67e74705SXin Li FILE *p = fopen("foo", "r");
31*67e74705SXin Li ftell(p); // expected-warning {{Stream pointer might be NULL}}
32*67e74705SXin Li fclose(p);
33*67e74705SXin Li }
34*67e74705SXin Li
f4(void)35*67e74705SXin Li void f4(void) {
36*67e74705SXin Li FILE *p = fopen("foo", "r");
37*67e74705SXin Li rewind(p); // expected-warning {{Stream pointer might be NULL}}
38*67e74705SXin Li fclose(p);
39*67e74705SXin Li }
40*67e74705SXin Li
f5(void)41*67e74705SXin Li void f5(void) {
42*67e74705SXin Li FILE *p = fopen("foo", "r");
43*67e74705SXin Li if (!p)
44*67e74705SXin Li return;
45*67e74705SXin Li fseek(p, 1, SEEK_SET); // no-warning
46*67e74705SXin Li fseek(p, 1, 3); // expected-warning {{The whence argument to fseek() should be SEEK_SET, SEEK_END, or SEEK_CUR}}
47*67e74705SXin Li fclose(p);
48*67e74705SXin Li }
49*67e74705SXin Li
f6(void)50*67e74705SXin Li void f6(void) {
51*67e74705SXin Li FILE *p = fopen("foo", "r");
52*67e74705SXin Li fclose(p);
53*67e74705SXin Li fclose(p); // expected-warning {{Try to close a file Descriptor already closed. Cause undefined behaviour}}
54*67e74705SXin Li }
55*67e74705SXin Li
f7(void)56*67e74705SXin Li void f7(void) {
57*67e74705SXin Li FILE *p = tmpfile();
58*67e74705SXin Li ftell(p); // expected-warning {{Stream pointer might be NULL}}
59*67e74705SXin Li fclose(p);
60*67e74705SXin Li }
61*67e74705SXin Li
f8(int c)62*67e74705SXin Li void f8(int c) {
63*67e74705SXin Li FILE *p = fopen("foo.c", "r");
64*67e74705SXin Li if(c)
65*67e74705SXin Li return; // expected-warning {{Opened File never closed. Potential Resource leak}}
66*67e74705SXin Li fclose(p);
67*67e74705SXin Li }
68*67e74705SXin Li
f9(void)69*67e74705SXin Li FILE *f9(void) {
70*67e74705SXin Li FILE *p = fopen("foo.c", "r");
71*67e74705SXin Li if (p)
72*67e74705SXin Li return p; // no-warning
73*67e74705SXin Li else
74*67e74705SXin Li return 0;
75*67e74705SXin Li }
76*67e74705SXin Li
pr7831(FILE * fp)77*67e74705SXin Li void pr7831(FILE *fp) {
78*67e74705SXin Li fclose(fp); // no-warning
79*67e74705SXin Li }
80*67e74705SXin Li
81*67e74705SXin Li // PR 8081 - null pointer crash when 'whence' is not an integer constant
pr8081(FILE * stream,long offset,int whence)82*67e74705SXin Li void pr8081(FILE *stream, long offset, int whence) {
83*67e74705SXin Li fseek(stream, offset, whence);
84*67e74705SXin Li }
85*67e74705SXin Li
86