1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_CORRECT
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_1
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_2
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_3
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_4
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_5
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_GH144884
// emulator of "system-header-simulator.h" because of redefinition of 'getline' function
typedef struct _FILE FILE;
typedef __typeof(sizeof(int)) size_t;
typedef long ssize_t;
#define NULL 0
int fclose(FILE *fp);
FILE *tmpfile(void);
#ifdef TEST_CORRECT
ssize_t getline(char **lineptr, size_t *n, FILE *stream);
ssize_t getdelim(char **lineptr, size_t *n, int delimiter, FILE *stream);
void test_correct() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getline(&buffer, NULL, F1); // expected-warning {{Size pointer might be NULL}}
fclose(F1);
}
void test_delim_correct() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getdelim(&buffer, NULL, ',', F1); // expected-warning {{Size pointer might be NULL}}
fclose(F1);
}
#endif
#ifdef TEST_GETLINE_1
// expected-no-diagnostics
ssize_t getline(int lineptr);
void test() {
FILE *F1 = tmpfile();
if (!F1)
return;
int buffer = 0;
getline(buffer);
fclose(F1);
}
#endif
#ifdef TEST_GETLINE_2
ssize_t getline(char **lineptr, size_t *n);
void test() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getline(&buffer, NULL); // expected-warning {{Size pointer might be NULL}}
fclose(F1);
}
#endif
#ifdef TEST_GETLINE_3
// expected-no-diagnostics
ssize_t getline(char **lineptr, size_t n, FILE *stream);
void test() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getline(&buffer, 0, F1);
fclose(F1);
}
#endif
#ifdef TEST_GETLINE_4
ssize_t getline(char **lineptr, size_t *n, int stream);
ssize_t getdelim(char **lineptr, size_t *n, int delimiter, int stream);
void test() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getline(&buffer, NULL, 1); // expected-warning {{Size pointer might be NULL}}
fclose(F1);
}
void test_delim() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getdelim(&buffer, NULL, ',', 1); // expected-warning {{Size pointer might be NULL}}
fclose(F1);
}
#endif
#ifdef TEST_GETLINE_5
ssize_t getdelim(char **lineptr, size_t *n, const char* delimiter, FILE *stream);
void test_delim() {
FILE *F1 = tmpfile();
if (!F1)
return;
char *buffer = NULL;
getdelim(&buffer, NULL, ",", F1); // expected-warning {{Size pointer might be NULL}}
fclose(F1);
}
#endif
#ifdef TEST_GETLINE_GH144884
// expected-no-diagnostics
struct AW_string {};
void getline(int *, struct AW_string);
void top() {
struct AW_string line;
int getline_file_info;
getline(&getline_file_info, line);
}
#endif
|
