|
111
|
1 /* PR middle-end/79275 - -Wformat-overflow false positive exceeding INT_MAX
|
|
|
2 in glibc sysdeps/posix/tempname.c
|
|
|
3 { dg-do compile }
|
|
|
4 { dg-options "-O2 -Wall -Wformat-overflow=1 -ftrack-macro-expansion=0" } */
|
|
|
5
|
|
|
6 typedef __SIZE_TYPE__ size_t;
|
|
|
7 typedef __WCHAR_TYPE__ wchar_t;
|
|
|
8
|
|
|
9 #define INT_MAX __INT_MAX__
|
|
|
10 #define INT_MIN (-INT_MAX - 1)
|
|
|
11
|
|
|
12 /* When debugging, define LINE to the line number of the test case to exercise
|
|
|
13 and avoid exercising any of the others. The buffer and objsize macros
|
|
|
14 below make use of LINE to avoid warnings for other lines. */
|
|
|
15 #ifndef LINE
|
|
|
16 # define LINE 0
|
|
|
17 #endif
|
|
|
18
|
|
|
19 extern int int_value (void);
|
|
|
20 extern size_t size_value (void);
|
|
|
21
|
|
131
|
22 static int int_range (int min, int max)
|
|
111
|
23 {
|
|
|
24 int n = int_value ();
|
|
|
25 return n < min || max < n ? min : n;
|
|
|
26 }
|
|
|
27
|
|
|
28 void sink (char*, char*);
|
|
|
29
|
|
|
30 int dummy_sprintf (char*, const char*, ...);
|
|
|
31
|
|
|
32 char buffer [256];
|
|
|
33 extern char *ptr;
|
|
|
34
|
|
|
35 const char s0[] = "";
|
|
|
36 const char s1[] = "1";
|
|
|
37 const char s2[] = "12";
|
|
|
38 const char s3[] = "123";
|
|
|
39 const char s4[] = "1234";
|
|
|
40 const char s5[] = "12345";
|
|
|
41 const char s6[] = "123456";
|
|
|
42 const char s7[] = "1234567";
|
|
|
43 const char s8[] = "12345678";
|
|
|
44 const char s9[] = "123456789";
|
|
|
45 extern const char sx[];
|
|
|
46 extern const char sy[];
|
|
|
47
|
|
|
48 /* Wide string literals outside the ASCII range to avoid assumptions
|
|
|
49 about the number of narrow characters they might convert to beyond
|
|
|
50 up to 6 bytes each (the maximum for UTF-8 not exceeded by any known
|
|
|
51 encoding). */
|
|
|
52 const wchar_t ws0[] = L"";
|
|
|
53 const wchar_t ws1[] = L"\u1111";
|
|
|
54 const wchar_t ws2[] = L"\u1111\u2222";
|
|
|
55 const wchar_t ws3[] = L"\u1111\u2222\u3333";
|
|
|
56 const wchar_t ws4[] = L"\u1111\u2222\u3333\u4444";
|
|
|
57 const wchar_t ws5[] = L"\u1111\u2222\u3333\u4444\u5555";
|
|
|
58 const wchar_t ws6[] = L"\u1111\u2222\u3333\u4444\u5555\u6666";
|
|
|
59 const wchar_t ws7[] = L"\u1111\u2222\u3333\u4444\u5555\u6666\u7777";
|
|
|
60 const wchar_t ws8[] =
|
|
|
61 L"\u1111\u2222\u3333\u4444\u5555\u6666\u7777\u8888";
|
|
|
62 const wchar_t ws9[] =
|
|
|
63 L"\u1111\u2222\u3333\u4444\u5555\u6666\u7777\u8888\u9999";
|
|
|
64 extern const wchar_t wsx[];
|
|
|
65 extern const wchar_t wsy[];
|
|
|
66
|
|
|
67 static const int imin = INT_MIN;
|
|
|
68 static const int imax = INT_MAX;
|
|
|
69
|
|
|
70 /* Evaluate to an array of SIZE characters when non-negative, or to
|
|
|
71 a pointer to an unknown object otherwise. */
|
|
|
72 #define buffer(size) \
|
|
|
73 ((0 <= size) ? buffer + sizeof buffer - (size) : ptr)
|
|
|
74
|
|
|
75 /* Helper to expand function to either __builtin_f or dummy_f to
|
|
|
76 make debugging GCC easy. */
|
|
|
77 #define FUNC(f) \
|
|
|
78 ((!LINE || LINE == __LINE__) ? __builtin_ ## f : dummy_ ## f)
|
|
|
79
|
|
|
80 /* Macro to verify that calls to __builtin_sprintf (i.e., with no size
|
|
|
81 argument) issue diagnostics by correctly determining the size of
|
|
|
82 the destination buffer. */
|
|
|
83 #define T(size, ...) \
|
|
|
84 (FUNC (sprintf) (buffer (size), __VA_ARGS__), \
|
|
|
85 sink (buffer, ptr))
|
|
|
86
|
|
|
87 /* Return a value in the range [MIN, MAX]. */
|
|
|
88 #define IR(min, max) int_range (min, max)
|
|
|
89
|
|
|
90 /* Return a string whose length is in the range [MIN, MAX] where
|
|
|
91 both MIN and MAX must be digits in the range [0, 9]. */
|
|
|
92 #define SR(min, max) (int_value () < 0 ? s##min : s##max)
|
|
|
93
|
|
|
94 /* Return a wide string whose length is in the range [MIN, MAX] where
|
|
|
95 both MIN and MAX must be digits in the range [0, 9]. */
|
|
|
96 #define WR(min, max) (int_value () < 0 ? ws##min : ws##max)
|
|
|
97
|
|
|
98 void test_narrow_string_with_precision (void)
|
|
|
99 {
|
|
|
100 T (-1, "%.*s", IR ( 0, 1), SR (0, 1));
|
|
|
101 T (-1, "%.*s", IR ( 0, 1), SR (0, 2));
|
|
|
102 T (-1, "%.*s", IR ( 0, 1), SR (0, 3));
|
|
|
103 T (-1, "%.*s", IR ( 0, 1), SR (0, 4));
|
|
|
104 T (-1, "%.*s", IR ( 0, 1), SR (0, 9));
|
|
|
105 T (-1, "%.*s", IR ( 0, 2), SR (0, 9));
|
|
|
106 T (-1, "%.*s", IR ( 0, 3), SR (0, 9));
|
|
|
107 T (-1, "%.*s", IR ( 0, 4), SR (0, 9));
|
|
|
108 T (-1, "%.*s", IR ( 0, 9), SR (0, 9));
|
|
|
109 T (-1, "%.*s", IR ( 0, 99), SR (0, 9));
|
|
|
110 T (-1, "%.*s", IR ( 0, 99), SR (0, x));
|
|
|
111 T (-1, "%.*s", IR ( 0, 99), SR (1, x));
|
|
|
112 T (-1, "%.*s", IR ( 0, 99), SR (x, 1));
|
|
|
113 T (-1, "%.*s", IR ( 0, 99), SR (x, 9));
|
|
|
114
|
|
|
115 T (-1, "%.*s", IR (imax / 3, imax / 2), SR (x, y));
|
|
|
116
|
|
|
117 /* Non-constant zero length string. */
|
|
|
118 T ( 0, "%.*s", IR (imin, -1), SR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
119 T ( 0, "%.*s", IR (imin, 0), SR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
120 T ( 0, "%.*s", IR (-1, 0), SR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
121 T ( 0, "%.*s", IR (-1, 1), SR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
122 T ( 0, "%.*s", IR (-1, 99), SR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
123
|
|
|
124 /* String with length between 0 and 1 character. */
|
|
|
125 T ( 0, "%.*s", IR (imin, -1), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
126 T ( 0, "%.*s", IR (imin, 0), SR (0, 1)); /* { dg-warning "writing a terminating nul" } */
|
|
|
127 T ( 0, "%.*s", IR (-2, -1), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
128 T ( 0, "%.*s", IR (-2, 0), SR (0, 1)); /* { dg-warning "writing a terminating nul" } */
|
|
|
129 T ( 0, "%.*s", IR ( 0, 1), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
130 T ( 0, "%.*s", IR ( 0, 2), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
131 T ( 0, "%.*s", IR ( 0, 99), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
132 T ( 0, "%.*s", IR ( 0, imax), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
133 T ( 0, "%.*s", IR ( 1, imax), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
134 T ( 0, "%.*s", IR ( 9, imax), SR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
135
|
|
|
136 /* String with length between 2 and 3 characters. */
|
|
|
137 T ( 0, "%.*s", IR (imin, -1), SR (2, 3)); /* { dg-warning "writing between 2 and 3 bytes" } */
|
|
|
138 T ( 0, "%.*s", IR (imin, 0), SR (2, 3)); /* { dg-warning "writing a terminating nul" } */
|
|
|
139 T ( 0, "%.*s", IR (-2, -1), SR (2, 3)); /* { dg-warning "writing between 2 and 3 bytes" } */
|
|
|
140 T ( 0, "%.*s", IR (-2, 0), SR (2, 3)); /* { dg-warning "writing a terminating nul" } */
|
|
|
141 T ( 0, "%.*s", IR (-2, 1), SR (2, 3)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
142 T ( 0, "%.*s", IR ( 0, 1), SR (2, 3)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
143 T ( 0, "%.*s", IR ( 0, 2), SR (2, 3)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
144 T ( 0, "%.*s", IR ( 0, 99), SR (2, 3)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
145 T ( 0, "%.*s", IR ( 0, imax), SR (2, 3)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
146 T ( 0, "%.*s", IR ( 1, 99), SR (2, 3)); /* { dg-warning "writing between 1 and 3 bytes" } */
|
|
|
147 T ( 0, "%.*s", IR ( 9, 99), SR (2, 3)); /* { dg-warning "writing between 2 and 3 bytes" } */
|
|
|
148
|
|
|
149 T ( 0, "%.*s", IR ( 0, 1), SR (0, 9)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
150 T ( 0, "%.*s", IR ( 0, 2), SR (0, 9)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
151 T ( 0, "%.*s", IR ( 0, 9), SR (0, 9)); /* { dg-warning "writing up to 9 bytes" } */
|
|
|
152 T ( 0, "%.*s", IR ( 0, 79), SR (0, 9)); /* { dg-warning "writing up to 9 bytes" } */
|
|
|
153 T ( 0, "%.*s", IR ( 1, 2), SR (0, 9)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
154 T ( 0, "%.*s", IR ( 2, 3), SR (0, 9)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
155 T ( 0, "%.*s", IR ( 7, 13), SR (0, 9)); /* { dg-warning "writing up to 9 bytes" } */
|
|
|
156
|
|
|
157 /* String between N and unknown number of characters long. */
|
|
|
158 T ( 0, "%.*s", IR (imin, -1), SR (0, x)); /* { dg-warning "writing a terminating nul" } */
|
|
|
159 T ( 0, "%.*s", IR (imin, -1), SR (1, x)); /* { dg-warning "writing likely 1 or more bytes" } */
|
|
|
160 T ( 1, "%.*s", IR (imin, -1), SR (1, x)); /* { dg-warning "may write a terminating nul" } */
|
|
|
161 T ( 1, "%.*s", IR (imin, -1), SR (8, x)); /* { dg-warning "writing likely 8 or more bytes" } */
|
|
|
162 T ( 1, "%.*s", IR (imin, -1), SR (x, 9)); /* { dg-warning "writing likely 9 or more bytes" } */
|
|
|
163
|
|
|
164 /* Unknown strings. */
|
|
|
165 T ( 1, "%.*s", IR (imin, -1), SR (x, y));
|
|
|
166 T ( 1, "%.*s", IR (imin, 0), SR (x, y));
|
|
|
167 T ( 1, "%.*s", IR ( -99, 1), SR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
168 T ( 1, "%.*s", IR ( -2, 2), SR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
169 T ( 1, "%.*s", IR ( -1, 99), SR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
170 T ( 1, "%.*s", IR ( 0, 99), SR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
171 T ( 1, "%.*s", IR ( 1, 99), SR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
172 T ( 1, "%.*s", IR ( 9, 99), SR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
173 }
|
|
|
174
|
|
|
175 void test_narrow_string_with_width_and_precision (void)
|
|
|
176 {
|
|
|
177 T (-1, "%*.*s", IR ( 0, 1), IR ( 0, 1), SR (0, 1));
|
|
|
178 T (-1, "%*.*s", IR ( 0, 1), IR ( 0, 1), SR (0, 2));
|
|
|
179 T (-1, "%*.*s", IR ( 0, 1), IR ( 0, 1), SR (0, 3));
|
|
|
180 T (-1, "%*.*s", IR ( 0, 1), IR ( 0, 1), SR (0, 4));
|
|
|
181 T (-1, "%*.*s", IR ( 0, 1), IR ( 0, 1), SR (0, 9));
|
|
|
182 T (-1, "%*.*s", IR ( 0, 2), IR ( 0, 2), SR (0, 9));
|
|
|
183 T (-1, "%*.*s", IR ( 0, 3), IR ( 0, 3), SR (0, 9));
|
|
|
184 T (-1, "%*.*s", IR ( 0, 4), IR ( 0, 4), SR (0, 9));
|
|
|
185 T (-1, "%*.*s", IR ( 0, 9), IR ( 0, 9), SR (0, 9));
|
|
|
186 T (-1, "%*.*s", IR ( 0, 99), IR ( 0, 99), SR (0, 9));
|
|
|
187 T (-1, "%*.*s", IR ( 0, 99), IR ( 0, 99), SR (0, x));
|
|
|
188 T (-1, "%*.*s", IR ( 0, 99), IR ( 0, 99), SR (1, x));
|
|
|
189 T (-1, "%*.*s", IR ( 0, 99), IR ( 0, 99), SR (x, 1));
|
|
|
190 T (-1, "%*.*s", IR ( 0, 99), IR ( 0, 99), SR (x, 9));
|
|
|
191 T (-1, "%*.*s", IR (12, 34), IR (45, 67), SR (x, 9));
|
|
|
192 T (-1, "%*.*s", IR (12, 34), IR (45, 67), SR (x, y));
|
|
|
193
|
|
|
194 T (-1, "%*.*s", IR (imax / 5, imax / 4), IR (imax / 3, imax / 2), SR (x, y));
|
|
|
195
|
|
|
196 T (-1, "%*.*s %*.*s",
|
|
|
197 IR (imax / 9, imax / 8), IR (imax / 7, imax / 6), SR (x, y),
|
|
|
198 IR (imax / 5, imax / 4), IR (imax / 3, imax / 2), SR (x, y));
|
|
|
199
|
|
|
200 /* The two directives below combined convert to [INT_MAX, INT_MAX + 1].
|
|
|
201 Since the lower end of the range doesn't exceed INT_MAX no warning
|
|
|
202 is expected. */
|
|
|
203 T (-1, "%*.*s%*.*s",
|
|
|
204 IR (imax - 5, imax - 3), IR (1, 2), SR (x, y),
|
|
|
205 IR ( 5, 6), IR (3, 4), SR (x, y));
|
|
|
206
|
|
|
207 /* The three directives below (the two %s plus the space in between)
|
|
|
208 combined convert to [INT_MAX + 1, INT_MAX + 2]. Since the lower
|
|
|
209 end of the range exceeds INT_MAX a warning is expected. */
|
|
|
210 T (-1, "%*.*s %*.*s", /* { dg-warning "INT_MAX" } */
|
|
|
211 IR (imax - 5, imax - 3), IR (1, 2), SR (x, y),
|
|
|
212 IR ( 5, 6), IR (3, 4), SR (x, y));
|
|
|
213
|
|
|
214 /* Non-constant zero length string. */
|
|
|
215 T ( 0, "%*.*s", IR ( 0, 1), IR (imin, -1), SR (0, 0)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
216 T ( 0, "%*.*s", IR ( 0, 2), IR (imin, -1), SR (0, 0)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
217 T ( 0, "%*.*s", IR ( 0, 3), IR (imin, -1), SR (0, 0)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
218 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 1), SR (0, 0)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
219 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 1), SR (0, 1)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
220 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 2), SR (0, 1)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
221 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 3), SR (0, 1)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
222 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 1), SR (3, 5)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
223 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 2), SR (3, 5)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
224 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 3), SR (3, 5)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
225 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 4), SR (3, 5)); /* { dg-warning "writing up to 4 bytes" } */
|
|
|
226 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 5), SR (3, 5)); /* { dg-warning "writing up to 5 bytes" } */
|
|
|
227 T ( 0, "%*.*s", IR ( 0, 3), IR ( 0, 6), SR (3, 5)); /* { dg-warning "writing up to 5 bytes" } */
|
|
|
228
|
|
|
229 T ( 0, "%*.*s", IR ( 1, 2), IR ( 0, 1), SR (3, 5)); /* { dg-warning "writing between 1 and 2 bytes" } */
|
|
|
230 T ( 0, "%*.*s", IR ( 1, 2), IR ( 0, 2), SR (3, 5)); /* { dg-warning "writing between 1 and 2 bytes" } */
|
|
|
231 T ( 0, "%*.*s", IR ( 1, 2), IR ( 0, 3), SR (3, 5)); /* { dg-warning "writing between 1 and 3 bytes" } */
|
|
|
232 T ( 0, "%*.*s", IR ( 1, 2), IR ( 0, 4), SR (3, 5)); /* { dg-warning "writing between 1 and 4 bytes" } */
|
|
|
233 T ( 0, "%*.*s", IR ( 1, 2), IR ( 0, 5), SR (3, 5)); /* { dg-warning "writing between 1 and 5 bytes" } */
|
|
|
234 T ( 0, "%*.*s", IR ( 1, 2), IR ( 0, 6), SR (3, 5)); /* { dg-warning "writing between 1 and 5 bytes" } */
|
|
|
235 T ( 0, "%*.*s", IR ( 2, 3), IR ( 0, 6), SR (3, 5)); /* { dg-warning "writing between 2 and 5 bytes" } */
|
|
|
236 T ( 0, "%*.*s", IR ( 2, 3), IR ( 1, 6), SR (3, 5)); /* { dg-warning "writing between 2 and 5 bytes" } */
|
|
|
237 T ( 0, "%*.*s", IR ( 2, 3), IR ( 2, 6), SR (3, 5)); /* { dg-warning "writing between 2 and 5 bytes" } */
|
|
|
238 T ( 0, "%*.*s", IR ( 2, 3), IR ( 3, 6), SR (3, 5)); /* { dg-warning "writing between 3 and 5 bytes" } */
|
|
|
239 T ( 0, "%*.*s", IR ( 2, 3), IR ( 4, 6), SR (3, 5)); /* { dg-warning "writing between 3 and 5 bytes" } */
|
|
|
240 T ( 0, "%*.*s", IR ( 2, 3), IR ( 5, 6), SR (3, 5)); /* { dg-warning "writing between 3 and 5 bytes" } */
|
|
|
241 }
|
|
|
242
|
|
|
243 void test_wide_string (void)
|
|
|
244 {
|
|
|
245 T (-1, "%.*ls", IR ( 0, 1), WR (0, 1));
|
|
|
246 T (-1, "%.*ls", IR ( 0, 1), WR (0, 2));
|
|
|
247 T (-1, "%.*ls", IR ( 0, 1), WR (0, 3));
|
|
|
248 T (-1, "%.*ls", IR ( 0, 1), WR (0, 4));
|
|
|
249 T (-1, "%.*ls", IR ( 0, 1), WR (0, 9));
|
|
|
250 T (-1, "%.*ls", IR ( 0, 2), WR (0, 9));
|
|
|
251 T (-1, "%.*ls", IR ( 0, 3), WR (0, 9));
|
|
|
252 T (-1, "%.*ls", IR ( 0, 4), WR (0, 9));
|
|
|
253 T (-1, "%.*ls", IR ( 0, 9), WR (0, 9));
|
|
|
254 T (-1, "%.*ls", IR ( 0, 99), WR (0, 9));
|
|
|
255 T (-1, "%.*ls", IR ( 0, 99), WR (0, x));
|
|
|
256 T (-1, "%.*ls", IR ( 0, 99), WR (1, x));
|
|
|
257 T (-1, "%.*ls", IR ( 0, 99), WR (x, 1));
|
|
|
258 T (-1, "%.*ls", IR ( 0, 99), WR (x, 9));
|
|
|
259
|
|
|
260 /* Non-constant zero length string. */
|
|
|
261 T ( 0, "%.*ls", IR (imin, -1), WR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
262 T ( 0, "%.*ls", IR (imin, 0), WR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
263 T ( 0, "%.*ls", IR (-1, 0), WR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
264 T ( 0, "%.*ls", IR (-1, 1), WR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
265 T ( 0, "%.*ls", IR (-1, 99), WR (0, 0)); /* { dg-warning "writing a terminating nul" } */
|
|
|
266
|
|
|
267 /* String with length between 0 and 1 character. */
|
|
|
268 T ( 0, "%.*ls", IR (imin, -1), WR (0, 1)); /* { dg-warning "writing up to 6 bytes" } */
|
|
|
269 T ( 0, "%.*ls", IR (imin, 0), WR (0, 1)); /* { dg-warning "writing a terminating nul" } */
|
|
|
270 T ( 0, "%.*ls", IR (-2, -1), WR (0, 1)); /* { dg-warning "writing up to 6 bytes" } */
|
|
|
271 T ( 0, "%.*ls", IR (-2, 0), WR (0, 1)); /* { dg-warning "writing a terminating nul" } */
|
|
|
272 T ( 0, "%.*ls", IR ( 0, 1), WR (0, 1)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
273 T ( 0, "%.*ls", IR ( 0, 2), WR (0, 1)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
274 T ( 0, "%.*ls", IR ( 0, 99), WR (0, 1)); /* { dg-warning "writing up to 6 bytes" } */
|
|
|
275 T ( 0, "%.*ls", IR ( 0, imax), WR (0, 1)); /* { dg-warning "writing up to 6 bytes" } */
|
|
|
276 T ( 0, "%.*ls", IR ( 1, imax), WR (0, 1)); /* { dg-warning "writing up to 6 bytes" } */
|
|
|
277 T ( 0, "%.*ls", IR ( 9, imax), WR (0, 1)); /* { dg-warning "writing up to 6 bytes" } */
|
|
|
278
|
|
|
279 /* String with length between 2 and 3 characters. */
|
|
|
280 T ( 0, "%.*ls", IR (imin, -1), WR (2, 3)); /* { dg-warning "writing up to 18 bytes" } */
|
|
|
281 T ( 0, "%.*ls", IR (imin, 0), WR (2, 3)); /* { dg-warning "writing a terminating nul" } */
|
|
|
282 T ( 0, "%.*ls", IR (-2, -1), WR (2, 3)); /* { dg-warning "writing up to 18 bytes" } */
|
|
|
283 T ( 0, "%.*ls", IR (-2, 0), WR (2, 3)); /* { dg-warning "writing a terminating nul" } */
|
|
|
284 T ( 0, "%.*ls", IR (-2, 1), WR (2, 3)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
285 T ( 0, "%.*ls", IR ( 0, 1), WR (2, 3)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
286 T ( 0, "%.*ls", IR ( 0, 2), WR (2, 3)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
287 T ( 0, "%.*ls", IR ( 0, 99), WR (2, 3)); /* { dg-warning "writing up to 18 bytes" } */
|
|
|
288 T ( 0, "%.*ls", IR ( 0, imax), WR (2, 3)); /* { dg-warning "writing up to 18 bytes" } */
|
|
|
289 T ( 0, "%.*ls", IR ( 1, 99), WR (2, 3)); /* { dg-warning "writing up to 18 bytes" } */
|
|
|
290 T ( 0, "%.*ls", IR ( 9, 99), WR (2, 3)); /* { dg-warning "writing up to 18 bytes" } */
|
|
|
291
|
|
|
292 T ( 0, "%.*ls", IR ( 0, 1), WR (0, 9)); /* { dg-warning "writing up to 1 byte" } */
|
|
|
293 T ( 0, "%.*ls", IR ( 0, 2), WR (0, 9)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
294 T ( 0, "%.*ls", IR ( 0, 9), WR (0, 9)); /* { dg-warning "writing up to 9 bytes" } */
|
|
|
295 T ( 0, "%.*ls", IR ( 0, 53), WR (0, 9)); /* { dg-warning "writing up to 53 bytes" } */
|
|
|
296 T ( 0, "%.*ls", IR ( 0, 55), WR (0, 9)); /* { dg-warning "writing up to 54 bytes" } */
|
|
|
297 T ( 0, "%.*ls", IR ( 1, 2), WR (0, 9)); /* { dg-warning "writing up to 2 bytes" } */
|
|
|
298 T ( 0, "%.*ls", IR ( 2, 3), WR (0, 9)); /* { dg-warning "writing up to 3 bytes" } */
|
|
|
299 T ( 0, "%.*ls", IR ( 7, 13), WR (0, 9)); /* { dg-warning "writing up to 13 bytes" } */
|
|
|
300
|
|
|
301 /* String between N and unknown number of characters long. */
|
|
|
302 T ( 0, "%.*ls", IR (imin, -1), WR (0, x)); /* { dg-warning "writing a terminating nul" } */
|
|
|
303 T ( 0, "%.*ls", IR (imin, -1), WR (1, x)); /* { dg-warning "writing likely 2 or more bytes" } */
|
|
|
304 T ( 1, "%.*ls", IR (imin, -1), WR (1, x)); /* { dg-warning "writing likely 2 or more bytes" } */
|
|
|
305 T ( 1, "%.*ls", IR (imin, -1), WR (8, x)); /* { dg-warning "writing likely 16 or more bytes" } */
|
|
|
306 T ( 1, "%.*ls", IR (imin, -1), WR (x, 9)); /* { dg-warning "writing likely 18 or more bytes" } */
|
|
|
307
|
|
|
308 /* Unknown strings. */
|
|
|
309 T ( 1, "%.*ls", IR (imin, -1), WR (x, y));
|
|
|
310 T ( 1, "%.*ls", IR (imin, 0), WR (x, y));
|
|
|
311 T ( 1, "%.*ls", IR ( -99, 1), WR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
312 T ( 1, "%.*ls", IR ( -2, 2), WR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
313 T ( 1, "%.*ls", IR ( -1, 99), WR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
314 T ( 1, "%.*ls", IR ( 0, 99), WR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
315 T ( 1, "%.*ls", IR ( 1, 99), WR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
316 T ( 1, "%.*ls", IR ( 9, 99), WR (x, y)); /* { dg-warning "may write a terminating nul" } */
|
|
|
317 }
|
