blob: 8c65d9c287fdaf86fe4ba3df07f22efcc9441565 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix.Stream -verify %s
typedef struct _IO_FILE FILE;
extern FILE *fopen(const char *path, const char *mode);
struct X {
int A;
int B;
};
void *fopen(X x, const char *mode) {
return new char[4];
}
void f1() {
X X1;
void *p = fopen(X1, "oo");
} // no-warning
void f2() {
FILE *f = fopen("file", "r");
} // expected-warning {{Opened stream never closed. Potential resource leak}}
|
