1 |
/* Formatted output to strings.
|
2 |
Copyright (C) 1999-2000, 2002-2003 Free Software Foundation, Inc.
|
3 |
|
4 |
This program is free software; you can redistribute it and/or modify it
|
5 |
under the terms of the GNU Library General Public License as published
|
6 |
by the Free Software Foundation; either version 2, or (at your option)
|
7 |
any later version.
|
8 |
|
9 |
This program is distributed in the hope that it will be useful,
|
10 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
11 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
12 |
Library General Public License for more details.
|
13 |
|
14 |
You should have received a copy of the GNU Library General Public
|
15 |
License along with this program; if not, write to the Free Software
|
16 |
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
|
17 |
USA. */
|
18 |
|
19 |
#ifdef HAVE_CONFIG_H
|
20 |
# include <config.h>
|
21 |
#endif
|
22 |
|
23 |
/* Specification. */
|
24 |
#if WIDE_CHAR_VERSION
|
25 |
# include "wprintf-parse.h"
|
26 |
#else
|
27 |
# include "printf-parse.h"
|
28 |
#endif
|
29 |
|
30 |
/* Get size_t, NULL. */
|
31 |
#include <stddef.h>
|
32 |
|
33 |
/* Get intmax_t. */
|
34 |
#if HAVE_STDINT_H_WITH_UINTMAX
|
35 |
# include <stdint.h>
|
36 |
#endif
|
37 |
#if HAVE_INTTYPES_H_WITH_UINTMAX
|
38 |
# include <inttypes.h>
|
39 |
#endif
|
40 |
|
41 |
/* malloc(), realloc(), free(). */
|
42 |
#include <stdlib.h>
|
43 |
|
44 |
/* Checked size_t computations. */
|
45 |
#include "xsize.h"
|
46 |
|
47 |
#if WIDE_CHAR_VERSION
|
48 |
# define PRINTF_PARSE wprintf_parse
|
49 |
# define CHAR_T wchar_t
|
50 |
# define DIRECTIVE wchar_t_directive
|
51 |
# define DIRECTIVES wchar_t_directives
|
52 |
#else
|
53 |
# define PRINTF_PARSE printf_parse
|
54 |
# define CHAR_T char
|
55 |
# define DIRECTIVE char_directive
|
56 |
# define DIRECTIVES char_directives
|
57 |
#endif
|
58 |
|
59 |
#ifdef STATIC
|
60 |
STATIC
|
61 |
#endif
|
62 |
int
|
63 |
PRINTF_PARSE (const CHAR_T *format, DIRECTIVES *d, arguments *a)
|
64 |
{
|
65 |
const CHAR_T *cp = format; /* pointer into format */
|
66 |
size_t arg_posn = 0; /* number of regular arguments consumed */
|
67 |
size_t d_allocated; /* allocated elements of d->dir */
|
68 |
size_t a_allocated; /* allocated elements of a->arg */
|
69 |
size_t max_width_length = 0;
|
70 |
size_t max_precision_length = 0;
|
71 |
|
72 |
d->count = 0;
|
73 |
d_allocated = 1;
|
74 |
d->dir = malloc (d_allocated * sizeof (DIRECTIVE));
|
75 |
if (d->dir == NULL)
|
76 |
/* Out of memory. */
|
77 |
return -1;
|
78 |
|
79 |
a->count = 0;
|
80 |
a_allocated = 0;
|
81 |
a->arg = NULL;
|
82 |
|
83 |
#define REGISTER_ARG(_index_,_type_) \
|
84 |
{ \
|
85 |
size_t n = (_index_); \
|
86 |
if (n >= a_allocated) \
|
87 |
{ \
|
88 |
size_t memory_size; \
|
89 |
argument *memory; \
|
90 |
\
|
91 |
a_allocated = xtimes (a_allocated, 2); \
|
92 |
if (a_allocated <= n) \
|
93 |
a_allocated = xsum (n, 1); \
|
94 |
memory_size = xtimes (a_allocated, sizeof (argument)); \
|
95 |
if (size_overflow_p (memory_size)) \
|
96 |
/* Overflow, would lead to out of memory. */ \
|
97 |
goto error; \
|
98 |
memory = (a->arg \
|
99 |
? realloc (a->arg, memory_size) \
|
100 |
: malloc (memory_size)); \
|
101 |
if (memory == NULL) \
|
102 |
/* Out of memory. */ \
|
103 |
goto error; \
|
104 |
a->arg = memory; \
|
105 |
} \
|
106 |
while (a->count <= n) \
|
107 |
a->arg[a->count++].type = TYPE_NONE; \
|
108 |
if (a->arg[n].type == TYPE_NONE) \
|
109 |
a->arg[n].type = (_type_); \
|
110 |
else if (a->arg[n].type != (_type_)) \
|
111 |
/* Ambiguous type for positional argument. */ \
|
112 |
goto error; \
|
113 |
}
|
114 |
|
115 |
while (*cp != '\0')
|
116 |
{
|
117 |
CHAR_T c = *cp++;
|
118 |
if (c == '%')
|
119 |
{
|
120 |
size_t arg_index = ARG_NONE;
|
121 |
DIRECTIVE *dp = &d->dir[d->count];/* pointer to next directive */
|
122 |
|
123 |
/* Initialize the next directive. */
|
124 |
dp->dir_start = cp - 1;
|
125 |
dp->flags = 0;
|
126 |
dp->width_start = NULL;
|
127 |
dp->width_end = NULL;
|
128 |
dp->width_arg_index = ARG_NONE;
|
129 |
dp->precision_start = NULL;
|
130 |
dp->precision_end = NULL;
|
131 |
dp->precision_arg_index = ARG_NONE;
|
132 |
dp->arg_index = ARG_NONE;
|
133 |
|
134 |
/* Test for positional argument. */
|
135 |
if (*cp >= '0' && *cp <= '9')
|
136 |
{
|
137 |
const CHAR_T *np;
|
138 |
|
139 |
for (np = cp; *np >= '0' && *np <= '9'; np++)
|
140 |
;
|
141 |
if (*np == '$')
|
142 |
{
|
143 |
size_t n = 0;
|
144 |
|
145 |
for (np = cp; *np >= '0' && *np <= '9'; np++)
|
146 |
n = xsum (xtimes (n, 10), *np - '0');
|
147 |
if (n == 0)
|
148 |
/* Positional argument 0. */
|
149 |
goto error;
|
150 |
if (size_overflow_p (n))
|
151 |
/* n too large, would lead to out of memory later. */
|
152 |
goto error;
|
153 |
arg_index = n - 1;
|
154 |
cp = np + 1;
|
155 |
}
|
156 |
}
|
157 |
|
158 |
/* Read the flags. */
|
159 |
for (;;)
|
160 |
{
|
161 |
if (*cp == '\'')
|
162 |
{
|
163 |
dp->flags |= FLAG_GROUP;
|
164 |
cp++;
|
165 |
}
|
166 |
else if (*cp == '-')
|
167 |
{
|
168 |
dp->flags |= FLAG_LEFT;
|
169 |
cp++;
|
170 |
}
|
171 |
else if (*cp == '+')
|
172 |
{
|
173 |
dp->flags |= FLAG_SHOWSIGN;
|
174 |
cp++;
|
175 |
}
|
176 |
else if (*cp == ' ')
|
177 |
{
|
178 |
dp->flags |= FLAG_SPACE;
|
179 |
cp++;
|
180 |
}
|
181 |
else if (*cp == '#')
|
182 |
{
|
183 |
dp->flags |= FLAG_ALT;
|
184 |
cp++;
|
185 |
}
|
186 |
else if (*cp == '0')
|
187 |
{
|
188 |
dp->flags |= FLAG_ZERO;
|
189 |
cp++;
|
190 |
}
|
191 |
else
|
192 |
break;
|
193 |
}
|
194 |
|
195 |
/* Parse the field width. */
|
196 |
if (*cp == '*')
|
197 |
{
|
198 |
dp->width_start = cp;
|
199 |
cp++;
|
200 |
dp->width_end = cp;
|
201 |
if (max_width_length < 1)
|
202 |
max_width_length = 1;
|
203 |
|
204 |
/* Test for positional argument. */
|
205 |
if (*cp >= '0' && *cp <= '9')
|
206 |
{
|
207 |
const CHAR_T *np;
|
208 |
|
209 |
for (np = cp; *np >= '0' && *np <= '9'; np++)
|
210 |
;
|
211 |
if (*np == '$')
|
212 |
{
|
213 |
size_t n = 0;
|
214 |
|
215 |
for (np = cp; *np >= '0' && *np <= '9'; np++)
|
216 |
n = xsum (xtimes (n, 10), *np - '0');
|
217 |
if (n == 0)
|
218 |
/* Positional argument 0. */
|
219 |
goto error;
|
220 |
if (size_overflow_p (n))
|
221 |
/* n too large, would lead to out of memory later. */
|
222 |
goto error;
|
223 |
dp->width_arg_index = n - 1;
|
224 |
cp = np + 1;
|
225 |
}
|
226 |
}
|
227 |
if (dp->width_arg_index == ARG_NONE)
|
228 |
{
|
229 |
dp->width_arg_index = arg_posn++;
|
230 |
if (dp->width_arg_index == ARG_NONE)
|
231 |
/* arg_posn wrapped around. */
|
232 |
goto error;
|
233 |
}
|
234 |
REGISTER_ARG (dp->width_arg_index, TYPE_INT);
|
235 |
}
|
236 |
else if (*cp >= '0' && *cp <= '9')
|
237 |
{
|
238 |
size_t width_length;
|
239 |
|
240 |
dp->width_start = cp;
|
241 |
for (; *cp >= '0' && *cp <= '9'; cp++)
|
242 |
;
|
243 |
dp->width_end = cp;
|
244 |
width_length = dp->width_end - dp->width_start;
|
245 |
if (max_width_length < width_length)
|
246 |
max_width_length = width_length;
|
247 |
}
|
248 |
|
249 |
/* Parse the precision. */
|
250 |
if (*cp == '.')
|
251 |
{
|
252 |
cp++;
|
253 |
if (*cp == '*')
|
254 |
{
|
255 |
dp->precision_start = cp - 1;
|
256 |
cp++;
|
257 |
dp->precision_end = cp;
|
258 |
if (max_precision_length < 2)
|
259 |
max_precision_length = 2;
|
260 |
|
261 |
/* Test for positional argument. */
|
262 |
if (*cp >= '0' && *cp <= '9')
|
263 |
{
|
264 |
const CHAR_T *np;
|
265 |
|
266 |
for (np = cp; *np >= '0' && *np <= '9'; np++)
|
267 |
;
|
268 |
if (*np == '$')
|
269 |
{
|
270 |
size_t n = 0;
|
271 |
|
272 |
for (np = cp; *np >= '0' && *np <= '9'; np++)
|
273 |
n = xsum (xtimes (n, 10), *np - '0');
|
274 |
if (n == 0)
|
275 |
/* Positional argument 0. */
|
276 |
goto error;
|
277 |
if (size_overflow_p (n))
|
278 |
/* n too large, would lead to out of memory
|
279 |
later. */
|
280 |
goto error;
|
281 |
dp->precision_arg_index = n - 1;
|
282 |
cp = np + 1;
|
283 |
}
|
284 |
}
|
285 |
if (dp->precision_arg_index == ARG_NONE)
|
286 |
{
|
287 |
dp->precision_arg_index = arg_posn++;
|
288 |
if (dp->precision_arg_index == ARG_NONE)
|
289 |
/* arg_posn wrapped around. */
|
290 |
goto error;
|
291 |
}
|
292 |
REGISTER_ARG (dp->precision_arg_index, TYPE_INT);
|
293 |
}
|
294 |
else
|
295 |
{
|
296 |
size_t precision_length;
|
297 |
|
298 |
dp->precision_start = cp - 1;
|
299 |
for (; *cp >= '0' && *cp <= '9'; cp++)
|
300 |
;
|
301 |
dp->precision_end = cp;
|
302 |
precision_length = dp->precision_end - dp->precision_start;
|
303 |
if (max_precision_length < precision_length)
|
304 |
max_precision_length = precision_length;
|
305 |
}
|
306 |
}
|
307 |
|
308 |
{
|
309 |
arg_type type;
|
310 |
|
311 |
/* Parse argument type/size specifiers. */
|
312 |
{
|
313 |
int flags = 0;
|
314 |
|
315 |
for (;;)
|
316 |
{
|
317 |
if (*cp == 'h')
|
318 |
{
|
319 |
flags |= (1 << (flags & 1));
|
320 |
cp++;
|
321 |
}
|
322 |
else if (*cp == 'L')
|
323 |
{
|
324 |
flags |= 4;
|
325 |
cp++;
|
326 |
}
|
327 |
else if (*cp == 'l')
|
328 |
{
|
329 |
flags += 8;
|
330 |
cp++;
|
331 |
}
|
332 |
#ifdef HAVE_INTMAX_T
|
333 |
else if (*cp == 'j')
|
334 |
{
|
335 |
if (sizeof (intmax_t) > sizeof (long))
|
336 |
{
|
337 |
/* intmax_t = long long */
|
338 |
flags += 16;
|
339 |
}
|
340 |
else if (sizeof (intmax_t) > sizeof (int))
|
341 |
{
|
342 |
/* intmax_t = long */
|
343 |
flags += 8;
|
344 |
}
|
345 |
cp++;
|
346 |
}
|
347 |
#endif
|
348 |
else if (*cp == 'z' || *cp == 'Z')
|
349 |
{
|
350 |
/* 'z' is standardized in ISO C 99, but glibc uses 'Z'
|
351 |
because the warning facility in gcc-2.95.2 understands
|
352 |
only 'Z' (see gcc-2.95.2/gcc/c-common.c:1784). */
|
353 |
if (sizeof (size_t) > sizeof (long))
|
354 |
{
|
355 |
/* size_t = long long */
|
356 |
flags += 16;
|
357 |
}
|
358 |
else if (sizeof (size_t) > sizeof (int))
|
359 |
{
|
360 |
/* size_t = long */
|
361 |
flags += 8;
|
362 |
}
|
363 |
cp++;
|
364 |
}
|
365 |
else if (*cp == 't')
|
366 |
{
|
367 |
if (sizeof (ptrdiff_t) > sizeof (long))
|
368 |
{
|
369 |
/* ptrdiff_t = long long */
|
370 |
flags += 16;
|
371 |
}
|
372 |
else if (sizeof (ptrdiff_t) > sizeof (int))
|
373 |
{
|
374 |
/* ptrdiff_t = long */
|
375 |
flags += 8;
|
376 |
}
|
377 |
cp++;
|
378 |
}
|
379 |
else
|
380 |
break;
|
381 |
}
|
382 |
|
383 |
/* Read the conversion character. */
|
384 |
c = *cp++;
|
385 |
switch (c)
|
386 |
{
|
387 |
case 'd': case 'i':
|
388 |
#ifdef HAVE_LONG_LONG
|
389 |
if (flags >= 16 || (flags & 4))
|
390 |
type = TYPE_LONGLONGINT;
|
391 |
else
|
392 |
#endif
|
393 |
if (flags >= 8)
|
394 |
type = TYPE_LONGINT;
|
395 |
else if (flags & 2)
|
396 |
type = TYPE_SCHAR;
|
397 |
else if (flags & 1)
|
398 |
type = TYPE_SHORT;
|
399 |
else
|
400 |
type = TYPE_INT;
|
401 |
break;
|
402 |
case 'o': case 'u': case 'x': case 'X':
|
403 |
#ifdef HAVE_LONG_LONG
|
404 |
if (flags >= 16 || (flags & 4))
|
405 |
type = TYPE_ULONGLONGINT;
|
406 |
else
|
407 |
#endif
|
408 |
if (flags >= 8)
|
409 |
type = TYPE_ULONGINT;
|
410 |
else if (flags & 2)
|
411 |
type = TYPE_UCHAR;
|
412 |
else if (flags & 1)
|
413 |
type = TYPE_USHORT;
|
414 |
else
|
415 |
type = TYPE_UINT;
|
416 |
break;
|
417 |
case 'f': case 'F': case 'e': case 'E': case 'g': case 'G':
|
418 |
case 'a': case 'A':
|
419 |
#ifdef HAVE_LONG_DOUBLE
|
420 |
if (flags >= 16 || (flags & 4))
|
421 |
type = TYPE_LONGDOUBLE;
|
422 |
else
|
423 |
#endif
|
424 |
type = TYPE_DOUBLE;
|
425 |
break;
|
426 |
case 'c':
|
427 |
if (flags >= 8)
|
428 |
#ifdef HAVE_WINT_T
|
429 |
type = TYPE_WIDE_CHAR;
|
430 |
#else
|
431 |
goto error;
|
432 |
#endif
|
433 |
else
|
434 |
type = TYPE_CHAR;
|
435 |
break;
|
436 |
#ifdef HAVE_WINT_T
|
437 |
case 'C':
|
438 |
type = TYPE_WIDE_CHAR;
|
439 |
c = 'c';
|
440 |
break;
|
441 |
#endif
|
442 |
case 's':
|
443 |
if (flags >= 8)
|
444 |
#ifdef HAVE_WCHAR_T
|
445 |
type = TYPE_WIDE_STRING;
|
446 |
#else
|
447 |
goto error;
|
448 |
#endif
|
449 |
else
|
450 |
type = TYPE_STRING;
|
451 |
break;
|
452 |
#ifdef HAVE_WCHAR_T
|
453 |
case 'S':
|
454 |
type = TYPE_WIDE_STRING;
|
455 |
c = 's';
|
456 |
break;
|
457 |
#endif
|
458 |
case 'p':
|
459 |
type = TYPE_POINTER;
|
460 |
break;
|
461 |
case 'n':
|
462 |
#ifdef HAVE_LONG_LONG
|
463 |
if (flags >= 16 || (flags & 4))
|
464 |
type = TYPE_COUNT_LONGLONGINT_POINTER;
|
465 |
else
|
466 |
#endif
|
467 |
if (flags >= 8)
|
468 |
type = TYPE_COUNT_LONGINT_POINTER;
|
469 |
else if (flags & 2)
|
470 |
type = TYPE_COUNT_SCHAR_POINTER;
|
471 |
else if (flags & 1)
|
472 |
type = TYPE_COUNT_SHORT_POINTER;
|
473 |
else
|
474 |
type = TYPE_COUNT_INT_POINTER;
|
475 |
break;
|
476 |
case '%':
|
477 |
type = TYPE_NONE;
|
478 |
break;
|
479 |
default:
|
480 |
/* Unknown conversion character. */
|
481 |
goto error;
|
482 |
}
|
483 |
}
|
484 |
|
485 |
if (type != TYPE_NONE)
|
486 |
{
|
487 |
dp->arg_index = arg_index;
|
488 |
if (dp->arg_index == ARG_NONE)
|
489 |
{
|
490 |
dp->arg_index = arg_posn++;
|
491 |
if (dp->arg_index == ARG_NONE)
|
492 |
/* arg_posn wrapped around. */
|
493 |
goto error;
|
494 |
}
|
495 |
REGISTER_ARG (dp->arg_index, type);
|
496 |
}
|
497 |
dp->conversion = c;
|
498 |
dp->dir_end = cp;
|
499 |
}
|
500 |
|
501 |
d->count++;
|
502 |
if (d->count >= d_allocated)
|
503 |
{
|
504 |
size_t memory_size;
|
505 |
DIRECTIVE *memory;
|
506 |
|
507 |
d_allocated = xtimes (d_allocated, 2);
|
508 |
memory_size = xtimes (d_allocated, sizeof (DIRECTIVE));
|
509 |
if (size_overflow_p (memory_size))
|
510 |
/* Overflow, would lead to out of memory. */
|
511 |
goto error;
|
512 |
memory = realloc (d->dir, memory_size);
|
513 |
if (memory == NULL)
|
514 |
/* Out of memory. */
|
515 |
goto error;
|
516 |
d->dir = memory;
|
517 |
}
|
518 |
}
|
519 |
}
|
520 |
d->dir[d->count].dir_start = cp;
|
521 |
|
522 |
d->max_width_length = max_width_length;
|
523 |
d->max_precision_length = max_precision_length;
|
524 |
return 0;
|
525 |
|
526 |
error:
|
527 |
if (a->arg)
|
528 |
free (a->arg);
|
529 |
if (d->dir)
|
530 |
free (d->dir);
|
531 |
return -1;
|
532 |
}
|
533 |
|
534 |
#undef DIRECTIVES
|
535 |
#undef DIRECTIVE
|
536 |
#undef CHAR_T
|
537 |
#undef PRINTF_PARSE
|