← Back to branch summary

~ubuntu-branches/ubuntu/trusty/grub2/trusty-updates

« back to all changes in this revision

Viewing changes to grub-core/gnulib/printf-parse.c

Tags: upstream-1.99~20101122
Import upstream version 1.99~20101122

Show diffs side-by-side

added added

removed removed

Lines of Context:
grub-core/gnulib/printf-parse.c
 
1
/* Formatted output to strings.
 
2
   Copyright (C) 1999-2000, 2002-2003, 2006-2010 Free Software Foundation, Inc.
 
3
 
 
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 3, 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
 
12
   GNU General Public License for more details.
 
13
 
 
14
   You should have received a copy of the GNU General Public License along
 
15
   with this program; if not, write to the Free Software Foundation,
 
16
   Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
 
17
 
 
18
/* This file can be parametrized with the following macros:
 
19
     CHAR_T             The element type of the format string.
 
20
     CHAR_T_ONLY_ASCII  Set to 1 to enable verification that all characters
 
21
                        in the format string are ASCII.
 
22
     DIRECTIVE          Structure denoting a format directive.
 
23
                        Depends on CHAR_T.
 
24
     DIRECTIVES         Structure denoting the set of format directives of a
 
25
                        format string.  Depends on CHAR_T.
 
26
     PRINTF_PARSE       Function that parses a format string.
 
27
                        Depends on CHAR_T.
 
28
     STATIC             Set to 'static' to declare the function static.
 
29
     ENABLE_UNISTDIO    Set to 1 to enable the unistdio extensions.  */
 
30
 
 
31
#ifndef PRINTF_PARSE
 
32
# include <config.h>
 
33
#endif
 
34
 
 
35
/* Specification.  */
 
36
#ifndef PRINTF_PARSE
 
37
# include "printf-parse.h"
 
38
#endif
 
39
 
 
40
/* Default parameters.  */
 
41
#ifndef PRINTF_PARSE
 
42
# define PRINTF_PARSE printf_parse
 
43
# define CHAR_T char
 
44
# define DIRECTIVE char_directive
 
45
# define DIRECTIVES char_directives
 
46
#endif
 
47
 
 
48
/* Get size_t, NULL.  */
 
49
#include <stddef.h>
 
50
 
 
51
/* Get intmax_t.  */
 
52
#if defined IN_LIBINTL || defined IN_LIBASPRINTF
 
53
# if HAVE_STDINT_H_WITH_UINTMAX
 
54
#  include <stdint.h>
 
55
# endif
 
56
# if HAVE_INTTYPES_H_WITH_UINTMAX
 
57
#  include <inttypes.h>
 
58
# endif
 
59
#else
 
60
# include <stdint.h>
 
61
#endif
 
62
 
 
63
/* malloc(), realloc(), free().  */
 
64
#include <stdlib.h>
 
65
 
 
66
/* errno.  */
 
67
#include <errno.h>
 
68
 
 
69
/* Checked size_t computations.  */
 
70
#include "xsize.h"
 
71
 
 
72
#if CHAR_T_ONLY_ASCII
 
73
/* c_isascii().  */
 
74
# include "c-ctype.h"
 
75
#endif
 
76
 
 
77
#ifdef STATIC
 
78
STATIC
 
79
#endif
 
80
int
 
81
PRINTF_PARSE (const CHAR_T *format, DIRECTIVES *d, arguments *a)
 
82
{
 
83
  const CHAR_T *cp = format;            /* pointer into format */
 
84
  size_t arg_posn = 0;          /* number of regular arguments consumed */
 
85
  size_t d_allocated;                   /* allocated elements of d->dir */
 
86
  size_t a_allocated;                   /* allocated elements of a->arg */
 
87
  size_t max_width_length = 0;
 
88
  size_t max_precision_length = 0;
 
89
 
 
90
  d->count = 0;
 
91
  d_allocated = 1;
 
92
  d->dir = (DIRECTIVE *) malloc (d_allocated * sizeof (DIRECTIVE));
 
93
  if (d->dir == NULL)
 
94
    /* Out of memory.  */
 
95
    goto out_of_memory_1;
 
96
 
 
97
  a->count = 0;
 
98
  a_allocated = 0;
 
99
  a->arg = NULL;
 
100
 
 
101
#define REGISTER_ARG(_index_,_type_) \
 
102
  {                                                                     \
 
103
    size_t n = (_index_);                                               \
 
104
    if (n >= a_allocated)                                               \
 
105
      {                                                                 \
 
106
        size_t memory_size;                                             \
 
107
        argument *memory;                                               \
 
108
                                                                        \
 
109
        a_allocated = xtimes (a_allocated, 2);                          \
 
110
        if (a_allocated <= n)                                           \
 
111
          a_allocated = xsum (n, 1);                                    \
 
112
        memory_size = xtimes (a_allocated, sizeof (argument));          \
 
113
        if (size_overflow_p (memory_size))                              \
 
114
          /* Overflow, would lead to out of memory.  */                 \
 
115
          goto out_of_memory;                                           \
 
116
        memory = (argument *) (a->arg                                   \
 
117
                               ? realloc (a->arg, memory_size)          \
 
118
                               : malloc (memory_size));                 \
 
119
        if (memory == NULL)                                             \
 
120
          /* Out of memory.  */                                         \
 
121
          goto out_of_memory;                                           \
 
122
        a->arg = memory;                                                \
 
123
      }                                                                 \
 
124
    while (a->count <= n)                                               \
 
125
      a->arg[a->count++].type = TYPE_NONE;                              \
 
126
    if (a->arg[n].type == TYPE_NONE)                                    \
 
127
      a->arg[n].type = (_type_);                                        \
 
128
    else if (a->arg[n].type != (_type_))                                \
 
129
      /* Ambiguous type for positional argument.  */                    \
 
130
      goto error;                                                       \
 
131
  }
 
132
 
 
133
  while (*cp != '\0')
 
134
    {
 
135
      CHAR_T c = *cp++;
 
136
      if (c == '%')
 
137
        {
 
138
          size_t arg_index = ARG_NONE;
 
139
          DIRECTIVE *dp = &d->dir[d->count]; /* pointer to next directive */
 
140
 
 
141
          /* Initialize the next directive.  */
 
142
          dp->dir_start = cp - 1;
 
143
          dp->flags = 0;
 
144
          dp->width_start = NULL;
 
145
          dp->width_end = NULL;
 
146
          dp->width_arg_index = ARG_NONE;
 
147
          dp->precision_start = NULL;
 
148
          dp->precision_end = NULL;
 
149
          dp->precision_arg_index = ARG_NONE;
 
150
          dp->arg_index = ARG_NONE;
 
151
 
 
152
          /* Test for positional argument.  */
 
153
          if (*cp >= '0' && *cp <= '9')
 
154
            {
 
155
              const CHAR_T *np;
 
156
 
 
157
              for (np = cp; *np >= '0' && *np <= '9'; np++)
 
158
                ;
 
159
              if (*np == '$')
 
160
                {
 
161
                  size_t n = 0;
 
162
 
 
163
                  for (np = cp; *np >= '0' && *np <= '9'; np++)
 
164
                    n = xsum (xtimes (n, 10), *np - '0');
 
165
                  if (n == 0)
 
166
                    /* Positional argument 0.  */
 
167
                    goto error;
 
168
                  if (size_overflow_p (n))
 
169
                    /* n too large, would lead to out of memory later.  */
 
170
                    goto error;
 
171
                  arg_index = n - 1;
 
172
                  cp = np + 1;
 
173
                }
 
174
            }
 
175
 
 
176
          /* Read the flags.  */
 
177
          for (;;)
 
178
            {
 
179
              if (*cp == '\'')
 
180
                {
 
181
                  dp->flags |= FLAG_GROUP;
 
182
                  cp++;
 
183
                }
 
184
              else if (*cp == '-')
 
185
                {
 
186
                  dp->flags |= FLAG_LEFT;
 
187
                  cp++;
 
188
                }
 
189
              else if (*cp == '+')
 
190
                {
 
191
                  dp->flags |= FLAG_SHOWSIGN;
 
192
                  cp++;
 
193
                }
 
194
              else if (*cp == ' ')
 
195
                {
 
196
                  dp->flags |= FLAG_SPACE;
 
197
                  cp++;
 
198
                }
 
199
              else if (*cp == '#')
 
200
                {
 
201
                  dp->flags |= FLAG_ALT;
 
202
                  cp++;
 
203
                }
 
204
              else if (*cp == '0')
 
205
                {
 
206
                  dp->flags |= FLAG_ZERO;
 
207
                  cp++;
 
208
                }
 
209
              else
 
210
                break;
 
211
            }
 
212
 
 
213
          /* Parse the field width.  */
 
214
          if (*cp == '*')
 
215
            {
 
216
              dp->width_start = cp;
 
217
              cp++;
 
218
              dp->width_end = cp;
 
219
              if (max_width_length < 1)
 
220
                max_width_length = 1;
 
221
 
 
222
              /* Test for positional argument.  */
 
223
              if (*cp >= '0' && *cp <= '9')
 
224
                {
 
225
                  const CHAR_T *np;
 
226
 
 
227
                  for (np = cp; *np >= '0' && *np <= '9'; np++)
 
228
                    ;
 
229
                  if (*np == '$')
 
230
                    {
 
231
                      size_t n = 0;
 
232
 
 
233
                      for (np = cp; *np >= '0' && *np <= '9'; np++)
 
234
                        n = xsum (xtimes (n, 10), *np - '0');
 
235
                      if (n == 0)
 
236
                        /* Positional argument 0.  */
 
237
                        goto error;
 
238
                      if (size_overflow_p (n))
 
239
                        /* n too large, would lead to out of memory later.  */
 
240
                        goto error;
 
241
                      dp->width_arg_index = n - 1;
 
242
                      cp = np + 1;
 
243
                    }
 
244
                }
 
245
              if (dp->width_arg_index == ARG_NONE)
 
246
                {
 
247
                  dp->width_arg_index = arg_posn++;
 
248
                  if (dp->width_arg_index == ARG_NONE)
 
249
                    /* arg_posn wrapped around.  */
 
250
                    goto error;
 
251
                }
 
252
              REGISTER_ARG (dp->width_arg_index, TYPE_INT);
 
253
            }
 
254
          else if (*cp >= '0' && *cp <= '9')
 
255
            {
 
256
              size_t width_length;
 
257
 
 
258
              dp->width_start = cp;
 
259
              for (; *cp >= '0' && *cp <= '9'; cp++)
 
260
                ;
 
261
              dp->width_end = cp;
 
262
              width_length = dp->width_end - dp->width_start;
 
263
              if (max_width_length < width_length)
 
264
                max_width_length = width_length;
 
265
            }
 
266
 
 
267
          /* Parse the precision.  */
 
268
          if (*cp == '.')
 
269
            {
 
270
              cp++;
 
271
              if (*cp == '*')
 
272
                {
 
273
                  dp->precision_start = cp - 1;
 
274
                  cp++;
 
275
                  dp->precision_end = cp;
 
276
                  if (max_precision_length < 2)
 
277
                    max_precision_length = 2;
 
278
 
 
279
                  /* Test for positional argument.  */
 
280
                  if (*cp >= '0' && *cp <= '9')
 
281
                    {
 
282
                      const CHAR_T *np;
 
283
 
 
284
                      for (np = cp; *np >= '0' && *np <= '9'; np++)
 
285
                        ;
 
286
                      if (*np == '$')
 
287
                        {
 
288
                          size_t n = 0;
 
289
 
 
290
                          for (np = cp; *np >= '0' && *np <= '9'; np++)
 
291
                            n = xsum (xtimes (n, 10), *np - '0');
 
292
                          if (n == 0)
 
293
                            /* Positional argument 0.  */
 
294
                            goto error;
 
295
                          if (size_overflow_p (n))
 
296
                            /* n too large, would lead to out of memory
 
297
                               later.  */
 
298
                            goto error;
 
299
                          dp->precision_arg_index = n - 1;
 
300
                          cp = np + 1;
 
301
                        }
 
302
                    }
 
303
                  if (dp->precision_arg_index == ARG_NONE)
 
304
                    {
 
305
                      dp->precision_arg_index = arg_posn++;
 
306
                      if (dp->precision_arg_index == ARG_NONE)
 
307
                        /* arg_posn wrapped around.  */
 
308
                        goto error;
 
309
                    }
 
310
                  REGISTER_ARG (dp->precision_arg_index, TYPE_INT);
 
311
                }
 
312
              else
 
313
                {
 
314
                  size_t precision_length;
 
315
 
 
316
                  dp->precision_start = cp - 1;
 
317
                  for (; *cp >= '0' && *cp <= '9'; cp++)
 
318
                    ;
 
319
                  dp->precision_end = cp;
 
320
                  precision_length = dp->precision_end - dp->precision_start;
 
321
                  if (max_precision_length < precision_length)
 
322
                    max_precision_length = precision_length;
 
323
                }
 
324
            }
 
325
 
 
326
          {
 
327
            arg_type type;
 
328
 
 
329
            /* Parse argument type/size specifiers.  */
 
330
            {
 
331
              int flags = 0;
 
332
 
 
333
              for (;;)
 
334
                {
 
335
                  if (*cp == 'h')
 
336
                    {
 
337
                      flags |= (1 << (flags & 1));
 
338
                      cp++;
 
339
                    }
 
340
                  else if (*cp == 'L')
 
341
                    {
 
342
                      flags |= 4;
 
343
                      cp++;
 
344
                    }
 
345
                  else if (*cp == 'l')
 
346
                    {
 
347
                      flags += 8;
 
348
                      cp++;
 
349
                    }
 
350
                  else if (*cp == 'j')
 
351
                    {
 
352
                      if (sizeof (intmax_t) > sizeof (long))
 
353
                        {
 
354
                          /* intmax_t = long long */
 
355
                          flags += 16;
 
356
                        }
 
357
                      else if (sizeof (intmax_t) > sizeof (int))
 
358
                        {
 
359
                          /* intmax_t = long */
 
360
                          flags += 8;
 
361
                        }
 
362
                      cp++;
 
363
                    }
 
364
                  else if (*cp == 'z' || *cp == 'Z')
 
365
                    {
 
366
                      /* 'z' is standardized in ISO C 99, but glibc uses 'Z'
 
367
                         because the warning facility in gcc-2.95.2 understands
 
368
                         only 'Z' (see gcc-2.95.2/gcc/c-common.c:1784).  */
 
369
                      if (sizeof (size_t) > sizeof (long))
 
370
                        {
 
371
                          /* size_t = long long */
 
372
                          flags += 16;
 
373
                        }
 
374
                      else if (sizeof (size_t) > sizeof (int))
 
375
                        {
 
376
                          /* size_t = long */
 
377
                          flags += 8;
 
378
                        }
 
379
                      cp++;
 
380
                    }
 
381
                  else if (*cp == 't')
 
382
                    {
 
383
                      if (sizeof (ptrdiff_t) > sizeof (long))
 
384
                        {
 
385
                          /* ptrdiff_t = long long */
 
386
                          flags += 16;
 
387
                        }
 
388
                      else if (sizeof (ptrdiff_t) > sizeof (int))
 
389
                        {
 
390
                          /* ptrdiff_t = long */
 
391
                          flags += 8;
 
392
                        }
 
393
                      cp++;
 
394
                    }
 
395
#if defined __APPLE__ && defined __MACH__
 
396
                  /* On MacOS X 10.3, PRIdMAX is defined as "qd".
 
397
                     We cannot change it to "lld" because PRIdMAX must also
 
398
                     be understood by the system's printf routines.  */
 
399
                  else if (*cp == 'q')
 
400
                    {
 
401
                      if (64 / 8 > sizeof (long))
 
402
                        {
 
403
                          /* int64_t = long long */
 
404
                          flags += 16;
 
405
                        }
 
406
                      else
 
407
                        {
 
408
                          /* int64_t = long */
 
409
                          flags += 8;
 
410
                        }
 
411
                      cp++;
 
412
                    }
 
413
#endif
 
414
#if (defined _WIN32 || defined __WIN32__) && ! defined __CYGWIN__
 
415
                  /* On native Win32, PRIdMAX is defined as "I64d".
 
416
                     We cannot change it to "lld" because PRIdMAX must also
 
417
                     be understood by the system's printf routines.  */
 
418
                  else if (*cp == 'I' && cp[1] == '6' && cp[2] == '4')
 
419
                    {
 
420
                      if (64 / 8 > sizeof (long))
 
421
                        {
 
422
                          /* __int64 = long long */
 
423
                          flags += 16;
 
424
                        }
 
425
                      else
 
426
                        {
 
427
                          /* __int64 = long */
 
428
                          flags += 8;
 
429
                        }
 
430
                      cp += 3;
 
431
                    }
 
432
#endif
 
433
                  else
 
434
                    break;
 
435
                }
 
436
 
 
437
              /* Read the conversion character.  */
 
438
              c = *cp++;
 
439
              switch (c)
 
440
                {
 
441
                case 'd': case 'i':
 
442
#if HAVE_LONG_LONG_INT
 
443
                  /* If 'long long' exists and is larger than 'long':  */
 
444
                  if (flags >= 16 || (flags & 4))
 
445
                    type = TYPE_LONGLONGINT;
 
446
                  else
 
447
#endif
 
448
                  /* If 'long long' exists and is the same as 'long', we parse
 
449
                     "lld" into TYPE_LONGINT.  */
 
450
                  if (flags >= 8)
 
451
                    type = TYPE_LONGINT;
 
452
                  else if (flags & 2)
 
453
                    type = TYPE_SCHAR;
 
454
                  else if (flags & 1)
 
455
                    type = TYPE_SHORT;
 
456
                  else
 
457
                    type = TYPE_INT;
 
458
                  break;
 
459
                case 'o': case 'u': case 'x': case 'X':
 
460
#if HAVE_LONG_LONG_INT
 
461
                  /* If 'long long' exists and is larger than 'long':  */
 
462
                  if (flags >= 16 || (flags & 4))
 
463
                    type = TYPE_ULONGLONGINT;
 
464
                  else
 
465
#endif
 
466
                  /* If 'unsigned long long' exists and is the same as
 
467
                     'unsigned long', we parse "llu" into TYPE_ULONGINT.  */
 
468
                  if (flags >= 8)
 
469
                    type = TYPE_ULONGINT;
 
470
                  else if (flags & 2)
 
471
                    type = TYPE_UCHAR;
 
472
                  else if (flags & 1)
 
473
                    type = TYPE_USHORT;
 
474
                  else
 
475
                    type = TYPE_UINT;
 
476
                  break;
 
477
                case 'f': case 'F': case 'e': case 'E': case 'g': case 'G':
 
478
                case 'a': case 'A':
 
479
                  if (flags >= 16 || (flags & 4))
 
480
                    type = TYPE_LONGDOUBLE;
 
481
                  else
 
482
                    type = TYPE_DOUBLE;
 
483
                  break;
 
484
                case 'c':
 
485
                  if (flags >= 8)
 
486
#if HAVE_WINT_T
 
487
                    type = TYPE_WIDE_CHAR;
 
488
#else
 
489
                    goto error;
 
490
#endif
 
491
                  else
 
492
                    type = TYPE_CHAR;
 
493
                  break;
 
494
#if HAVE_WINT_T
 
495
                case 'C':
 
496
                  type = TYPE_WIDE_CHAR;
 
497
                  c = 'c';
 
498
                  break;
 
499
#endif
 
500
                case 's':
 
501
                  if (flags >= 8)
 
502
#if HAVE_WCHAR_T
 
503
                    type = TYPE_WIDE_STRING;
 
504
#else
 
505
                    goto error;
 
506
#endif
 
507
                  else
 
508
                    type = TYPE_STRING;
 
509
                  break;
 
510
#if HAVE_WCHAR_T
 
511
                case 'S':
 
512
                  type = TYPE_WIDE_STRING;
 
513
                  c = 's';
 
514
                  break;
 
515
#endif
 
516
                case 'p':
 
517
                  type = TYPE_POINTER;
 
518
                  break;
 
519
                case 'n':
 
520
#if HAVE_LONG_LONG_INT
 
521
                  /* If 'long long' exists and is larger than 'long':  */
 
522
                  if (flags >= 16 || (flags & 4))
 
523
                    type = TYPE_COUNT_LONGLONGINT_POINTER;
 
524
                  else
 
525
#endif
 
526
                  /* If 'long long' exists and is the same as 'long', we parse
 
527
                     "lln" into TYPE_COUNT_LONGINT_POINTER.  */
 
528
                  if (flags >= 8)
 
529
                    type = TYPE_COUNT_LONGINT_POINTER;
 
530
                  else if (flags & 2)
 
531
                    type = TYPE_COUNT_SCHAR_POINTER;
 
532
                  else if (flags & 1)
 
533
                    type = TYPE_COUNT_SHORT_POINTER;
 
534
                  else
 
535
                    type = TYPE_COUNT_INT_POINTER;
 
536
                  break;
 
537
#if ENABLE_UNISTDIO
 
538
                /* The unistdio extensions.  */
 
539
                case 'U':
 
540
                  if (flags >= 16)
 
541
                    type = TYPE_U32_STRING;
 
542
                  else if (flags >= 8)
 
543
                    type = TYPE_U16_STRING;
 
544
                  else
 
545
                    type = TYPE_U8_STRING;
 
546
                  break;
 
547
#endif
 
548
                case '%':
 
549
                  type = TYPE_NONE;
 
550
                  break;
 
551
                default:
 
552
                  /* Unknown conversion character.  */
 
553
                  goto error;
 
554
                }
 
555
            }
 
556
 
 
557
            if (type != TYPE_NONE)
 
558
              {
 
559
                dp->arg_index = arg_index;
 
560
                if (dp->arg_index == ARG_NONE)
 
561
                  {
 
562
                    dp->arg_index = arg_posn++;
 
563
                    if (dp->arg_index == ARG_NONE)
 
564
                      /* arg_posn wrapped around.  */
 
565
                      goto error;
 
566
                  }
 
567
                REGISTER_ARG (dp->arg_index, type);
 
568
              }
 
569
            dp->conversion = c;
 
570
            dp->dir_end = cp;
 
571
          }
 
572
 
 
573
          d->count++;
 
574
          if (d->count >= d_allocated)
 
575
            {
 
576
              size_t memory_size;
 
577
              DIRECTIVE *memory;
 
578
 
 
579
              d_allocated = xtimes (d_allocated, 2);
 
580
              memory_size = xtimes (d_allocated, sizeof (DIRECTIVE));
 
581
              if (size_overflow_p (memory_size))
 
582
                /* Overflow, would lead to out of memory.  */
 
583
                goto out_of_memory;
 
584
              memory = (DIRECTIVE *) realloc (d->dir, memory_size);
 
585
              if (memory == NULL)
 
586
                /* Out of memory.  */
 
587
                goto out_of_memory;
 
588
              d->dir = memory;
 
589
            }
 
590
        }
 
591
#if CHAR_T_ONLY_ASCII
 
592
      else if (!c_isascii (c))
 
593
        {
 
594
          /* Non-ASCII character.  Not supported.  */
 
595
          goto error;
 
596
        }
 
597
#endif
 
598
    }
 
599
  d->dir[d->count].dir_start = cp;
 
600
 
 
601
  d->max_width_length = max_width_length;
 
602
  d->max_precision_length = max_precision_length;
 
603
  return 0;
 
604
 
 
605
error:
 
606
  if (a->arg)
 
607
    free (a->arg);
 
608
  if (d->dir)
 
609
    free (d->dir);
 
610
  errno = EINVAL;
 
611
  return -1;
 
612
 
 
613
out_of_memory:
 
614
  if (a->arg)
 
615
    free (a->arg);
 
616
  if (d->dir)
 
617
    free (d->dir);
 
618
out_of_memory_1:
 
619
  errno = ENOMEM;
 
620
  return -1;
 
621
}
 
622
 
 
623
#undef PRINTF_PARSE
 
624
#undef DIRECTIVES
 
625
#undef DIRECTIVE
 
626
#undef CHAR_T_ONLY_ASCII
 
627
#undef CHAR_T