lib/libc/stdio/vfprintf.c

   1 /*-
   2  * Copyright (c) 1990, 1993
   3  *      The Regents of the University of California.  All rights reserved.
   4  *
   5  * This code is derived from software contributed to Berkeley by
   6  * Chris Torek.
   7  *
   8  * Redistribution and use in source and binary forms, with or without
   9  * modification, are permitted provided that the following conditions
  10  * are met:
  11  * 1. Redistributions of source code must retain the above copyright
  12  *    notice, this list of conditions and the following disclaimer.
  13  * 2. Redistributions in binary form must reproduce the above copyright
  14  *    notice, this list of conditions and the following disclaimer in the
  15  *    documentation and/or other materials provided with the distribution.
  16  * 3. Neither the name of the University nor the names of its contributors
  17  *    may be used to endorse or promote products derived from this software
  18  *    without specific prior written permission.
  19  *
  20  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  21  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  22  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  23  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  24  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  25  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  26  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  27  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  28  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  29  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  30  * SUCH DAMAGE.
  31  *
  32  * @(#)vfprintf.c       8.1 (Berkeley) 6/4/93
  33  * $FreeBSD: src/lib/libc/stdio/vfprintf.c,v 1.90 2009/02/28 06:06:57 das Exp $
  34  * $DragonFly: src/lib/libc/stdio/vfprintf.c,v 1.16 2006/07/05 15:04:54 joerg Exp $
  35  */
  36
  37 /*
  38  * Actual printf innards.
  39  *
  40  * This code is large and complicated...
  41  */
  42
  43 #include "namespace.h"
  44 #include <sys/types.h>
  45
  46 #include <ctype.h>
  47 #include <limits.h>
  48 #include <locale.h>
  49 #include <stddef.h>
  50 #include <stdint.h>
  51 #include <stdio.h>
  52 #include <stdlib.h>
  53 #include <string.h>
  54 #include <wchar.h>
  55 #include <printf.h>
  56
  57 #include <stdarg.h>
  58 #include "un-namespace.h"
  59
  60 #include "libc_private.h"
  61 #include "local.h"
  62 #include "priv_stdio.h"
  63 #include "printflocal.h"
  64
  65 static int      __sprint(FILE *, struct __suio *);
  66 static int      __sbprintf(FILE *, const char *, va_list) __printflike(2, 0)
  67                            __noinline;
  68 static char     *__wcsconv(wchar_t *, int);
  69
  70 #define CHAR    char
  71 #include "printfcommon.h"
  72
  73 struct grouping_state {
  74         char *thousands_sep;    /* locale-specific thousands separator */
  75         int thousep_len;        /* length of thousands_sep */
  76         const char *grouping;   /* locale-specific numeric grouping rules */
  77         int lead;               /* sig figs before decimal or group sep */
  78         int nseps;              /* number of group separators with ' */
  79         int nrepeats;           /* number of repeats of the last group */
  80 };
  81
  82 /*
  83  * Initialize the thousands' grouping state in preparation to print a
  84  * number with ndigits digits. This routine returns the total number
  85  * of bytes that will be needed.
  86  */
  87 static int
  88 grouping_init(struct grouping_state *gs, int ndigits)
  89 {
  90         struct lconv *locale;
  91
  92         locale = localeconv();
  93         gs->grouping = locale->grouping;
  94         gs->thousands_sep = locale->thousands_sep;
  95         gs->thousep_len = strlen(gs->thousands_sep);
  96
  97         gs->nseps = gs->nrepeats = 0;
  98         gs->lead = ndigits;
  99         while (*gs->grouping != CHAR_MAX) {
 100                 if (gs->lead <= *gs->grouping)
 101                         break;
 102                 gs->lead -= *gs->grouping;
 103                 if (*(gs->grouping+1)) {
 104                         gs->nseps++;
 105                         gs->grouping++;
 106                 } else
 107                         gs->nrepeats++;
 108         }
 109         return ((gs->nseps + gs->nrepeats) * gs->thousep_len);
 110 }
 111
 112 /*
 113  * Print a number with thousands' separators.
 114  */
 115 static int
 116 grouping_print(struct grouping_state *gs, struct io_state *iop,
 117                const CHAR *cp, const CHAR *ep)
 118 {
 119         const CHAR *cp0 = cp;
 120
 121         if (io_printandpad(iop, cp, ep, gs->lead, zeroes))
 122                 return (-1);
 123         cp += gs->lead;
 124         while (gs->nseps > 0 || gs->nrepeats > 0) {
 125                 if (gs->nrepeats > 0)
 126                         gs->nrepeats--;
 127                 else {
 128                         gs->grouping--;
 129                         gs->nseps--;
 130                 }
 131                 if (io_print(iop, gs->thousands_sep, gs->thousep_len))
 132                         return (-1);
 133                 if (io_printandpad(iop, cp, ep, *gs->grouping, zeroes))
 134                         return (-1);
 135                 cp += *gs->grouping;
 136         }
 137         if (cp > ep)
 138                 cp = ep;
 139         return (cp - cp0);
 140 }
 141
 142 /*
 143  * Flush out all the vectors defined by the given uio,
 144  * then reset it so that it can be reused.
 145  */
 146 static int
 147 __sprint(FILE *fp, struct __suio *uio)
 148 {
 149         int err;
 150
 151         if (uio->uio_resid == 0) {
 152                 uio->uio_iovcnt = 0;
 153                 return (0);
 154         }
 155         err = __sfvwrite(fp, uio);
 156         uio->uio_resid = 0;
 157         uio->uio_iovcnt = 0;
 158         return (err);
 159 }
 160
 161 /*
 162  * Helper function for `fprintf to unbuffered unix file': creates a
 163  * temporary buffer.  We only work on write-only files; this avoids
 164  * worries about ungetc buffers and so forth.
 165  */
 166 static int
 167 __sbprintf(FILE *fp, const char *fmt, va_list ap)
 168 {
 169         int ret;
 170         FILE fake;
 171         unsigned char buf[BUFSIZ];
 172
 173         /* XXX This is probably not needed. */
 174         if (prepwrite(fp) != 0)
 175                 return (EOF);
 176
 177         /* copy the important variables */
 178         fake.pub._flags = fp->pub._flags & ~__SNBF;
 179         fake.pub._fileno = fp->pub._fileno;
 180         fake._cookie = fp->_cookie;
 181         fake._write = fp->_write;
 182         memcpy(WCIO_GET(&fake), WCIO_GET(fp), sizeof(struct wchar_io_data));
 183
 184         /* set up the buffer */
 185         fake._bf._base = fake.pub._p = buf;
 186         fake._bf._size = fake.pub._w = sizeof(buf);
 187         fake.pub._lbfsize = 0;  /* not actually used, but Just In Case */
 188
 189         /* do the work, then copy any error status */
 190         ret = __vfprintf(&fake, fmt, ap);
 191         if (ret >= 0 && __fflush(&fake))
 192                 ret = EOF;
 193         if (fake.pub._flags & __SERR)
 194                 fp->pub._flags |= __SERR;
 195         return (ret);
 196 }
 197
 198 /*
 199  * Convert a wide character string argument for the %ls format to a multibyte
 200  * string representation. If not -1, prec specifies the maximum number of
 201  * bytes to output, and also means that we can't assume that the wide char.
 202  * string ends is null-terminated.
 203  */
 204 static char *
 205 __wcsconv(wchar_t *wcsarg, int prec)
 206 {
 207         static const mbstate_t initial;
 208         mbstate_t mbs;
 209         char buf[MB_LEN_MAX];
 210         wchar_t *p;
 211         char *convbuf;
 212         size_t clen, nbytes;
 213
 214         /* Allocate space for the maximum number of bytes we could output. */
 215         if (prec < 0) {
 216                 p = wcsarg;
 217                 mbs = initial;
 218                 nbytes = wcsrtombs(NULL, (const wchar_t **)&p, 0, &mbs);
 219                 if (nbytes == (size_t)-1)
 220                         return (NULL);
 221         } else {
 222                 /*
 223                  * Optimisation: if the output precision is small enough,
 224                  * just allocate enough memory for the maximum instead of
 225                  * scanning the string.
 226                  */
 227                 if (prec < 128) {
 228                         nbytes = prec;
 229                 } else {
 230                         nbytes = 0;
 231                         p = wcsarg;
 232                         mbs = initial;
 233                         for (;;) {
 234                                 clen = wcrtomb(buf, *p++, &mbs);
 235                                 if (clen == 0 || clen == (size_t)-1 ||
 236                                     nbytes + clen > prec)
 237                                         break;
 238                                 nbytes += clen;
 239                         }
 240                 }
 241         }
 242         if ((convbuf = malloc(nbytes + 1)) == NULL)
 243                 return (NULL);
 244
 245         /* Fill the output buffer. */
 246         p = wcsarg;
 247         mbs = initial;
 248         if ((nbytes = wcsrtombs(convbuf, (const wchar_t **)&p,
 249             nbytes, &mbs)) == (size_t)-1) {
 250                 free(convbuf);
 251                 return (NULL);
 252         }
 253         convbuf[nbytes] = '\0';
 254         return (convbuf);
 255 }
 256
 257 /*
 258  * MT-safe version
 259  */
 260 int
 261 vfprintf(FILE * __restrict fp, const char * __restrict fmt0, va_list ap)
 262 {
 263         int ret;
 264
 265         FLOCKFILE(fp);
 266         /* optimise fprintf(stderr) (and other unbuffered Unix files) */
 267         if ((fp->pub._flags & (__SNBF|__SWR|__SRW)) == (__SNBF|__SWR) &&
 268             fp->pub._fileno >= 0)
 269                 ret = __sbprintf(fp, fmt0, ap);
 270         else
 271                 ret = __vfprintf(fp, fmt0, ap);
 272         FUNLOCKFILE(fp);
 273         return (ret);
 274 }
 275
 276 /*
 277  * The size of the buffer we use as scratch space for integer
 278  * conversions, among other things.  We need enough space to
 279  * write a uintmax_t in octal (plus one byte).
 280  */
 281 #if UINTMAX_MAX <= UINT64_MAX
 282 #define BUF     32
 283 #else
 284 #error "BUF must be large enough to format a uintmax_t"
 285 #endif
 286
 287 /*
 288  * Non-MT-safe version
 289  */
 290 int
 291 __vfprintf(FILE *fp, const char *fmt0, va_list ap)
 292 {
 293         char *fmt;              /* format string */
 294         int ch;                 /* character from fmt */
 295         int n, n2;              /* handy integer (short term usage) */
 296         char *cp;               /* handy char pointer (short term usage) */
 297         int flags;              /* flags as above */
 298         int ret;                /* return value accumulator */
 299         int width;              /* width from format (%8d), or 0 */
 300         int prec;               /* precision from format; <0 for N/A */
 301         char sign;              /* sign prefix (' ', '+', '-', or \0) */
 302         struct grouping_state gs; /* thousands' grouping info */
 303
 304 #ifndef NO_FLOATING_POINT
 305         /*
 306          * We can decompose the printed representation of floating
 307          * point numbers into several parts, some of which may be empty:
 308          *
 309          * [+|-| ] [0x|0X] MMM . NNN [e|E|p|P] [+|-] ZZ
 310          *    A       B     ---C---      D       E   F
 311          *
 312          * A:   'sign' holds this value if present; '\0' otherwise
 313          * B:   ox[1] holds the 'x' or 'X'; '\0' if not hexadecimal
 314          * C:   cp points to the string MMMNNN.  Leading and trailing
 315          *      zeros are not in the string and must be added.
 316          * D:   expchar holds this character; '\0' if no exponent, e.g. %f
 317          * F:   at least two digits for decimal, at least one digit for hex
 318          */
 319         char *decimal_point;    /* locale specific decimal point */
 320         int decpt_len;          /* length of decimal_point */
 321         int signflag;           /* true if float is negative */
 322         union {                 /* floating point arguments %[aAeEfFgG] */
 323                 double dbl;
 324                 long double ldbl;
 325         } fparg;
 326         int expt;               /* integer value of exponent */
 327         char expchar;           /* exponent character: [eEpP\0] */
 328         char *dtoaend;          /* pointer to end of converted digits */
 329         int expsize;            /* character count for expstr */
 330         int ndig;               /* actual number of digits returned by dtoa */
 331         char expstr[MAXEXPDIG+2];       /* buffer for exponent string: e+ZZZ */
 332         char *dtoaresult;       /* buffer allocated by dtoa */
 333 #endif
 334         u_long  ulval;          /* integer arguments %[diouxX] */
 335         uintmax_t ujval;        /* %j, %ll, %q, %t, %z integers */
 336         int base;               /* base for [diouxX] conversion */
 337         int dprec;              /* a copy of prec if [diouxX], 0 otherwise */
 338         int realsz;             /* field size expanded by dprec, sign, etc */
 339         int size;               /* size of converted field or string */
 340         int prsize;             /* max size of printed field */
 341         const char *xdigs;      /* digits for %[xX] conversion */
 342         struct io_state io;     /* I/O buffering state */
 343         char buf[BUF];          /* buffer with space for digits of uintmax_t */
 344         char ox[2];             /* space for 0x; ox[1] is either x, X, or \0 */
 345         union arg *argtable;    /* args, built due to positional arg */
 346         union arg statargtable [STATIC_ARG_TBL_SIZE];
 347         int nextarg;            /* 1-based argument index */
 348         va_list orgap;          /* original argument pointer */
 349         char *convbuf;          /* wide to multibyte conversion result */
 350
 351         static const char xdigs_lower[16] = "0123456789abcdef";
 352         static const char xdigs_upper[16] = "0123456789ABCDEF";
 353
 354         /* BEWARE, these `goto error' on error. */
 355 #define PRINT(ptr, len) { \
 356         if (io_print(&io, (ptr), (len)))        \
 357                 goto error; \
 358 }
 359 #define PAD(howmany, with) { \
 360         if (io_pad(&io, (howmany), (with))) \
 361                 goto error; \
 362 }
 363 #define PRINTANDPAD(p, ep, len, with) { \
 364         if (io_printandpad(&io, (p), (ep), (len), (with))) \
 365                 goto error; \
 366 }
 367 #define FLUSH() { \
 368         if (io_flush(&io)) \
 369                 goto error; \
 370 }
 371
 372         /*
 373          * Get the argument indexed by nextarg.   If the argument table is
 374          * built, use it to get the argument.  If its not, get the next
 375          * argument (and arguments must be gotten sequentially).
 376          */
 377 #define GETARG(type) \
 378         ((argtable != NULL) ? *((type*)(&argtable[nextarg++])) : \
 379             (nextarg++, va_arg(ap, type)))
 380
 381         /*
 382          * To extend shorts properly, we need both signed and unsigned
 383          * argument extraction methods.
 384          */
 385 #define SARG() \
 386         (flags&LONGINT ? GETARG(long) : \
 387             flags&SHORTINT ? (long)(short)GETARG(int) : \
 388             flags&CHARINT ? (long)(signed char)GETARG(int) : \
 389             (long)GETARG(int))
 390 #define UARG() \
 391         (flags&LONGINT ? GETARG(u_long) : \
 392             flags&SHORTINT ? (u_long)(u_short)GETARG(int) : \
 393             flags&CHARINT ? (u_long)(u_char)GETARG(int) : \
 394             (u_long)GETARG(u_int))
 395 #define INTMAX_SIZE     (INTMAXT|SIZET|PTRDIFFT|LLONGINT)
 396 #define SJARG() \
 397         (flags&INTMAXT ? GETARG(intmax_t) : \
 398             flags&SIZET ? (intmax_t)GETARG(ssize_t) : \
 399             flags&PTRDIFFT ? (intmax_t)GETARG(ptrdiff_t) : \
 400             (intmax_t)GETARG(long long))
 401 #define UJARG() \
 402         (flags&INTMAXT ? GETARG(uintmax_t) : \
 403             flags&SIZET ? (uintmax_t)GETARG(size_t) : \
 404             flags&PTRDIFFT ? (uintmax_t)GETARG(ptrdiff_t) : \
 405             (uintmax_t)GETARG(unsigned long long))
 406
 407         /*
 408          * Get * arguments, including the form *nn$.  Preserve the nextarg
 409          * that the argument can be gotten once the type is determined.
 410          */
 411 #define GETASTER(val) \
 412         n2 = 0; \
 413         cp = fmt; \
 414         while (is_digit(*cp)) { \
 415                 n2 = 10 * n2 + to_digit(*cp); \
 416                 cp++; \
 417         } \
 418         if (*cp == '$') { \
 419                 int hold = nextarg; \
 420                 if (argtable == NULL) { \
 421                         argtable = statargtable; \
 422                         if (__find_arguments (fmt0, orgap, &argtable)) { \
 423                                 ret = EOF; \
 424                                 goto error; \
 425                         } \
 426                 } \
 427                 nextarg = n2; \
 428                 val = GETARG (int); \
 429                 nextarg = hold; \
 430                 fmt = ++cp; \
 431         } else { \
 432                 val = GETARG (int); \
 433         }
 434
 435         if (__use_xprintf == 0 && getenv("USE_XPRINTF"))
 436                 __use_xprintf = 1;
 437         if (__use_xprintf > 0)
 438                 return (__xvprintf(fp, fmt0, ap));
 439
 440         /* sorry, fprintf(read_only_file, "") returns EOF, not 0 */
 441         if (prepwrite(fp) != 0)
 442                 return (EOF);
 443
 444         convbuf = NULL;
 445         fmt = __DECONST(char *, fmt0);
 446         argtable = NULL;
 447         nextarg = 1;
 448         va_copy(orgap, ap);
 449         io_init(&io, fp);
 450         ret = 0;
 451 #ifndef NO_FLOATING_POINT
 452         dtoaresult = NULL;
 453         decimal_point = localeconv()->decimal_point;
 454         /* The overwhelmingly common case is decpt_len == 1. */
 455         decpt_len = (decimal_point[1] == '\0' ? 1 : strlen(decimal_point));
 456 #endif
 457
 458         /*
 459          * Scan the format for conversions (`%' character).
 460          */
 461         for (;;) {
 462                 for (cp = fmt; (ch = *fmt) != '\0' && ch != '%'; fmt++)
 463                         /* void */;
 464                 if ((n = fmt - cp) != 0) {
 465                         if ((unsigned)ret + n > INT_MAX) {
 466                                 ret = EOF;
 467                                 goto error;
 468                         }
 469                         PRINT(cp, n);
 470                         ret += n;
 471                 }
 472                 if (ch == '\0')
 473                         goto done;
 474                 fmt++;          /* skip over '%' */
 475
 476                 flags = 0;
 477                 dprec = 0;
 478                 width = 0;
 479                 prec = -1;
 480                 gs.grouping = NULL;
 481                 sign = '\0';
 482                 ox[1] = '\0';
 483
 484 rflag:          ch = *fmt++;
 485 reswitch:       switch (ch) {
 486                 case ' ':
 487                         /*-
 488                          * ``If the space and + flags both appear, the space
 489                          * flag will be ignored.''
 490                          *      -- ANSI X3J11
 491                          */
 492                         if (!sign)
 493                                 sign = ' ';
 494                         goto rflag;
 495                 case '#':
 496                         flags |= ALT;
 497                         goto rflag;
 498                 case '*':
 499                         /*-
 500                          * ``A negative field width argument is taken as a
 501                          * - flag followed by a positive field width.''
 502                          *      -- ANSI X3J11
 503                          * They don't exclude field widths read from args.
 504                          */
 505                         GETASTER(width);
 506                         if (width >= 0)
 507                                 goto rflag;
 508                         width = -width;
 509                         /* FALLTHROUGH */
 510                 case '-':
 511                         flags |= LADJUST;
 512                         goto rflag;
 513                 case '+':
 514                         sign = '+';
 515                         goto rflag;
 516                 case '\'':
 517                         flags |= GROUPING;
 518                         goto rflag;
 519                 case '.':
 520                         if ((ch = *fmt++) == '*') {
 521                                 GETASTER(prec);
 522                                 goto rflag;
 523                         }
 524                         prec = 0;
 525                         while (is_digit(ch)) {
 526                                 prec = 10 * prec + to_digit(ch);
 527                                 ch = *fmt++;
 528                         }
 529                         goto reswitch;
 530                 case '0':
 531                         /*-
 532                          * ``Note that 0 is taken as a flag, not as the
 533                          * beginning of a field width.''
 534                          *      -- ANSI X3J11
 535                          */
 536                         flags |= ZEROPAD;
 537                         goto rflag;
 538                 case '1': case '2': case '3': case '4':
 539                 case '5': case '6': case '7': case '8': case '9':
 540                         n = 0;
 541                         do {
 542                                 n = 10 * n + to_digit(ch);
 543                                 ch = *fmt++;
 544                         } while (is_digit(ch));
 545                         if (ch == '$') {
 546                                 nextarg = n;
 547                                 if (argtable == NULL) {
 548                                         argtable = statargtable;
 549                                         if (__find_arguments (fmt0, orgap,
 550                                                               &argtable)) {
 551                                                 ret = EOF;
 552                                                 goto error;
 553                                         }
 554                                 }
 555                                 goto rflag;
 556                         }
 557                         width = n;
 558                         goto reswitch;
 559 #ifndef NO_FLOATING_POINT
 560                 case 'L':
 561                         flags |= LONGDBL;
 562                         goto rflag;
 563 #endif
 564                 case 'h':
 565                         if (flags & SHORTINT) {
 566                                 flags &= ~SHORTINT;
 567                                 flags |= CHARINT;
 568                         } else
 569                                 flags |= SHORTINT;
 570                         goto rflag;
 571                 case 'j':
 572                         flags |= INTMAXT;
 573                         goto rflag;
 574                 case 'l':
 575                         if (flags & LONGINT) {
 576                                 flags &= ~LONGINT;
 577                                 flags |= LLONGINT;
 578                         } else
 579                                 flags |= LONGINT;
 580                         goto rflag;
 581                 case 'q':
 582                         flags |= LLONGINT;      /* not necessarily */
 583                         goto rflag;
 584                 case 't':
 585                         flags |= PTRDIFFT;
 586                         goto rflag;
 587                 case 'z':
 588                         flags |= SIZET;
 589                         goto rflag;
 590                 case 'C':
 591                         flags |= LONGINT;
 592                         /*FALLTHROUGH*/
 593                 case 'c':
 594                         if (flags & LONGINT) {
 595                                 static const mbstate_t initial;
 596                                 mbstate_t mbs;
 597                                 size_t mbseqlen;
 598
 599                                 mbs = initial;
 600                                 mbseqlen = wcrtomb(cp = buf,
 601                                     (wchar_t)GETARG(wint_t), &mbs);
 602                                 if (mbseqlen == (size_t)-1) {
 603                                         fp->pub._flags |= __SERR;
 604                                         goto error;
 605                                 }
 606                                 size = (int)mbseqlen;
 607                         } else {
 608                                 *(cp = buf) = GETARG(int);
 609                                 size = 1;
 610                         }
 611                         sign = '\0';
 612                         break;
 613                 case 'D':
 614                         flags |= LONGINT;
 615                         /*FALLTHROUGH*/
 616                 case 'd':
 617                 case 'i':
 618                         if (flags & INTMAX_SIZE) {
 619                                 ujval = SJARG();
 620                                 if ((intmax_t)ujval < 0) {
 621                                         ujval = -ujval;
 622                                         sign = '-';
 623                                 }
 624                         } else {
 625                                 ulval = SARG();
 626                                 if ((long)ulval < 0) {
 627                                         ulval = -ulval;
 628                                         sign = '-';
 629                                 }
 630                         }
 631                         base = 10;
 632                         goto number;
 633 #ifndef NO_FLOATING_POINT
 634                 case 'a':
 635                 case 'A':
 636                         if (ch == 'a') {
 637                                 ox[1] = 'x';
 638                                 xdigs = xdigs_lower;
 639                                 expchar = 'p';
 640                         } else {
 641                                 ox[1] = 'X';
 642                                 xdigs = xdigs_upper;
 643                                 expchar = 'P';
 644                         }
 645                         if (prec >= 0)
 646                                 prec++;
 647                         if (dtoaresult != NULL)
 648                                 freedtoa(dtoaresult);
 649                         if (flags & LONGDBL) {
 650                                 fparg.ldbl = GETARG(long double);
 651                                 dtoaresult = cp =
 652                                     __hldtoa(fparg.ldbl, xdigs, prec,
 653                                     &expt, &signflag, &dtoaend);
 654                         } else {
 655                                 fparg.dbl = GETARG(double);
 656                                 dtoaresult = cp =
 657                                     __hdtoa(fparg.dbl, xdigs, prec,
 658                                     &expt, &signflag, &dtoaend);
 659                         }
 660                         if (prec < 0)
 661                                 prec = dtoaend - cp;
 662                         if (expt == INT_MAX)
 663                                 ox[1] = '\0';
 664                         goto fp_common;
 665                 case 'e':
 666                 case 'E':
 667                         expchar = ch;
 668                         if (prec < 0)   /* account for digit before decpt */
 669                                 prec = DEFPREC + 1;
 670                         else
 671                                 prec++;
 672                         goto fp_begin;
 673                 case 'f':
 674                 case 'F':
 675                         expchar = '\0';
 676                         goto fp_begin;
 677                 case 'g':
 678                 case 'G':
 679                         expchar = ch - ('g' - 'e');
 680                         if (prec == 0)
 681                                 prec = 1;
 682 fp_begin:
 683                         if (prec < 0)
 684                                 prec = DEFPREC;
 685                         if (dtoaresult != NULL)
 686                                 freedtoa(dtoaresult);
 687                         if (flags & LONGDBL) {
 688                                 fparg.ldbl = GETARG(long double);
 689                                 dtoaresult = cp =
 690                                     __ldtoa(&fparg.ldbl, expchar ? 2 : 3, prec,
 691                                     &expt, &signflag, &dtoaend);
 692                         } else {
 693                                 fparg.dbl = GETARG(double);
 694                                 dtoaresult = cp =
 695                                     dtoa(fparg.dbl, expchar ? 2 : 3, prec,
 696                                     &expt, &signflag, &dtoaend);
 697                                 if (expt == 9999)
 698                                         expt = INT_MAX;
 699                         }
 700 fp_common:
 701                         if (signflag)
 702                                 sign = '-';
 703                         if (expt == INT_MAX) {  /* inf or nan */
 704                                 if (*cp == 'N') {
 705                                         cp = (ch >= 'a') ? "nan" : "NAN";
 706                                         sign = '\0';
 707                                 } else
 708                                         cp = (ch >= 'a') ? "inf" : "INF";
 709                                 size = 3;
 710                                 flags &= ~ZEROPAD;
 711                                 break;
 712                         }
 713                         flags |= FPT;
 714                         ndig = dtoaend - cp;
 715                         if (ch == 'g' || ch == 'G') {
 716                                 if (expt > -4 && expt <= prec) {
 717                                         /* Make %[gG] smell like %[fF] */
 718                                         expchar = '\0';
 719                                         if (flags & ALT)
 720                                                 prec -= expt;
 721                                         else
 722                                                 prec = ndig - expt;
 723                                         if (prec < 0)
 724                                                 prec = 0;
 725                                 } else {
 726                                         /*
 727                                          * Make %[gG] smell like %[eE], but
 728                                          * trim trailing zeroes if no # flag.
 729                                          */
 730                                         if (!(flags & ALT))
 731                                                 prec = ndig;
 732                                 }
 733                         }
 734                         if (expchar) {
 735                                 expsize = exponent(expstr, expt - 1, expchar);
 736                                 size = expsize + prec;
 737                                 if (prec > 1 || flags & ALT)
 738                                         size += decpt_len;
 739                         } else {
 740                                 /* space for digits before decimal point */
 741                                 if (expt > 0)
 742                                         size = expt;
 743                                 else    /* "0" */
 744                                         size = 1;
 745                                 /* space for decimal pt and following digits */
 746                                 if (prec || flags & ALT)
 747                                         size += prec + decpt_len;
 748                                 if ((flags & GROUPING) && expt > 0)
 749                                         size += grouping_init(&gs, expt);
 750                         }
 751                         break;
 752 #endif /* !NO_FLOATING_POINT */
 753                 case 'n':
 754                         /*
 755                          * Assignment-like behavior is specified if the
 756                          * value overflows or is otherwise unrepresentable.
 757                          * C99 says to use `signed char' for %hhn conversions.
 758                          */
 759                         if (flags & LLONGINT)
 760                                 *GETARG(long long *) = ret;
 761                         else if (flags & SIZET)
 762                                 *GETARG(ssize_t *) = (ssize_t)ret;
 763                         else if (flags & PTRDIFFT)
 764                                 *GETARG(ptrdiff_t *) = ret;
 765                         else if (flags & INTMAXT)
 766                                 *GETARG(intmax_t *) = ret;
 767                         else if (flags & LONGINT)
 768                                 *GETARG(long *) = ret;
 769                         else if (flags & SHORTINT)
 770                                 *GETARG(short *) = ret;
 771                         else if (flags & CHARINT)
 772                                 *GETARG(signed char *) = ret;
 773                         else
 774                                 *GETARG(int *) = ret;
 775                         continue;       /* no output */
 776                 case 'O':
 777                         flags |= LONGINT;
 778                         /*FALLTHROUGH*/
 779                 case 'o':
 780                         if (flags & INTMAX_SIZE)
 781                                 ujval = UJARG();
 782                         else
 783                                 ulval = UARG();
 784                         base = 8;
 785                         goto nosign;
 786                 case 'p':
 787                         /*-
 788                          * ``The argument shall be a pointer to void.  The
 789                          * value of the pointer is converted to a sequence
 790                          * of printable characters, in an implementation-
 791                          * defined manner.''
 792                          *      -- ANSI X3J11
 793                          */
 794                         ujval = (uintmax_t)(uintptr_t)GETARG(void *);
 795                         base = 16;
 796                         xdigs = xdigs_lower;
 797                         flags = flags | INTMAXT;
 798                         ox[1] = 'x';
 799                         goto nosign;
 800                 case 'S':
 801                         flags |= LONGINT;
 802                         /*FALLTHROUGH*/
 803                 case 's':
 804                         if (flags & LONGINT) {
 805                                 wchar_t *wcp;
 806
 807                                 if (convbuf != NULL)
 808                                         free(convbuf);
 809                                 if ((wcp = GETARG(wchar_t *)) == NULL)
 810                                         cp = "(null)";
 811                                 else {
 812                                         convbuf = __wcsconv(wcp, prec);
 813                                         if (convbuf == NULL) {
 814                                                 fp->pub._flags |= __SERR;
 815                                                 goto error;
 816                                         }
 817                                         cp = convbuf;
 818                                 }
 819                         } else if ((cp = GETARG(char *)) == NULL)
 820                                 cp = "(null)";
 821                         size = (prec >= 0) ? strnlen(cp, prec) : strlen(cp);
 822                         sign = '\0';
 823                         break;
 824                 case 'U':
 825                         flags |= LONGINT;
 826                         /*FALLTHROUGH*/
 827                 case 'u':
 828                         if (flags & INTMAX_SIZE)
 829                                 ujval = UJARG();
 830                         else
 831                                 ulval = UARG();
 832                         base = 10;
 833                         goto nosign;
 834                 case 'X':
 835                         xdigs = xdigs_upper;
 836                         goto hex;
 837                 case 'x':
 838                         xdigs = xdigs_lower;
 839 hex:
 840                         if (flags & INTMAX_SIZE)
 841                                 ujval = UJARG();
 842                         else
 843                                 ulval = UARG();
 844                         base = 16;
 845                         /* leading 0x/X only if non-zero */
 846                         if (flags & ALT &&
 847                             (flags & INTMAX_SIZE ? ujval != 0 : ulval != 0))
 848                                 ox[1] = ch;
 849
 850                         flags &= ~GROUPING;
 851                         /* unsigned conversions */
 852 nosign:                 sign = '\0';
 853                         /*-
 854                          * ``... diouXx conversions ... if a precision is
 855                          * specified, the 0 flag will be ignored.''
 856                          *      -- ANSI X3J11
 857                          */
 858 number:                 if ((dprec = prec) >= 0)
 859                                 flags &= ~ZEROPAD;
 860
 861                         /*-
 862                          * ``The result of converting a zero value with an
 863                          * explicit precision of zero is no characters.''
 864                          *      -- ANSI X3J11
 865                          *
 866                          * ``The C Standard is clear enough as is.  The call
 867                          * printf("%#.0o", 0) should print 0.''
 868                          *      -- Defect Report #151
 869                          */
 870                         cp = buf + BUF;
 871                         if (flags & INTMAX_SIZE) {
 872                                 if (ujval != 0 || prec != 0 ||
 873                                     (flags & ALT && base == 8))
 874                                         cp = __ujtoa(ujval, cp, base,
 875                                             flags & ALT, xdigs);
 876                         } else {
 877                                 if (ulval != 0 || prec != 0 ||
 878                                     (flags & ALT && base == 8))
 879                                         cp = __ultoa(ulval, cp, base,
 880                                             flags & ALT, xdigs);
 881                         }
 882                         size = buf + BUF - cp;
 883                         if (size > BUF) /* should never happen */
 884                                 abort();
 885                         if ((flags & GROUPING) && size != 0)
 886                                 size += grouping_init(&gs, size);
 887                         break;
 888                 default:        /* "%?" prints ?, unless ? is NUL */
 889                         if (ch == '\0')
 890                                 goto done;
 891                         /* pretend it was %c with argument ch */
 892                         cp = buf;
 893                         *cp = ch;
 894                         size = 1;
 895                         sign = '\0';
 896                         break;
 897                 }
 898
 899                 /*
 900                  * All reasonable formats wind up here.  At this point, `cp'
 901                  * points to a string which (if not flags&LADJUST) should be
 902                  * padded out to `width' places.  If flags&ZEROPAD, it should
 903                  * first be prefixed by any sign or other prefix; otherwise,
 904                  * it should be blank padded before the prefix is emitted.
 905                  * After any left-hand padding and prefixing, emit zeroes
 906                  * required by a decimal [diouxX] precision, then print the
 907                  * string proper, then emit zeroes required by any leftover
 908                  * floating precision; finally, if LADJUST, pad with blanks.
 909                  *
 910                  * Compute actual size, so we know how much to pad.
 911                  * size excludes decimal prec; realsz includes it.
 912                  */
 913                 realsz = dprec > size ? dprec : size;
 914                 if (sign)
 915                         realsz++;
 916                 if (ox[1])
 917                         realsz += 2;
 918
 919                 prsize = width > realsz ? width : realsz;
 920                 if ((unsigned)ret + prsize > INT_MAX) {
 921                         ret = EOF;
 922                         goto error;
 923                 }
 924
 925                 /* right-adjusting blank padding */
 926                 if ((flags & (LADJUST|ZEROPAD)) == 0)
 927                         PAD(width - realsz, blanks);
 928
 929                 /* prefix */
 930                 if (sign)
 931                         PRINT(&sign, 1);
 932
 933                 if (ox[1]) {    /* ox[1] is either x, X, or \0 */
 934                         ox[0] = '0';
 935                         PRINT(ox, 2);
 936                 }
 937
 938                 /* right-adjusting zero padding */
 939                 if ((flags & (LADJUST|ZEROPAD)) == ZEROPAD)
 940                         PAD(width - realsz, zeroes);
 941
 942                 /* the string or number proper */
 943 #ifndef NO_FLOATING_POINT
 944                 if ((flags & FPT) == 0) {
 945 #endif
 946                         /* leading zeroes from decimal precision */
 947                         PAD(dprec - size, zeroes);
 948                         if (gs.grouping) {
 949                                 if (grouping_print(&gs, &io, cp, buf+BUF) < 0)
 950                                         goto error;
 951                         } else {
 952                                 PRINT(cp, size);
 953                         }
 954 #ifndef NO_FLOATING_POINT
 955                 } else {        /* glue together f_p fragments */
 956                         if (!expchar) { /* %[fF] or sufficiently short %[gG] */
 957                                 if (expt <= 0) {
 958                                         PRINT(zeroes, 1);
 959                                         if (prec || flags & ALT)
 960                                                 PRINT(decimal_point,decpt_len);
 961                                         PAD(-expt, zeroes);
 962                                         /* already handled initial 0's */
 963                                         prec += expt;
 964                                 } else {
 965                                         if (gs.grouping) {
 966                                                 n = grouping_print(&gs, &io,
 967                                                     cp, dtoaend);
 968                                                 if (n < 0)
 969                                                         goto error;
 970                                                 cp += n;
 971                                         } else {
 972                                                 PRINTANDPAD(cp, dtoaend,
 973                                                     expt, zeroes);
 974                                                 cp += expt;
 975                                         }
 976                                         if (prec || flags & ALT)
 977                                                 PRINT(decimal_point,decpt_len);
 978                                 }
 979                                 PRINTANDPAD(cp, dtoaend, prec, zeroes);
 980                         } else {        /* %[eE] or sufficiently long %[gG] */
 981                                 if (prec > 1 || flags & ALT) {
 982                                         PRINT(cp++, 1);
 983                                         PRINT(decimal_point, decpt_len);
 984                                         PRINT(cp, ndig-1);
 985                                         PAD(prec - ndig, zeroes);
 986                                 } else  /* XeYYY */
 987                                         PRINT(cp, 1);
 988                                 PRINT(expstr, expsize);
 989                         }
 990                 }
 991 #endif
 992                 /* left-adjusting padding (always blank) */
 993                 if (flags & LADJUST)
 994                         PAD(width - realsz, blanks);
 995
 996                 /* finally, adjust ret */
 997                 ret += prsize;
 998
 999                 FLUSH();        /* copy out the I/O vectors */
1000         }
1001 done:
1002         FLUSH();
1003 error:
1004         va_end(orgap);
1005 #ifndef NO_FLOATING_POINT
1006         if (dtoaresult != NULL)
1007                 freedtoa(dtoaresult);
1008 #endif
1009         if (convbuf != NULL)
1010                 free(convbuf);
1011         if (__sferror(fp))
1012                 ret = EOF;
1013         if ((argtable != NULL) && (argtable != statargtable))
1014                 free(argtable);
1015         return (ret);
1016         /* NOTREACHED */
1017 }
1018