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
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
|
/* PR c/17308 - nonnull attribute not as useful as it could be
PR c/78673 - sprintf missing attribute nonnull on destination argument
{ dg-do "compile" }
{ dg-additional-options "-O2 -Wnonnull -ftrack-macro-expansion=0 -std=c99" } */
#define va_list __builtin_va_list
typedef struct FILE FILE;
static char* null (void)
{
return 0;
}
void sink (int, ...);
#define T(arg) sink (0, arg)
#define bzero __builtin_bzero
#define memcpy __builtin_memcpy
#define memmove __builtin_memmove
#define mempcpy __builtin_mempcpy
#define memset __builtin_memset
void test_memfuncs (void *s, unsigned n)
{
/* Bzero is not declared attribute nonnull (maybe it should be?)
but it's transformed into a call to memset() which is. */
bzero (null (), n); /* { dg-warning "argument 1 null where non-null expected" } */
T (memcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memmove (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memmove (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (mempcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (mempcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memset (null (), 0, n)); /* { dg-warning "argument 1 null where non-null expected" } */
}
#undef memcpy
#undef memmove
#undef mempcpy
#undef memset
#define memcpy(d, s, n) __builtin___memcpy_chk (d, s, n, n)
#define memmove(d, s, n) __builtin___memmove_chk (d, s, n, n)
#define mempcpy(d, s, n) __builtin___mempcpy_chk (d, s, n, n)
#define memset(d, x, n) __builtin___memset_chk (d, x, n, n)
void test_memfuncs_chk (void *s, unsigned n)
{
T (memcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memmove (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (memmove (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (mempcpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (mempcpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (memset (null (), 0, n)); /* { dg-warning "argument 1 null where non-null expected" } */
}
#define strcat __builtin_strcat
#define strchr __builtin_strchr
#define stpcpy __builtin_stpcpy
#define stpncpy __builtin_stpncpy
#define strcpy __builtin_strcpy
#define strncpy __builtin_strncpy
#define strlen __builtin_strlen
#define strncat __builtin_strncat
#define strstr __builtin_strstr
void test_strfuncs (char *s, unsigned n)
{
T (strcat (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcat (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strchr (null (), 'x')); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (stpncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strlen (null ())); /* { dg-warning "argument 1 null where non-null expected" } */
T (strncat (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncat (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strstr (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strstr (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
}
#undef strcat
#undef stpcpy
#undef stpncpy
#undef strcpy
#undef strncpy
#undef strncat
#define strcat(d, s) __builtin___strcat_chk (d, s, n)
#define stpcpy(d, s) __builtin___stpcpy_chk (d, s, n)
#define stpncpy(d, s, n) __builtin___stpncpy_chk (d, s, n, n)
#define strcpy(d, s) __builtin___strcpy_chk (d, s, n)
#define strncpy(d, s, n) __builtin___strncpy_chk (d, s, n, n)
#define strncat(d, s, n) __builtin___strncat_chk (d, s, n, n)
void test_strfuncs_chk (char *s, unsigned n)
{
T (strcat (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcat (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strchr (null (), 'x')); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (stpncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (stpncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strcpy (null (), s)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strcpy (s, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncpy (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
T (strncpy (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncat (s, null (), n)); /* { dg-warning "argument 2 null where non-null expected" } */
T (strncat (null (), s, n)); /* { dg-warning "argument 1 null where non-null expected" } */
}
#define fprintf __builtin_fprintf
#define fprintf_unlocked __builtin_fprintf_unlocked
#define vfprintf __builtin_vfprintf
#define printf __builtin_printf
#define printf_unlocked __builtin_printf_unlocked
#define vprintf __builtin_vprintf
#define sprintf __builtin_sprintf
#define snprintf __builtin_snprintf
#define vsprintf __builtin_vsprintf
#define vsnprintf __builtin_vsnprintf
void test_stdio_funcs (FILE *f, char *d, unsigned n, va_list va)
{
T (fprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (fprintf (f, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (fprintf_unlocked (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (fprintf_unlocked (f, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (vfprintf (null (), "%i", va));/* { dg-warning "argument 1 null where non-null expected" } */
T (vfprintf (f, null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (printf (null ())); /* { dg-warning "argument 1 null where non-null expected" } */
T (printf_unlocked (null ())); /* { dg-warning "argument 1 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (sprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (sprintf (d, null ())); /* { dg-warning "argument 2 null where non-null expected" } */
T (snprintf (null (), n, "%i", 0));
T (snprintf (d, n, null ())); /* { dg-warning "argument 3 null where non-null expected" } */
T (vsprintf (null (), "%i", va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (vsprintf (d, null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (vsnprintf (null (), n, "%i", va));
T (vsnprintf (d, n, null (), va)); /* { dg-warning "argument 3 null where non-null expected" } */
}
#undef fprintf
#undef fprintf_unlocked
#undef vfprintf
#undef printf
#undef printf_unlocked
#undef vprintf
#undef sprintf
#undef snprintf
#undef vsprintf
#undef vsnprintf
#define fprintf(f, fmt, ...) \
__builtin___fprintf_chk (f, 0, fmt, __VA_ARGS__)
#define vfprintf(f, fmt, va) \
__builtin___vfprintf_chk (f, 0, fmt, va)
#define printf(fmt, ...) \
__builtin___printf_chk (0, fmt, __VA_ARGS__)
#define vprintf(fmt, va) \
__builtin___vprintf_chk (0, fmt, va)
#define sprintf(d, fmt, ... ) \
__builtin___sprintf_chk (d, 0, n, fmt, __VA_ARGS__)
#define snprintf(d, n, fmt, ...) \
__builtin___snprintf_chk (d, n, 0, n, fmt, __VA_ARGS__)
#define vsprintf(d, fmt, va) \
__builtin___vsprintf_chk (d, 0, n, fmt, va)
#define vsnprintf(d, n, fmt, va) \
__builtin___vsnprintf_chk (d, n, 0, n, fmt, va)
void test_stdio_funcs_chk (FILE *f, char *d, const char *fmt,
unsigned n, va_list va)
{
T (fprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (fprintf (f, null (), 0)); /* { dg-warning "argument 3 null where non-null expected" } */
T (vfprintf (null (), "%i", va));/* { dg-warning "argument 1 null where non-null expected" } */
T (vfprintf (f, null (), va)); /* { dg-warning "argument 3 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (printf (null (), 0)); /* { dg-warning "argument 2 null where non-null expected" } */
T (vprintf (null (), va)); /* { dg-warning "argument 2 null where non-null expected" } */
T (sprintf (null (), "%i", 0)); /* { dg-warning "argument 1 null where non-null expected" } */
T (sprintf (d, null (), 0)); /* { dg-warning "argument 4 null where non-null expected" } */
T (snprintf (null (), n, "%i", 0));
T (snprintf (d, n, null (), 0)); /* { dg-warning "argument 5 null where non-null expected" } */
T (vsprintf (null (), "%i", va)); /* { dg-warning "argument 1 null where non-null expected" } */
T (vsprintf (d, null (), va)); /* { dg-warning "argument 4 null where non-null expected" } */
T (vsnprintf (null (), n, "%i", va));
T (vsnprintf (d, n, null (), va)); /* { dg-warning "argument 5 null where non-null expected" } */
}
|