1 /* Internal header for parsing printf format strings.
2 Copyright (C) 1995-1999, 2000, 2002 Free Software Foundation, Inc.
3 This file is part of th GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, write to the Free
17 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
33 /* Information parsed from the format spec. */
34 struct printf_info info;
36 /* Pointers into the format string for the end of this format
37 spec and the next (or to the end of the string if no more). */
38 const UCHAR_T *end_of_fmt, *next_fmt;
40 /* Position of arguments for precision and width, or -1 if `info' has
41 the constant value. */
42 int prec_arg, width_arg;
44 int data_arg; /* Position of data argument. */
45 int data_arg_type; /* Type of first argument. */
46 /* Number of arguments consumed by this format specifier. */
51 /* The various kinds off arguments that can be passed to printf. */
54 unsigned char pa_char;
56 short int pa_short_int;
59 long long int pa_long_long_int;
60 unsigned short int pa_u_short_int;
61 unsigned int pa_u_int;
62 unsigned long int pa_u_long_int;
63 unsigned long long int pa_u_long_long_int;
66 long double pa_long_double;
67 const char *pa_string;
68 const wchar_t *pa_wstring;
73 /* Read a simple integer from a string and update the string pointer.
74 It is assumed that the first character is a digit. */
75 static inline unsigned int
76 read_int (const UCHAR_T * *pstr)
78 unsigned int retval = **pstr - L_('0');
80 while (ISDIGIT (*++(*pstr)))
83 retval += **pstr - L_('0');
91 /* Find the next spec in FORMAT, or the end of the string. Returns
92 a pointer into FORMAT, to a '%' or a '\0'. */
93 static inline const UCHAR_T *
94 #ifdef COMPILE_WPRINTF
95 find_spec (const UCHAR_T *format)
97 find_spec (const UCHAR_T *format, mbstate_t *ps)
100 #ifdef COMPILE_WPRINTF
101 return (const UCHAR_T *) __wcschrnul ((const CHAR_T *) format, L'%');
103 while (*format != L_('\0') && *format != L_('%'))
107 /* Remove any hints of a wrong encoding. */
109 if (! isascii (*format) && (len = __mbrlen (format, MB_CUR_MAX, ps)) > 0)
119 /* These are defined in reg-printf.c. */
120 extern printf_arginfo_function *__printf_arginfo_table[] attribute_hidden;
121 extern printf_function **__printf_function_table attribute_hidden;
124 /* FORMAT must point to a '%' at the beginning of a spec. Fills in *SPEC
125 with the parsed details. POSN is the number of arguments already
126 consumed. At most MAXTYPES - POSN types are filled in TYPES. Return
127 the number of args consumed by this spec; *MAX_REF_ARG is updated so it
128 remains the highest argument index used. */
130 #ifdef COMPILE_WPRINTF
131 parse_one_spec (const UCHAR_T *format, size_t posn, struct printf_spec *spec,
134 parse_one_spec (const UCHAR_T *format, size_t posn, struct printf_spec *spec,
135 size_t *max_ref_arg, mbstate_t *ps)
144 /* Clear information structure. */
147 spec->info.space = 0;
149 spec->info.showsign = 0;
150 spec->info.group = 0;
152 spec->info.pad = ' ';
153 spec->info.wide = sizeof (UCHAR_T) > 1;
155 /* Test for positional argument. */
156 if (ISDIGIT (*format))
158 const UCHAR_T *begin = format;
160 n = read_int (&format);
162 if (n > 0 && *format == L_('$'))
163 /* Is positional parameter. */
165 ++format; /* Skip the '$'. */
166 spec->data_arg = n - 1;
167 *max_ref_arg = MAX (*max_ref_arg, n);
170 /* Oops; that was actually the width and/or 0 padding flag.
171 Step back and read it again. */
175 /* Check for spec modifiers. */
181 /* Output a space in place of a sign, when there is no sign. */
182 spec->info.space = 1;
185 /* Always output + or - for numbers. */
186 spec->info.showsign = 1;
189 /* Left-justify things. */
193 /* Use the "alternate form":
194 Hex has 0x or 0X, FP always has a decimal point. */
199 spec->info.pad = '0';
202 /* Show grouping in numbers if the locale information
204 spec->info.group = 1;
207 /* Use the internationalized form of the output. Currently
208 means to use the `outdigits' of the current locale. */
219 spec->info.pad = ' ';
221 /* Get the field width. */
222 spec->width_arg = -1;
223 spec->info.width = 0;
224 if (*format == L_('*'))
226 /* The field width is given in an argument.
227 A negative field width indicates left justification. */
228 const UCHAR_T *begin = ++format;
230 if (ISDIGIT (*format))
232 /* The width argument might be found in a positional parameter. */
233 n = read_int (&format);
235 if (n > 0 && *format == L_('$'))
237 spec->width_arg = n - 1;
238 *max_ref_arg = MAX (*max_ref_arg, n);
239 ++format; /* Skip '$'. */
243 if (spec->width_arg < 0)
245 /* Not in a positional parameter. Consume one argument. */
246 spec->width_arg = posn++;
248 format = begin; /* Step back and reread. */
251 else if (ISDIGIT (*format))
252 /* Constant width specification. */
253 spec->info.width = read_int (&format);
255 /* Get the precision. */
257 /* -1 means none given; 0 means explicit 0. */
258 spec->info.prec = -1;
259 if (*format == L_('.'))
262 if (*format == L_('*'))
264 /* The precision is given in an argument. */
265 const UCHAR_T *begin = ++format;
267 if (ISDIGIT (*format))
269 n = read_int (&format);
271 if (n > 0 && *format == L_('$'))
273 spec->prec_arg = n - 1;
274 *max_ref_arg = MAX (*max_ref_arg, n);
279 if (spec->prec_arg < 0)
281 /* Not in a positional parameter. */
282 spec->prec_arg = posn++;
287 else if (ISDIGIT (*format))
288 spec->info.prec = read_int (&format);
290 /* "%.?" is treated like "%.0?". */
294 /* Check for type modifiers. */
295 spec->info.is_long_double = 0;
296 spec->info.is_short = 0;
297 spec->info.is_long = 0;
298 spec->info.is_char = 0;
303 /* ints are short ints or chars. */
304 if (*format != L_('h'))
305 spec->info.is_short = 1;
309 spec->info.is_char = 1;
313 /* ints are long ints. */
314 spec->info.is_long = 1;
315 if (*format != L_('l'))
320 /* doubles are long doubles, and ints are long long ints. */
322 /* 4.4 uses this for long long. */
323 spec->info.is_long_double = 1;
327 /* ints are size_ts. */
328 assert (sizeof (size_t) <= sizeof (unsigned long long int));
329 #if LONG_MAX != LONG_LONG_MAX
330 spec->info.is_long_double = sizeof (size_t) > sizeof (unsigned long int);
332 spec->info.is_long = sizeof (size_t) > sizeof (unsigned int);
335 assert (sizeof (ptrdiff_t) <= sizeof (long long int));
336 #if LONG_MAX != LONG_LONG_MAX
337 spec->info.is_long_double = (sizeof (ptrdiff_t) > sizeof (long int));
339 spec->info.is_long = sizeof (ptrdiff_t) > sizeof (int);
342 assert (sizeof (uintmax_t) <= sizeof (unsigned long long int));
343 #if LONG_MAX != LONG_LONG_MAX
344 spec->info.is_long_double = (sizeof (uintmax_t)
345 > sizeof (unsigned long int));
347 spec->info.is_long = sizeof (uintmax_t) > sizeof (unsigned int);
350 /* Not a recognized modifier. Backup. */
355 /* Get the format specification. */
356 spec->info.spec = (wchar_t) *format++;
357 if (__printf_function_table != NULL
358 && spec->info.spec <= UCHAR_MAX
359 && __printf_arginfo_table[spec->info.spec] != NULL)
360 /* We don't try to get the types for all arguments if the format
361 uses more than one. The normal case is covered though. */
362 spec->ndata_args = (*__printf_arginfo_table[spec->info.spec])
363 (&spec->info, 1, &spec->data_arg_type);
366 /* Find the data argument types of a built-in spec. */
367 spec->ndata_args = 1;
369 switch (spec->info.spec)
377 #if LONG_MAX != LONG_LONG_MAX
378 if (spec->info.is_long_double)
379 spec->data_arg_type = PA_INT|PA_FLAG_LONG_LONG;
382 if (spec->info.is_long)
383 spec->data_arg_type = PA_INT|PA_FLAG_LONG;
384 else if (spec->info.is_short)
385 spec->data_arg_type = PA_INT|PA_FLAG_SHORT;
386 else if (spec->info.is_char)
387 spec->data_arg_type = PA_CHAR;
389 spec->data_arg_type = PA_INT;
399 if (spec->info.is_long_double)
400 spec->data_arg_type = PA_DOUBLE|PA_FLAG_LONG_DOUBLE;
402 spec->data_arg_type = PA_DOUBLE;
405 spec->data_arg_type = PA_CHAR;
408 spec->data_arg_type = PA_WCHAR;
411 spec->data_arg_type = PA_STRING;
414 spec->data_arg_type = PA_WSTRING;
417 spec->data_arg_type = PA_POINTER;
420 spec->data_arg_type = PA_INT|PA_FLAG_PTR;
425 /* An unknown spec will consume no args. */
426 spec->ndata_args = 0;
431 if (spec->data_arg == -1 && spec->ndata_args > 0)
433 /* There are args consumed, but no positional spec. Use the
434 next sequential arg position. */
435 spec->data_arg = posn;
436 nargs += spec->ndata_args;
439 if (spec->info.spec == L'\0')
440 /* Format ended before this spec was complete. */
441 spec->end_of_fmt = spec->next_fmt = format - 1;
444 /* Find the next format spec. */
445 spec->end_of_fmt = format;
446 #ifdef COMPILE_WPRINTF
447 spec->next_fmt = find_spec (format);
449 spec->next_fmt = find_spec (format, ps);