|
111
|
1 /* { dg-options "-Wformat -fdiagnostics-show-caret" } */
|
|
|
2
|
|
|
3 /* See PR 52952. */
|
|
|
4
|
|
|
5 #include "format.h"
|
|
|
6
|
|
|
7 void test_mismatching_types (const char *msg)
|
|
|
8 {
|
|
|
9 printf("hello %i", msg); /* { dg-warning "format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
10
|
|
|
11 /* { dg-begin-multiline-output "" }
|
|
|
12 printf("hello %i", msg);
|
|
|
13 ~^ ~~~
|
|
|
14 %s
|
|
|
15 { dg-end-multiline-output "" } */
|
|
|
16
|
|
|
17
|
|
|
18 printf("hello %s", 42); /* { dg-warning "format '%s' expects argument of type 'char \\*', but argument 2 has type 'int'" } */
|
|
|
19 /* { dg-begin-multiline-output "" }
|
|
|
20 printf("hello %s", 42);
|
|
|
21 ~^ ~~
|
|
|
22 %d
|
|
|
23 { dg-end-multiline-output "" } */
|
|
|
24
|
|
|
25 printf("hello %i", (long)0); /* { dg-warning "format '%i' expects argument of type 'int', but argument 2 has type 'long int' " } */
|
|
|
26 /* { dg-begin-multiline-output "" }
|
|
|
27 printf("hello %i", (long)0);
|
|
|
28 ~^ ~~~~~~~
|
|
|
29 %li
|
|
|
30 { dg-end-multiline-output "" } */
|
|
|
31 }
|
|
|
32
|
|
|
33 void test_multiple_arguments (void)
|
|
|
34 {
|
|
|
35 printf ("arg0: %i arg1: %s arg 2: %i", /* { dg-warning "29: format '%s'" } */
|
|
|
36 100, 101, 102);
|
|
|
37 /* { dg-begin-multiline-output "" }
|
|
|
38 printf ("arg0: %i arg1: %s arg 2: %i",
|
|
|
39 ~^
|
|
|
40 %d
|
|
|
41 100, 101, 102);
|
|
|
42 ~~~
|
|
|
43 { dg-end-multiline-output "" } */
|
|
|
44 }
|
|
|
45
|
|
|
46 void test_multiple_arguments_2 (int i, int j)
|
|
|
47 {
|
|
|
48 printf ("arg0: %i arg1: %s arg 2: %i", /* { dg-warning "29: format '%s'" } */
|
|
|
49 100, i + j, 102);
|
|
|
50 /* { dg-begin-multiline-output "" }
|
|
|
51 printf ("arg0: %i arg1: %s arg 2: %i",
|
|
|
52 ~^
|
|
|
53 %d
|
|
|
54 100, i + j, 102);
|
|
|
55 ~~~~~
|
|
|
56 { dg-end-multiline-output "" } */
|
|
|
57 }
|
|
|
58
|
|
|
59 void multiline_format_string (void) {
|
|
|
60 printf ("before the fmt specifier" /* { dg-warning "11: format '%d' expects a matching 'int' argument" } */
|
|
|
61 /* { dg-begin-multiline-output "" }
|
|
|
62 printf ("before the fmt specifier"
|
|
|
63 ^~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
64 { dg-end-multiline-output "" } */
|
|
|
65
|
|
|
66 "%"
|
|
|
67 "d" /* { dg-message "12: format string is defined here" } */
|
|
|
68 "after the fmt specifier");
|
|
|
69
|
|
|
70 /* { dg-begin-multiline-output "" }
|
|
|
71 "%"
|
|
|
72 ~~
|
|
|
73 "d"
|
|
|
74 ~^
|
|
|
75 { dg-end-multiline-output "" } */
|
|
|
76 }
|
|
|
77
|
|
|
78 void test_hex (const char *msg)
|
|
|
79 {
|
|
|
80 /* "%" is \x25
|
|
|
81 "i" is \x69 */
|
|
|
82 printf("hello \x25\x69", msg); /* { dg-warning "format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
83
|
|
|
84 /* { dg-begin-multiline-output "" }
|
|
|
85 printf("hello \x25\x69", msg);
|
|
|
86 ~~~~^~~~ ~~~
|
|
|
87 \x25s
|
|
|
88 { dg-end-multiline-output "" } */
|
|
|
89 }
|
|
|
90
|
|
|
91 void test_oct (const char *msg)
|
|
|
92 {
|
|
|
93 /* "%" is octal 045
|
|
|
94 "i" is octal 151. */
|
|
|
95 printf("hello \045\151", msg); /* { dg-warning "format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
96
|
|
|
97 /* { dg-begin-multiline-output "" }
|
|
|
98 printf("hello \045\151", msg);
|
|
|
99 ~~~~^~~~ ~~~
|
|
|
100 \045s
|
|
|
101 { dg-end-multiline-output "" } */
|
|
|
102 }
|
|
|
103
|
|
|
104 void test_multiple (const char *msg)
|
|
|
105 {
|
|
|
106 /* "%" is \x25 in hex
|
|
|
107 "i" is \151 in octal. */
|
|
|
108 printf("prefix" "\x25" "\151" "suffix", /* { dg-warning "format '%i'" } */
|
|
|
109 msg);
|
|
|
110 /* { dg-begin-multiline-output "" }
|
|
|
111 printf("prefix" "\x25" "\151" "suffix",
|
|
|
112 ^~~~~~~~
|
|
|
113 msg);
|
|
|
114 ~~~
|
|
|
115 { dg-end-multiline-output "" } */
|
|
|
116
|
|
|
117 /* { dg-begin-multiline-output "" }
|
|
|
118 printf("prefix" "\x25" "\151" "suffix",
|
|
|
119 ~~~~~~~~^~~~
|
|
|
120 \x25" "s
|
|
|
121 { dg-end-multiline-output "" } */
|
|
|
122 }
|
|
|
123
|
|
|
124 void test_u8 (const char *msg)
|
|
|
125 {
|
|
|
126 printf(u8"hello %i", msg);/* { dg-warning "format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
127 /* { dg-begin-multiline-output "" }
|
|
|
128 printf(u8"hello %i", msg);
|
|
|
129 ~^ ~~~
|
|
|
130 %s
|
|
|
131 { dg-end-multiline-output "" } */
|
|
|
132 }
|
|
|
133
|
|
|
134 void test_param (long long_i, long long_j)
|
|
|
135 {
|
|
|
136 printf ("foo %s bar", long_i + long_j); /* { dg-warning "17: format '%s' expects argument of type 'char \\*', but argument 2 has type 'long int'" } */
|
|
|
137 /* { dg-begin-multiline-output "" }
|
|
|
138 printf ("foo %s bar", long_i + long_j);
|
|
|
139 ~^ ~~~~~~~~~~~~~~~
|
|
|
140 %ld
|
|
|
141 { dg-end-multiline-output "" } */
|
|
|
142 }
|
|
|
143
|
|
|
144 void test_field_width_specifier (long l, int i1, int i2)
|
|
|
145 {
|
|
|
146 printf (" %*.*d ", l, i1, i2); /* { dg-warning "14: field width specifier '\\*' expects argument of type 'int', but argument 2 has type 'long int'" } */
|
|
|
147 /* { dg-begin-multiline-output "" }
|
|
|
148 printf (" %*.*d ", l, i1, i2);
|
|
|
149 ~^~~~ ~
|
|
|
150 { dg-end-multiline-output "" } */
|
|
|
151 }
|
|
|
152
|
|
|
153 /* PR c/72857. */
|
|
|
154
|
|
|
155 void test_field_width_specifier_2 (char *d, long foo, long bar)
|
|
|
156 {
|
|
|
157 __builtin_sprintf (d, " %*ld ", foo, foo); /* { dg-warning "28: field width specifier '\\*' expects argument of type 'int', but argument 3 has type 'long int'" } */
|
|
|
158 /* { dg-begin-multiline-output "" }
|
|
|
159 __builtin_sprintf (d, " %*ld ", foo, foo);
|
|
|
160 ~^~~ ~~~
|
|
|
161 { dg-end-multiline-output "" } */
|
|
|
162
|
|
|
163 __builtin_sprintf (d, " %*ld ", foo + bar, foo); /* { dg-warning "28: field width specifier '\\*' expects argument of type 'int', but argument 3 has type 'long int'" } */
|
|
|
164 /* { dg-begin-multiline-output "" }
|
|
|
165 __builtin_sprintf (d, " %*ld ", foo + bar, foo);
|
|
|
166 ~^~~ ~~~~~~~~~
|
|
|
167 { dg-end-multiline-output "" } */
|
|
|
168 }
|
|
|
169
|
|
|
170 void test_field_precision_specifier (char *d, long foo, long bar)
|
|
|
171 {
|
|
|
172 __builtin_sprintf (d, " %.*ld ", foo, foo); /* { dg-warning "29: field precision specifier '\\.\\*' expects argument of type 'int', but argument 3 has type 'long int'" } */
|
|
|
173 /* { dg-begin-multiline-output "" }
|
|
|
174 __builtin_sprintf (d, " %.*ld ", foo, foo);
|
|
|
175 ~~^~~ ~~~
|
|
|
176 { dg-end-multiline-output "" } */
|
|
|
177
|
|
|
178 __builtin_sprintf (d, " %.*ld ", foo + bar, foo); /* { dg-warning "29: field precision specifier '\\.\\*' expects argument of type 'int', but argument 3 has type 'long int'" } */
|
|
|
179 /* { dg-begin-multiline-output "" }
|
|
|
180 __builtin_sprintf (d, " %.*ld ", foo + bar, foo);
|
|
|
181 ~~^~~ ~~~~~~~~~
|
|
|
182 { dg-end-multiline-output "" } */
|
|
|
183 }
|
|
|
184
|
|
|
185 void test_spurious_percent (void)
|
|
|
186 {
|
|
|
187 printf("hello world %"); /* { dg-warning "23: spurious trailing" } */
|
|
|
188
|
|
|
189 /* { dg-begin-multiline-output "" }
|
|
|
190 printf("hello world %");
|
|
|
191 ^
|
|
|
192 { dg-end-multiline-output "" } */
|
|
|
193 }
|
|
|
194
|
|
|
195 void test_empty_precision (char *s, size_t m, double d)
|
|
|
196 {
|
|
|
197 strfmon (s, m, "%#.5n", d); /* { dg-warning "20: empty left precision in gnu_strfmon format" } */
|
|
|
198 /* { dg-begin-multiline-output "" }
|
|
|
199 strfmon (s, m, "%#.5n", d);
|
|
|
200 ^
|
|
|
201 { dg-end-multiline-output "" } */
|
|
|
202
|
|
|
203 strfmon (s, m, "%#5.n", d); /* { dg-warning "22: empty precision in gnu_strfmon format" } */
|
|
|
204 /* { dg-begin-multiline-output "" }
|
|
|
205 strfmon (s, m, "%#5.n", d);
|
|
|
206 ^
|
|
|
207 { dg-end-multiline-output "" } */
|
|
|
208 }
|
|
|
209
|
|
|
210 void test_repeated (int i)
|
|
|
211 {
|
|
|
212 printf ("%++d", i); /* { dg-warning "14: repeated '\\+' flag in format" } */
|
|
|
213 /* { dg-begin-multiline-output "" }
|
|
|
214 printf ("%++d", i);
|
|
|
215 ^
|
|
|
216 { dg-end-multiline-output "" } */
|
|
|
217 }
|
|
|
218
|
|
|
219 void test_conversion_lacks_type (void)
|
|
|
220 {
|
|
|
221 printf (" %h"); /* { dg-warning "14:conversion lacks type at end of format" } */
|
|
|
222 /* { dg-begin-multiline-output "" }
|
|
|
223 printf (" %h");
|
|
|
224 ^
|
|
|
225 { dg-end-multiline-output "" } */
|
|
|
226 }
|
|
|
227
|
|
|
228 void test_embedded_nul (void)
|
|
|
229 {
|
|
|
230 printf (" \0 "); /* { dg-warning "13:embedded" "warning for embedded NUL" } */
|
|
|
231 /* { dg-begin-multiline-output "" }
|
|
|
232 printf (" \0 ");
|
|
|
233 ^~
|
|
|
234 { dg-end-multiline-output "" } */
|
|
|
235 }
|
|
|
236
|
|
|
237 void test_macro (const char *msg)
|
|
|
238 {
|
|
|
239 #define INT_FMT "%i" /* { dg-message "19: format string is defined here" } */
|
|
|
240 printf("hello " INT_FMT " world", msg); /* { dg-warning "10: format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
241 /* { dg-begin-multiline-output "" }
|
|
|
242 printf("hello " INT_FMT " world", msg);
|
|
|
243 ^~~~~~~~ ~~~
|
|
|
244 { dg-end-multiline-output "" } */
|
|
|
245 /* { dg-begin-multiline-output "" }
|
|
|
246 #define INT_FMT "%i"
|
|
|
247 ~^
|
|
|
248 %s
|
|
|
249 { dg-end-multiline-output "" } */
|
|
|
250 #undef INT_FMT
|
|
|
251 }
|
|
|
252
|
|
|
253 void test_macro_2 (const char *msg)
|
|
|
254 {
|
|
|
255 #define PRIu32 "u" /* { dg-message "17: format string is defined here" } */
|
|
|
256 printf("hello %" PRIu32 " world", msg); /* { dg-warning "10: format '%u' expects argument of type 'unsigned int', but argument 2 has type 'const char \\*' " } */
|
|
|
257 /* { dg-begin-multiline-output "" }
|
|
|
258 printf("hello %" PRIu32 " world", msg);
|
|
|
259 ^~~~~~~~~ ~~~
|
|
|
260 { dg-end-multiline-output "" } */
|
|
|
261 /* { dg-begin-multiline-output "" }
|
|
|
262 #define PRIu32 "u"
|
|
|
263 ^
|
|
|
264 { dg-end-multiline-output "" } */
|
|
|
265 #undef PRIu32
|
|
|
266 }
|
|
|
267
|
|
|
268 void test_macro_3 (const char *msg)
|
|
|
269 {
|
|
|
270 #define FMT_STRING "hello %i world" /* { dg-warning "20: format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
271 printf(FMT_STRING, msg); /* { dg-message "10: in expansion of macro 'FMT_STRING" } */
|
|
|
272 /* { dg-begin-multiline-output "" }
|
|
|
273 #define FMT_STRING "hello %i world"
|
|
|
274 ^~~~~~~~~~~~~~~~
|
|
|
275 { dg-end-multiline-output "" } */
|
|
|
276 /* { dg-begin-multiline-output "" }
|
|
|
277 printf(FMT_STRING, msg);
|
|
|
278 ^~~~~~~~~~
|
|
|
279 { dg-end-multiline-output "" } */
|
|
|
280 #undef FMT_STRING
|
|
|
281 }
|
|
|
282
|
|
|
283 void test_macro_4 (const char *msg)
|
|
|
284 {
|
|
|
285 #define FMT_STRING "hello %i world" /* { dg-warning "20: format '%i' expects argument of type 'int', but argument 2 has type 'const char \\*' " } */
|
|
|
286 printf(FMT_STRING "\n", msg); /* { dg-message "10: in expansion of macro 'FMT_STRING" } */
|
|
|
287 /* { dg-begin-multiline-output "" }
|
|
|
288 #define FMT_STRING "hello %i world"
|
|
|
289 ^~~~~~~~~~~~~~~~
|
|
|
290 { dg-end-multiline-output "" } */
|
|
|
291 /* { dg-begin-multiline-output "" }
|
|
|
292 printf(FMT_STRING "\n", msg);
|
|
|
293 ^~~~~~~~~~
|
|
|
294 { dg-end-multiline-output "" } */
|
|
|
295 /* { dg-begin-multiline-output "" }
|
|
|
296 #define FMT_STRING "hello %i world"
|
|
|
297 ~^
|
|
|
298 %s
|
|
|
299 { dg-end-multiline-output "" } */
|
|
|
300 #undef FMT_STRING
|
|
|
301 }
|
|
|
302
|
|
|
303 void test_non_contiguous_strings (void)
|
|
|
304 {
|
|
|
305 __builtin_printf(" %" "d ", 0.5); /* { dg-warning "20: format .%d. expects argument of type .int., but argument 2 has type .double." } */
|
|
|
306 /* { dg-message "26: format string is defined here" "" { target *-*-* } .-1 } */
|
|
|
307 /* { dg-begin-multiline-output "" }
|
|
|
308 __builtin_printf(" %" "d ", 0.5);
|
|
|
309 ^~~~ ~~~
|
|
|
310 { dg-end-multiline-output "" } */
|
|
|
311 /* { dg-begin-multiline-output "" }
|
|
|
312 __builtin_printf(" %" "d ", 0.5);
|
|
|
313 ~~~~^
|
|
|
314 %" "f
|
|
|
315 { dg-end-multiline-output "" } */
|
|
|
316 }
|
|
|
317
|
|
|
318 void test_const_arrays (void)
|
|
|
319 {
|
|
|
320 /* TODO: ideally we'd highlight both the format string *and* the use of
|
|
|
321 it here. For now, just verify that we gracefully handle this case. */
|
|
|
322 const char a[] = " %d ";
|
|
|
323 __builtin_printf(a, 0.5); /* { dg-warning "20: format .%d. expects argument of type .int., but argument 2 has type .double." } */
|
|
|
324 /* { dg-begin-multiline-output "" }
|
|
|
325 __builtin_printf(a, 0.5);
|
|
|
326 ^ ~~~
|
|
|
327 { dg-end-multiline-output "" } */
|
|
|
328 }
|
