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