1 /* Formatted output to strings.
2 Copyright (C) 1999-2000, 2002-2003, 2006-2016 Free Software Foundation, Inc.
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2, or (at your option)
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
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License along
15 with this program; if not, see <http://www.gnu.org/licenses/>. */
17 /* This file can be parametrized with the following macros:
18 CHAR_T The element type of the format string.
19 CHAR_T_ONLY_ASCII Set to 1 to enable verification that all characters
20 in the format string are ASCII.
21 DIRECTIVE Structure denoting a format directive.
23 DIRECTIVES Structure denoting the set of format directives of a
24 format string. Depends on CHAR_T.
25 PRINTF_PARSE Function that parses a format string.
27 STATIC Set to 'static' to declare the function static.
28 ENABLE_UNISTDIO Set to 1 to enable the unistdio extensions. */
36 # include "printf-parse.h"
39 /* Default parameters. */
41 # define PRINTF_PARSE printf_parse
43 # define DIRECTIVE char_directive
44 # define DIRECTIVES char_directives
47 /* Get size_t, NULL. */
51 #if defined IN_LIBINTL || defined IN_LIBASPRINTF
52 # if HAVE_STDINT_H_WITH_UINTMAX
55 # if HAVE_INTTYPES_H_WITH_UINTMAX
56 # include <inttypes.h>
62 /* malloc(), realloc(), free(). */
71 /* Checked size_t computations. */
83 PRINTF_PARSE (const CHAR_T *format, DIRECTIVES *d, arguments *a)
85 const CHAR_T *cp = format; /* pointer into format */
86 size_t arg_posn = 0; /* number of regular arguments consumed */
87 size_t d_allocated; /* allocated elements of d->dir */
88 size_t a_allocated; /* allocated elements of a->arg */
89 size_t max_width_length = 0;
90 size_t max_precision_length = 0;
93 d_allocated = N_DIRECT_ALLOC_DIRECTIVES;
94 d->dir = d->direct_alloc_dir;
97 a_allocated = N_DIRECT_ALLOC_ARGUMENTS;
98 a->arg = a->direct_alloc_arg;
100 #define REGISTER_ARG(_index_,_type_) \
102 size_t n = (_index_); \
103 if (n >= a_allocated) \
105 size_t memory_size; \
108 a_allocated = xtimes (a_allocated, 2); \
109 if (a_allocated <= n) \
110 a_allocated = xsum (n, 1); \
111 memory_size = xtimes (a_allocated, sizeof (argument)); \
112 if (size_overflow_p (memory_size)) \
113 /* Overflow, would lead to out of memory. */ \
114 goto out_of_memory; \
115 memory = (argument *) (a->arg != a->direct_alloc_arg \
116 ? realloc (a->arg, memory_size) \
117 : malloc (memory_size)); \
118 if (memory == NULL) \
119 /* Out of memory. */ \
120 goto out_of_memory; \
121 if (a->arg == a->direct_alloc_arg) \
122 memcpy (memory, a->arg, a->count * sizeof (argument)); \
125 while (a->count <= n) \
126 a->arg[a->count++].type = TYPE_NONE; \
127 if (a->arg[n].type == TYPE_NONE) \
128 a->arg[n].type = (_type_); \
129 else if (a->arg[n].type != (_type_)) \
130 /* Ambiguous type for positional argument. */ \
139 size_t arg_index = ARG_NONE;
140 DIRECTIVE *dp = &d->dir[d->count]; /* pointer to next directive */
142 /* Initialize the next directive. */
143 dp->dir_start = cp - 1;
145 dp->width_start = NULL;
146 dp->width_end = NULL;
147 dp->width_arg_index = ARG_NONE;
148 dp->precision_start = NULL;
149 dp->precision_end = NULL;
150 dp->precision_arg_index = ARG_NONE;
151 dp->arg_index = ARG_NONE;
153 /* Test for positional argument. */
154 if (*cp >= '0' && *cp <= '9')
158 for (np = cp; *np >= '0' && *np <= '9'; np++)
164 for (np = cp; *np >= '0' && *np <= '9'; np++)
165 n = xsum (xtimes (n, 10), *np - '0');
167 /* Positional argument 0. */
169 if (size_overflow_p (n))
170 /* n too large, would lead to out of memory later. */
177 /* Read the flags. */
182 dp->flags |= FLAG_GROUP;
187 dp->flags |= FLAG_LEFT;
192 dp->flags |= FLAG_SHOWSIGN;
197 dp->flags |= FLAG_SPACE;
202 dp->flags |= FLAG_ALT;
207 dp->flags |= FLAG_ZERO;
210 #if __GLIBC__ >= 2 && !defined __UCLIBC__
213 dp->flags |= FLAG_LOCALIZED;
221 /* Parse the field width. */
224 dp->width_start = cp;
227 if (max_width_length < 1)
228 max_width_length = 1;
230 /* Test for positional argument. */
231 if (*cp >= '0' && *cp <= '9')
235 for (np = cp; *np >= '0' && *np <= '9'; np++)
241 for (np = cp; *np >= '0' && *np <= '9'; np++)
242 n = xsum (xtimes (n, 10), *np - '0');
244 /* Positional argument 0. */
246 if (size_overflow_p (n))
247 /* n too large, would lead to out of memory later. */
249 dp->width_arg_index = n - 1;
253 if (dp->width_arg_index == ARG_NONE)
255 dp->width_arg_index = arg_posn++;
256 if (dp->width_arg_index == ARG_NONE)
257 /* arg_posn wrapped around. */
260 REGISTER_ARG (dp->width_arg_index, TYPE_INT);
262 else if (*cp >= '0' && *cp <= '9')
266 dp->width_start = cp;
267 for (; *cp >= '0' && *cp <= '9'; cp++)
270 width_length = dp->width_end - dp->width_start;
271 if (max_width_length < width_length)
272 max_width_length = width_length;
275 /* Parse the precision. */
281 dp->precision_start = cp - 1;
283 dp->precision_end = cp;
284 if (max_precision_length < 2)
285 max_precision_length = 2;
287 /* Test for positional argument. */
288 if (*cp >= '0' && *cp <= '9')
292 for (np = cp; *np >= '0' && *np <= '9'; np++)
298 for (np = cp; *np >= '0' && *np <= '9'; np++)
299 n = xsum (xtimes (n, 10), *np - '0');
301 /* Positional argument 0. */
303 if (size_overflow_p (n))
304 /* n too large, would lead to out of memory
307 dp->precision_arg_index = n - 1;
311 if (dp->precision_arg_index == ARG_NONE)
313 dp->precision_arg_index = arg_posn++;
314 if (dp->precision_arg_index == ARG_NONE)
315 /* arg_posn wrapped around. */
318 REGISTER_ARG (dp->precision_arg_index, TYPE_INT);
322 size_t precision_length;
324 dp->precision_start = cp - 1;
325 for (; *cp >= '0' && *cp <= '9'; cp++)
327 dp->precision_end = cp;
328 precision_length = dp->precision_end - dp->precision_start;
329 if (max_precision_length < precision_length)
330 max_precision_length = precision_length;
337 /* Parse argument type/size specifiers. */
345 flags |= (1 << (flags & 1));
360 if (sizeof (intmax_t) > sizeof (long))
362 /* intmax_t = long long */
365 else if (sizeof (intmax_t) > sizeof (int))
367 /* intmax_t = long */
372 else if (*cp == 'z' || *cp == 'Z')
374 /* 'z' is standardized in ISO C 99, but glibc uses 'Z'
375 because the warning facility in gcc-2.95.2 understands
376 only 'Z' (see gcc-2.95.2/gcc/c-common.c:1784). */
377 if (sizeof (size_t) > sizeof (long))
379 /* size_t = long long */
382 else if (sizeof (size_t) > sizeof (int))
391 if (sizeof (ptrdiff_t) > sizeof (long))
393 /* ptrdiff_t = long long */
396 else if (sizeof (ptrdiff_t) > sizeof (int))
398 /* ptrdiff_t = long */
403 #if defined __APPLE__ && defined __MACH__
404 /* On Mac OS X 10.3, PRIdMAX is defined as "qd".
405 We cannot change it to "lld" because PRIdMAX must also
406 be understood by the system's printf routines. */
409 if (64 / 8 > sizeof (long))
411 /* int64_t = long long */
422 #if (defined _WIN32 || defined __WIN32__) && ! defined __CYGWIN__
423 /* On native Windows, PRIdMAX is defined as "I64d".
424 We cannot change it to "lld" because PRIdMAX must also
425 be understood by the system's printf routines. */
426 else if (*cp == 'I' && cp[1] == '6' && cp[2] == '4')
428 if (64 / 8 > sizeof (long))
430 /* __int64 = long long */
445 /* Read the conversion character. */
450 #if HAVE_LONG_LONG_INT
451 /* If 'long long' exists and is larger than 'long': */
452 if (flags >= 16 || (flags & 4))
453 type = TYPE_LONGLONGINT;
456 /* If 'long long' exists and is the same as 'long', we parse
457 "lld" into TYPE_LONGINT. */
467 case 'o': case 'u': case 'x': case 'X':
468 #if HAVE_LONG_LONG_INT
469 /* If 'long long' exists and is larger than 'long': */
470 if (flags >= 16 || (flags & 4))
471 type = TYPE_ULONGLONGINT;
474 /* If 'unsigned long long' exists and is the same as
475 'unsigned long', we parse "llu" into TYPE_ULONGINT. */
477 type = TYPE_ULONGINT;
485 case 'f': case 'F': case 'e': case 'E': case 'g': case 'G':
487 if (flags >= 16 || (flags & 4))
488 type = TYPE_LONGDOUBLE;
495 type = TYPE_WIDE_CHAR;
504 type = TYPE_WIDE_CHAR;
511 type = TYPE_WIDE_STRING;
520 type = TYPE_WIDE_STRING;
528 #if HAVE_LONG_LONG_INT
529 /* If 'long long' exists and is larger than 'long': */
530 if (flags >= 16 || (flags & 4))
531 type = TYPE_COUNT_LONGLONGINT_POINTER;
534 /* If 'long long' exists and is the same as 'long', we parse
535 "lln" into TYPE_COUNT_LONGINT_POINTER. */
537 type = TYPE_COUNT_LONGINT_POINTER;
539 type = TYPE_COUNT_SCHAR_POINTER;
541 type = TYPE_COUNT_SHORT_POINTER;
543 type = TYPE_COUNT_INT_POINTER;
546 /* The unistdio extensions. */
549 type = TYPE_U32_STRING;
551 type = TYPE_U16_STRING;
553 type = TYPE_U8_STRING;
560 /* Unknown conversion character. */
565 if (type != TYPE_NONE)
567 dp->arg_index = arg_index;
568 if (dp->arg_index == ARG_NONE)
570 dp->arg_index = arg_posn++;
571 if (dp->arg_index == ARG_NONE)
572 /* arg_posn wrapped around. */
575 REGISTER_ARG (dp->arg_index, type);
582 if (d->count >= d_allocated)
587 d_allocated = xtimes (d_allocated, 2);
588 memory_size = xtimes (d_allocated, sizeof (DIRECTIVE));
589 if (size_overflow_p (memory_size))
590 /* Overflow, would lead to out of memory. */
592 memory = (DIRECTIVE *) (d->dir != d->direct_alloc_dir
593 ? realloc (d->dir, memory_size)
594 : malloc (memory_size));
598 if (d->dir == d->direct_alloc_dir)
599 memcpy (memory, d->dir, d->count * sizeof (DIRECTIVE));
603 #if CHAR_T_ONLY_ASCII
604 else if (!c_isascii (c))
606 /* Non-ASCII character. Not supported. */
611 d->dir[d->count].dir_start = cp;
613 d->max_width_length = max_width_length;
614 d->max_precision_length = max_precision_length;
618 if (a->arg != a->direct_alloc_arg)
620 if (d->dir != d->direct_alloc_dir)
626 if (a->arg != a->direct_alloc_arg)
628 if (d->dir != d->direct_alloc_dir)
637 #undef CHAR_T_ONLY_ASCII