1 /* Formatted output to strings.
2 Copyright (C) 1999-2000, 2002-2003, 2006-2021 Free Software Foundation, Inc.
4 This file is free software: you can redistribute it and/or modify
5 it under the terms of the GNU Lesser General Public License as
6 published by the Free Software Foundation; either version 2.1 of the
7 License, or (at your option) any later version.
9 This file 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 Lesser General Public License for more details.
14 You should have received a copy of the GNU Lesser General Public License
15 along with this program. If not, see <https://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. */
53 /* malloc(), realloc(), free(). */
62 /* Checked size_t computations. */
74 PRINTF_PARSE (const CHAR_T *format, DIRECTIVES *d, arguments *a)
76 const CHAR_T *cp = format; /* pointer into format */
77 size_t arg_posn = 0; /* number of regular arguments consumed */
78 size_t d_allocated; /* allocated elements of d->dir */
79 size_t a_allocated; /* allocated elements of a->arg */
80 size_t max_width_length = 0;
81 size_t max_precision_length = 0;
84 d_allocated = N_DIRECT_ALLOC_DIRECTIVES;
85 d->dir = d->direct_alloc_dir;
88 a_allocated = N_DIRECT_ALLOC_ARGUMENTS;
89 a->arg = a->direct_alloc_arg;
91 #define REGISTER_ARG(_index_,_type_) \
93 size_t n = (_index_); \
94 if (n >= a_allocated) \
99 a_allocated = xtimes (a_allocated, 2); \
100 if (a_allocated <= n) \
101 a_allocated = xsum (n, 1); \
102 memory_size = xtimes (a_allocated, sizeof (argument)); \
103 if (size_overflow_p (memory_size)) \
104 /* Overflow, would lead to out of memory. */ \
105 goto out_of_memory; \
106 memory = (argument *) (a->arg != a->direct_alloc_arg \
107 ? realloc (a->arg, memory_size) \
108 : malloc (memory_size)); \
109 if (memory == NULL) \
110 /* Out of memory. */ \
111 goto out_of_memory; \
112 if (a->arg == a->direct_alloc_arg) \
113 memcpy (memory, a->arg, a->count * sizeof (argument)); \
116 while (a->count <= n) \
117 a->arg[a->count++].type = TYPE_NONE; \
118 if (a->arg[n].type == TYPE_NONE) \
119 a->arg[n].type = (_type_); \
120 else if (a->arg[n].type != (_type_)) \
121 /* Ambiguous type for positional argument. */ \
130 size_t arg_index = ARG_NONE;
131 DIRECTIVE *dp = &d->dir[d->count]; /* pointer to next directive */
133 /* Initialize the next directive. */
134 dp->dir_start = cp - 1;
136 dp->width_start = NULL;
137 dp->width_end = NULL;
138 dp->width_arg_index = ARG_NONE;
139 dp->precision_start = NULL;
140 dp->precision_end = NULL;
141 dp->precision_arg_index = ARG_NONE;
142 dp->arg_index = ARG_NONE;
144 /* Test for positional argument. */
145 if (*cp >= '0' && *cp <= '9')
149 for (np = cp; *np >= '0' && *np <= '9'; np++)
155 for (np = cp; *np >= '0' && *np <= '9'; np++)
156 n = xsum (xtimes (n, 10), *np - '0');
158 /* Positional argument 0. */
160 if (size_overflow_p (n))
161 /* n too large, would lead to out of memory later. */
168 /* Read the flags. */
173 dp->flags |= FLAG_GROUP;
178 dp->flags |= FLAG_LEFT;
183 dp->flags |= FLAG_SHOWSIGN;
188 dp->flags |= FLAG_SPACE;
193 dp->flags |= FLAG_ALT;
198 dp->flags |= FLAG_ZERO;
201 #if __GLIBC__ >= 2 && !defined __UCLIBC__
204 dp->flags |= FLAG_LOCALIZED;
212 /* Parse the field width. */
215 dp->width_start = cp;
218 if (max_width_length < 1)
219 max_width_length = 1;
221 /* Test for positional argument. */
222 if (*cp >= '0' && *cp <= '9')
226 for (np = cp; *np >= '0' && *np <= '9'; np++)
232 for (np = cp; *np >= '0' && *np <= '9'; np++)
233 n = xsum (xtimes (n, 10), *np - '0');
235 /* Positional argument 0. */
237 if (size_overflow_p (n))
238 /* n too large, would lead to out of memory later. */
240 dp->width_arg_index = n - 1;
244 if (dp->width_arg_index == ARG_NONE)
246 dp->width_arg_index = arg_posn++;
247 if (dp->width_arg_index == ARG_NONE)
248 /* arg_posn wrapped around. */
251 REGISTER_ARG (dp->width_arg_index, TYPE_INT);
253 else if (*cp >= '0' && *cp <= '9')
257 dp->width_start = cp;
258 for (; *cp >= '0' && *cp <= '9'; cp++)
261 width_length = dp->width_end - dp->width_start;
262 if (max_width_length < width_length)
263 max_width_length = width_length;
266 /* Parse the precision. */
272 dp->precision_start = cp - 1;
274 dp->precision_end = cp;
275 if (max_precision_length < 2)
276 max_precision_length = 2;
278 /* Test for positional argument. */
279 if (*cp >= '0' && *cp <= '9')
283 for (np = cp; *np >= '0' && *np <= '9'; np++)
289 for (np = cp; *np >= '0' && *np <= '9'; np++)
290 n = xsum (xtimes (n, 10), *np - '0');
292 /* Positional argument 0. */
294 if (size_overflow_p (n))
295 /* n too large, would lead to out of memory
298 dp->precision_arg_index = n - 1;
302 if (dp->precision_arg_index == ARG_NONE)
304 dp->precision_arg_index = arg_posn++;
305 if (dp->precision_arg_index == ARG_NONE)
306 /* arg_posn wrapped around. */
309 REGISTER_ARG (dp->precision_arg_index, TYPE_INT);
313 size_t precision_length;
315 dp->precision_start = cp - 1;
316 for (; *cp >= '0' && *cp <= '9'; cp++)
318 dp->precision_end = cp;
319 precision_length = dp->precision_end - dp->precision_start;
320 if (max_precision_length < precision_length)
321 max_precision_length = precision_length;
328 /* Parse argument type/size specifiers. */
336 flags |= (1 << (flags & 1));
351 if (sizeof (intmax_t) > sizeof (long))
353 /* intmax_t = long long */
356 else if (sizeof (intmax_t) > sizeof (int))
358 /* intmax_t = long */
363 else if (*cp == 'z' || *cp == 'Z')
365 /* 'z' is standardized in ISO C 99, but glibc uses 'Z'
366 because the warning facility in gcc-2.95.2 understands
367 only 'Z' (see gcc-2.95.2/gcc/c-common.c:1784). */
368 if (sizeof (size_t) > sizeof (long))
370 /* size_t = long long */
373 else if (sizeof (size_t) > sizeof (int))
382 if (sizeof (ptrdiff_t) > sizeof (long))
384 /* ptrdiff_t = long long */
387 else if (sizeof (ptrdiff_t) > sizeof (int))
389 /* ptrdiff_t = long */
394 #if defined __APPLE__ && defined __MACH__
395 /* On Mac OS X 10.3, PRIdMAX is defined as "qd".
396 We cannot change it to "lld" because PRIdMAX must also
397 be understood by the system's printf routines. */
400 if (64 / 8 > sizeof (long))
402 /* int64_t = long long */
413 #if defined _WIN32 && ! defined __CYGWIN__
414 /* On native Windows, PRIdMAX is defined as "I64d".
415 We cannot change it to "lld" because PRIdMAX must also
416 be understood by the system's printf routines. */
417 else if (*cp == 'I' && cp[1] == '6' && cp[2] == '4')
419 if (64 / 8 > sizeof (long))
421 /* __int64 = long long */
436 /* Read the conversion character. */
441 /* If 'long long' is larger than 'long': */
442 if (flags >= 16 || (flags & 4))
443 type = TYPE_LONGLONGINT;
445 /* If 'long long' is the same as 'long', we parse "lld" into
456 case 'o': case 'u': case 'x': case 'X':
457 /* If 'unsigned long long' is larger than 'unsigned long': */
458 if (flags >= 16 || (flags & 4))
459 type = TYPE_ULONGLONGINT;
461 /* If 'unsigned long long' is the same as 'unsigned long', we
462 parse "llu" into TYPE_ULONGINT. */
464 type = TYPE_ULONGINT;
472 case 'f': case 'F': case 'e': case 'E': case 'g': case 'G':
474 if (flags >= 16 || (flags & 4))
475 type = TYPE_LONGDOUBLE;
482 type = TYPE_WIDE_CHAR;
491 type = TYPE_WIDE_CHAR;
498 type = TYPE_WIDE_STRING;
507 type = TYPE_WIDE_STRING;
515 /* If 'long long' is larger than 'long': */
516 if (flags >= 16 || (flags & 4))
517 type = TYPE_COUNT_LONGLONGINT_POINTER;
519 /* If 'long long' is the same as 'long', we parse "lln" into
520 TYPE_COUNT_LONGINT_POINTER. */
522 type = TYPE_COUNT_LONGINT_POINTER;
524 type = TYPE_COUNT_SCHAR_POINTER;
526 type = TYPE_COUNT_SHORT_POINTER;
528 type = TYPE_COUNT_INT_POINTER;
531 /* The unistdio extensions. */
534 type = TYPE_U32_STRING;
536 type = TYPE_U16_STRING;
538 type = TYPE_U8_STRING;
545 /* Unknown conversion character. */
550 if (type != TYPE_NONE)
552 dp->arg_index = arg_index;
553 if (dp->arg_index == ARG_NONE)
555 dp->arg_index = arg_posn++;
556 if (dp->arg_index == ARG_NONE)
557 /* arg_posn wrapped around. */
560 REGISTER_ARG (dp->arg_index, type);
567 if (d->count >= d_allocated)
572 d_allocated = xtimes (d_allocated, 2);
573 memory_size = xtimes (d_allocated, sizeof (DIRECTIVE));
574 if (size_overflow_p (memory_size))
575 /* Overflow, would lead to out of memory. */
577 memory = (DIRECTIVE *) (d->dir != d->direct_alloc_dir
578 ? realloc (d->dir, memory_size)
579 : malloc (memory_size));
583 if (d->dir == d->direct_alloc_dir)
584 memcpy (memory, d->dir, d->count * sizeof (DIRECTIVE));
588 #if CHAR_T_ONLY_ASCII
589 else if (!c_isascii (c))
591 /* Non-ASCII character. Not supported. */
596 d->dir[d->count].dir_start = cp;
598 d->max_width_length = max_width_length;
599 d->max_precision_length = max_precision_length;
603 if (a->arg != a->direct_alloc_arg)
605 if (d->dir != d->direct_alloc_dir)
611 if (a->arg != a->direct_alloc_arg)
613 if (d->dir != d->direct_alloc_dir)
622 #undef CHAR_T_ONLY_ASCII