Home | History | Annotate | Line # | Download | only in stdio
vfprintf.c revision 1.58
      1 #if 0
      2 /* Contains my POSITIONAL_PARAMS code */
      3 /*	$NetBSD: vfprintf.c,v 1.58 2009/10/14 21:25:52 dsl Exp $	*/
      4 
      5 /*-
      6  * Copyright (c) 1990 The Regents of the University of California.
      7  * All rights reserved.
      8  *
      9  * This code is derived from software contributed to Berkeley by
     10  * Chris Torek.
     11  *
     12  * Redistribution and use in source and binary forms, with or without
     13  * modification, are permitted provided that the following conditions
     14  * are met:
     15  * 1. Redistributions of source code must retain the above copyright
     16  *    notice, this list of conditions and the following disclaimer.
     17  * 2. Redistributions in binary form must reproduce the above copyright
     18  *    notice, this list of conditions and the following disclaimer in the
     19  *    documentation and/or other materials provided with the distribution.
     20  * 3. Neither the name of the University nor the names of its contributors
     21  *    may be used to endorse or promote products derived from this software
     22  *    without specific prior written permission.
     23  *
     24  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     25  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     26  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     27  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     28  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     29  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     30  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     31  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     32  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     33  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     34  * SUCH DAMAGE.
     35  */
     36 
     37 #include <sys/cdefs.h>
     38 #if defined(LIBC_SCCS) && !defined(lint)
     39 #if 0
     40 static char *sccsid = "@(#)vfprintf.c	5.50 (Berkeley) 12/16/92";
     41 #else
     42 __RCSID("$NetBSD: vfprintf.c,v 1.58 2009/10/14 21:25:52 dsl Exp $");
     43 #endif
     44 #endif /* LIBC_SCCS and not lint */
     45 
     46 /*
     47  * Actual printf innards.
     48  *
     49  * This code is large and complicated...
     50  */
     51 
     52 #include "namespace.h"
     53 #include <sys/types.h>
     54 
     55 #include <assert.h>
     56 #include <errno.h>
     57 #include <stdarg.h>
     58 #include <stddef.h>
     59 #include <stdint.h>
     60 #include <stdio.h>
     61 #include <stdlib.h>
     62 #include <string.h>
     63 #include <wchar.h>
     64 
     65 #include "reentrant.h"
     66 #include "local.h"
     67 #include "fvwrite.h"
     68 #include "extern.h"
     69 
     70 #ifdef FLOATING_POINT
     71 #define POSITIONAL_PARAMS
     72 #endif
     73 
     74 static int __sprint __P((FILE *, struct __suio *));
     75 static int __sbprintf __P((FILE *, const char *, va_list))
     76      __attribute__((__format__(__printf__, 2, 0)));
     77 #ifdef POSITIONAL_PARAMS
     78 #define NL_ARGMAX	9	/* minimum required by IEEE Std 1003.1-2001 */
     79 
     80 union parg {
     81 	int		flags;
     82 	uintmax_t	_uintmax;
     83 	void		*_pointer;
     84 	double		_double;
     85 };
     86 static void set_printf_args(union parg *, const char *, _BSD_VA_LIST_);
     87 #endif
     88 
     89 /*
     90  * Flush out all the vectors defined by the given uio,
     91  * then reset it so that it can be reused.
     92  */
     93 /* NB: async-signal-safe when fp->_flags & __SAFE */
     94 static int
     95 __sprint(fp, uio)
     96 	FILE *fp;
     97 	struct __suio *uio;
     98 {
     99 	int err;
    100 
    101 	_DIAGASSERT(fp != NULL);
    102 	_DIAGASSERT(uio != NULL);
    103 
    104 	if (uio->uio_resid == 0) {
    105 		uio->uio_iovcnt = 0;
    106 		return (0);
    107 	}
    108 	err = __sfvwrite(fp, uio);
    109 	uio->uio_resid = 0;
    110 	uio->uio_iovcnt = 0;
    111 	return (err);
    112 }
    113 
    114 /*
    115  * Helper function for `fprintf to unbuffered unix file': creates a
    116  * temporary buffer.  We only work on write-only files; this avoids
    117  * worries about ungetc buffers and so forth.
    118  */
    119 static int
    120 __sbprintf(fp, fmt, ap)
    121 	FILE *fp;
    122 	const char *fmt;
    123 	va_list ap;
    124 {
    125 	int ret;
    126 	FILE fake;
    127 	struct __sfileext fakeext;
    128 	unsigned char buf[BUFSIZ];
    129 
    130 	_DIAGASSERT(fp != NULL);
    131 	_DIAGASSERT(fmt != NULL);
    132 
    133 	_FILEEXT_SETUP(&fake, &fakeext);
    134 
    135 	/* copy the important variables */
    136 	fake._flags = fp->_flags & ~__SNBF;
    137 	fake._file = fp->_file;
    138 	fake._cookie = fp->_cookie;
    139 	fake._write = fp->_write;
    140 
    141 	/* set up the buffer */
    142 	fake._bf._base = fake._p = buf;
    143 	fake._bf._size = fake._w = sizeof(buf);
    144 	fake._lbfsize = 0;	/* not actually used, but Just In Case */
    145 
    146 	/* do the work, then copy any error status */
    147 	ret = vfprintf(&fake, fmt, ap);
    148 	if (ret >= 0 && fflush(&fake))
    149 		ret = -1;
    150 	if (fake._flags & __SERR)
    151 		fp->_flags |= __SERR;
    152 	return (ret);
    153 }
    154 
    155 
    156 #ifndef NO_FLOATING_POINT
    157 #include <locale.h>
    158 #include <math.h>
    159 #include "floatio.h"
    160 
    161 #define	BUF		(MAXEXP+MAXFRACT+1)	/* + decimal point */
    162 #define	DEFPREC		6
    163 
    164 static char *cvt __P((double, int, int, char *, int *, int, int *));
    165 static int exponent __P((char *, int, int));
    166 
    167 #else /* FLOATING_POINT */
    168 
    169 #define	BUF		40
    170 
    171 #endif /* NO_FLOATING_POINT */
    172 
    173 /*
    174  * Macros for converting digits to letters and vice versa
    175  */
    176 #define	to_digit(c)	((c) - '0')
    177 #define is_digit(c)	((unsigned)to_digit(c) <= 9)
    178 #define	to_char(n)	((char)((n) + '0'))
    179 
    180 /*
    181  * Flags used during conversion.
    182  */
    183 #define	ALT		0x001		/* alternate form */
    184 #define	HEXPREFIX	0x002		/* add 0x or 0X prefix */
    185 #define	LADJUST		0x004		/* left adjustment */
    186 #define	LONGDBL		0x008		/* long double; unimplemented */
    187 #define	LONGINT		0x010		/* long integer */
    188 #define	QUADINT		0x020		/* quad integer */
    189 #define	SHORTINT	0x040		/* short integer */
    190 #define	MAXINT		0x080		/* (unsigned) intmax_t */
    191 #define	PTRINT		0x100		/* (unsigned) ptrdiff_t */
    192 #define	SIZEINT		0x200		/* (signed) size_t */
    193 #define	ZEROPAD		0x400		/* zero (as opposed to blank) pad */
    194 #define FPT		0x800		/* Floating point number */
    195 #ifdef POSITIONAL_PARAMS
    196 #define POINTER		0x10000		/* Pointer to something */
    197 #define SIGNED		0x20000		/* signed value */
    198 #define CHARINT		0x40000		/* move above when %hhd implemented */
    199 #endif
    200 
    201 int
    202 vfprintf(fp, fmt0, ap)
    203 	FILE *fp;
    204 	const char *fmt0;
    205 	_BSD_VA_LIST_ ap;
    206 {
    207 	int ret;
    208 
    209 	FLOCKFILE(fp);
    210 	ret = __vfprintf_unlocked(fp, fmt0, ap);
    211 	FUNLOCKFILE(fp);
    212 
    213 	return ret;
    214 }
    215 
    216 
    217 
    218 /* NB: async-signal-safe when fp->_flags & __SAFE */
    219 int
    220 __vfprintf_unlocked(fp, fmt0, ap)
    221 	FILE *fp;
    222 	const char *fmt0;
    223 	_BSD_VA_LIST_ ap;
    224 {
    225 	const char *fmt;/* format string */
    226 	int ch;	/* character from fmt */
    227 	int n, m;	/* handy integers (short term usage) */
    228 	const char *cp;	/* handy char pointer (short term usage) */
    229 	char *bp;	/* handy char pointer (short term usage) */
    230 	struct __siov *iovp;/* for PRINT macro */
    231 	int flags;	/* flags as above */
    232 	int ret;		/* return value accumulator */
    233 	int width;		/* width from format (%8d), or 0 */
    234 	int prec;		/* precision from format (%.3d), or -1 */
    235 	char sign;		/* sign prefix (' ', '+', '-', or \0) */
    236 	wchar_t wc;
    237 	mbstate_t ps;
    238 #ifndef NO_FLOATING_POINT
    239 	char *decimal_point = NULL;
    240 	char softsign;		/* temporary negative sign for floats */
    241 	double _double;		/* double precision arguments %[eEfgG] */
    242 	int expt;		/* integer value of exponent */
    243 	int expsize = 0;	/* character count for expstr */
    244 	int ndig;		/* actual number of digits returned by cvt */
    245 	char expstr[7];		/* buffer for exponent string */
    246 	char *dtoaresult = NULL;
    247 #endif
    248 
    249 #ifdef __GNUC__			/* gcc has builtin quad type (long long) SOS */
    250 #define	quad_t	  long long
    251 #define	u_quad_t  unsigned long long
    252 #endif
    253 
    254 #define	INTMAX_T	intmax_t
    255 #define	UINTMAX_T	uintmax_t
    256 
    257 	UINTMAX_T _uintmax;	/* integer arguments %[diouxX] */
    258 	enum { OCT, DEC, HEX } base;/* base for [diouxX] conversion */
    259 	int dprec;		/* a copy of prec if [diouxX], 0 otherwise */
    260 	int realsz;		/* field size expanded by dprec */
    261 	int size;		/* size of converted field or string */
    262 	const char *xdigs = NULL;/* digits for [xX] conversion */
    263 #define NIOV 8
    264 	struct __suio uio;	/* output information: summary */
    265 	struct __siov iov[NIOV];/* ... and individual io vectors */
    266 	char buf[BUF];		/* space for %c, %[diouxX], %[eEfgG] */
    267 	char ox[2];		/* space for 0x hex-prefix */
    268 
    269 	/*
    270 	 * Choose PADSIZE to trade efficiency vs. size.  If larger printf
    271 	 * fields occur frequently, increase PADSIZE and make the initialisers
    272 	 * below longer.
    273 	 */
    274 #define	PADSIZE	16		/* pad chunk size */
    275 	static const char blanks[PADSIZE] =
    276 	 {' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' '};
    277 	static const char zeroes[PADSIZE] =
    278 	 {'0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0'};
    279 #ifdef POSITIONAL_PARAMS	/* %n$... */
    280 	union parg parg[1 + NL_ARGMAX];
    281 	int positional = 0;
    282 	int argnum = 0;
    283 
    284 	memset(&parg, 0, sizeof parg);
    285 #endif
    286 
    287 	/*
    288 	 * BEWARE, these `goto error' on error, and PAD uses `n'.
    289 	 */
    290 #define	PRINT(ptr, len) do { \
    291 	iovp->iov_base = __UNCONST(ptr); \
    292 	iovp->iov_len = (len); \
    293 	uio.uio_resid += (len); \
    294 	iovp++; \
    295 	if (++uio.uio_iovcnt >= NIOV) { \
    296 		if (__sprint(fp, &uio)) \
    297 			goto error; \
    298 		iovp = iov; \
    299 	} \
    300 } while (/*CONSTCOND*/0)
    301 
    302 #define	PAD(howmany, with) do { \
    303 	if ((n = (howmany)) > 0) { \
    304 		while (n > PADSIZE) { \
    305 			PRINT(with, PADSIZE); \
    306 			n -= PADSIZE; \
    307 		} \
    308 		PRINT(with, n); \
    309 	} \
    310 } while (/*CONSTCOND*/0)
    311 
    312 #define	FLUSH() do { \
    313 	if (uio.uio_resid && __sprint(fp, &uio)) \
    314 		goto error; \
    315 	uio.uio_iovcnt = 0; \
    316 	iovp = iov; \
    317 } while (/*CONSTCOND*/0)
    318 
    319 	/*
    320 	 * To extend shorts properly, we need both signed and unsigned
    321 	 * argument extraction methods.
    322 	 */
    323 #define	SARG(flags, ap) \
    324 	(flags&MAXINT ? va_arg(ap, intmax_t) : \
    325 	    flags&PTRINT ? va_arg(ap, ptrdiff_t) : \
    326 	    flags&SIZEINT ? va_arg(ap, ssize_t) : /* XXX */ \
    327 	    flags&QUADINT ? va_arg(ap, quad_t) : \
    328 	    flags&LONGINT ? va_arg(ap, long) : \
    329 	    flags&SHORTINT ? (long)(short)va_arg(ap, int) : \
    330 	    (long)va_arg(ap, int))
    331 #define	UARG(flags, ap) \
    332 	(flags&MAXINT ? va_arg(ap, uintmax_t) : \
    333 	    flags&PTRINT ? va_arg(ap, uintptr_t) : /* XXX */ \
    334 	    flags&SIZEINT ? va_arg(ap, size_t) : \
    335 	    flags&QUADINT ? va_arg(ap, u_quad_t) : \
    336 	    flags&LONGINT ? va_arg(ap, u_long) : \
    337 	    flags&SHORTINT ? (u_long)(u_short)va_arg(ap, int) : \
    338 	    (u_long)va_arg(ap, u_int))
    339 
    340 	_DIAGASSERT(fp != NULL);
    341 	_DIAGASSERT(fmt0 != NULL);
    342 
    343 	_SET_ORIENTATION(fp, -1);
    344 
    345 	/* sorry, fprintf(read_only_file, "") returns -1, not 0 */
    346 	if (cantwrite(fp)) {
    347 		errno = EBADF;
    348 		return (-1);
    349 	}
    350 
    351 	/* optimise fprintf(stderr) (and other unbuffered Unix files) */
    352 	if ((fp->_flags & (__SNBF|__SWR|__SRW)) == (__SNBF|__SWR) &&
    353 	    fp->_file >= 0) {
    354 		ret = __sbprintf(fp, fmt0, ap);
    355 		return (ret);
    356 	}
    357 
    358 	fmt = fmt0;
    359 	uio.uio_iov = iovp = iov;
    360 	uio.uio_resid = 0;
    361 	uio.uio_iovcnt = 0;
    362 	ret = 0;
    363 
    364 	memset(&ps, 0, sizeof(ps));
    365 
    366 	/*
    367 	 * Scan the format for conversions (`%' character).
    368 	 */
    369 	for (;;) {
    370 		cp = fmt;
    371 		if (fp->_flags & __SAFE) {
    372 			for (; *fmt && *fmt != '%'; fmt++)
    373 				continue;
    374 			n = *fmt == '%';
    375 		} else {
    376 			while ((n = mbrtowc(&wc, fmt, MB_CUR_MAX, &ps)) > 0) {
    377 				fmt += n;
    378 				if (wc == '%') {
    379 					fmt--;
    380 					break;
    381 				}
    382 			}
    383 		}
    384 		if ((m = fmt - cp) != 0) {
    385 			PRINT(cp, m);
    386 			ret += m;
    387 		}
    388 		if (n <= 0)
    389 			goto done;
    390 		fmt0 = fmt;	/* save pointer to the '%' */
    391 		fmt++;		/* skip over '%' */
    392 
    393 		flags = 0;
    394 		dprec = 0;
    395 		width = 0;
    396 		prec = -1;
    397 		sign = '\0';
    398 
    399 #ifdef POSITIONAL_PARAMS
    400 		ch = *fmt;
    401 		if (is_digit(ch) && fmt[1] == '$' && positional >= 0) {
    402 			fmt += 2;
    403 			if (positional == 0) {
    404 				set_printf_args(parg, fmt0, ap);
    405 				positional = 1;
    406 			}
    407 			argnum = to_digit(ch);
    408 		}
    409 #endif
    410 
    411 
    412 rflag:		ch = *fmt++;
    413 reswitch:	switch (ch) {
    414 		case ' ':
    415 			/*
    416 			 * ``If the space and + flags both appear, the space
    417 			 * flag will be ignored.''
    418 			 *	-- ANSI X3J11
    419 			 */
    420 			if (!sign)
    421 				sign = ' ';
    422 			goto rflag;
    423 		case '#':
    424 			flags |= ALT;
    425 			goto rflag;
    426 		case '*':
    427 #ifdef POSITIONAL_PARAMS
    428 			if (positional > 0) {
    429 				ch = *fmt++;
    430 				if (!is_digit(ch))
    431 					goto invalid;
    432 				n = to_digit(ch);
    433 				ch = *fmt++;
    434 				if (n == 0 || ch != '$')
    435 					goto invalid;
    436 				width = (int)parg[n]._uintmax;
    437 			} else
    438 #endif
    439 			width = va_arg(ap, int);
    440 			/*
    441 			 * ``A negative field width argument is taken as a
    442 			 * - flag followed by a positive field width.''
    443 			 *	-- ANSI X3J11
    444 			 * They don't exclude field widths read from args.
    445 			 */
    446 			if (width >= 0)
    447 				goto rflag;
    448 			width = -width;
    449 			/* FALLTHROUGH */
    450 		case '-':
    451 			flags |= LADJUST;
    452 			goto rflag;
    453 		case '+':
    454 			sign = '+';
    455 			goto rflag;
    456 		case '.':
    457 			if ((ch = *fmt++) == '*') {
    458 #ifdef POSITIONAL_PARAMS
    459 				if (positional > 0) {
    460 					ch = *fmt++;
    461 					if (!is_digit(ch))
    462 						goto invalid;
    463 					n = to_digit(ch);
    464 					ch = *fmt++;
    465 					if (n == 0 || ch != '$')
    466 						goto invalid;
    467 					n = (int)parg[n]._uintmax;
    468 				} else
    469 #endif
    470 				n = va_arg(ap, int);
    471 				prec = n < 0 ? -1 : n;
    472 				goto rflag;
    473 			}
    474 			n = 0;
    475 			while (is_digit(ch)) {
    476 				n = 10 * n + to_digit(ch);
    477 				ch = *fmt++;
    478 			}
    479 			prec = n < 0 ? -1 : n;
    480 			goto reswitch;
    481 		case '0':
    482 			/*
    483 			 * ``Note that 0 is taken as a flag, not as the
    484 			 * beginning of a field width.''
    485 			 *	-- ANSI X3J11
    486 			 */
    487 			flags |= ZEROPAD;
    488 			goto rflag;
    489 		case '1': case '2': case '3': case '4':
    490 		case '5': case '6': case '7': case '8': case '9':
    491 			n = 0;
    492 			do {
    493 				n = 10 * n + to_digit(ch);
    494 				ch = *fmt++;
    495 			} while (is_digit(ch));
    496 			width = n;
    497 			goto reswitch;
    498 #ifndef NO_FLOATING_POINT
    499 		case 'L':
    500 			flags |= LONGDBL;
    501 			goto rflag;
    502 #endif
    503 		case 'h':
    504 			flags |= SHORTINT;
    505 			goto rflag;
    506 		case 'j':
    507 			flags |= MAXINT;
    508 			goto rflag;
    509 		case 'l':
    510 			if (*fmt == 'l') {
    511 				fmt++;
    512 				flags |= QUADINT;
    513 			} else {
    514 				flags |= LONGINT;
    515 			}
    516 			goto rflag;
    517 		case 'q':
    518 			flags |= QUADINT;
    519 			goto rflag;
    520 		case 't':
    521 			flags |= PTRINT;
    522 			goto rflag;
    523 		case 'z':
    524 			flags |= SIZEINT;
    525 			goto rflag;
    526 		case 'c':
    527 #ifdef POSITIONAL_PARAMS
    528 			if (positional > 0)
    529 				*buf = (int)parg[argnum]._uintmax;
    530 			else
    531 #endif
    532 			*buf = va_arg(ap, int);
    533 			cp = buf;
    534 			size = 1;
    535 			sign = '\0';
    536 			break;
    537 		case 'D':
    538 			flags |= LONGINT;
    539 			/*FALLTHROUGH*/
    540 		case 'd':
    541 		case 'i':
    542 #ifdef POSITIONAL_PARAMS
    543 			if (positional > 0)
    544 				_uintmax = parg[argnum]._uintmax;
    545 			else
    546 #endif
    547 			_uintmax = SARG(flags, ap);
    548 			if ((intmax_t)_uintmax < 0) {
    549 				_uintmax = -_uintmax;
    550 				sign = '-';
    551 			}
    552 			base = DEC;
    553 			goto number;
    554 #ifndef NO_FLOATING_POINT
    555 		case 'e':
    556 		case 'E':
    557 		case 'f':
    558 		case 'F':
    559 		case 'g':
    560 		case 'G':
    561 			if (prec == -1) {
    562 				prec = DEFPREC;
    563 			} else if ((ch == 'g' || ch == 'G') && prec == 0) {
    564 				prec = 1;
    565 			}
    566 
    567 #ifdef POSITIONAL_PARAMS
    568 			if (positional > 0)
    569 				_double = parg[argnum]._double;
    570 			else
    571 #endif
    572 			if (flags & LONGDBL) {
    573 				_double = (double) va_arg(ap, long double);
    574 			} else {
    575 				_double = va_arg(ap, double);
    576 			}
    577 
    578 			/* do this before tricky precision changes */
    579 			if (isinf(_double)) {
    580 				if (_double < 0)
    581 					sign = '-';
    582 				if (ch == 'E' || ch == 'F' || ch == 'G')
    583 					cp = "INF";
    584 				else
    585 					cp = "inf";
    586 				size = 3;
    587 				break;
    588 			}
    589 			if (isnan(_double)) {
    590 				if (ch == 'E' || ch == 'F' || ch == 'G')
    591 					cp = "NAN";
    592 				else
    593 					cp = "nan";
    594 				size = 3;
    595 				break;
    596 			}
    597 			if (fp->_flags & __SAFE) {
    598 				if (ch == 'E' || ch == 'F' || ch == 'G')
    599 					cp = "UNK";
    600 				else
    601 					cp = "unk";
    602 				size = 3;
    603 				break;
    604 			}
    605 
    606 			flags |= FPT;
    607 			if (dtoaresult)
    608 				__freedtoa(dtoaresult);
    609 			cp = dtoaresult = cvt(_double, prec, flags, &softsign,
    610 				&expt, ch, &ndig);
    611 			if (ch == 'g' || ch == 'G') {
    612 				if (expt <= -4 || expt > prec)
    613 					ch = (ch == 'g') ? 'e' : 'E';
    614 				else
    615 					ch = 'g';
    616 			}
    617 			if (ch == 'e' || ch == 'E') {
    618 				--expt;
    619 				expsize = exponent(expstr, expt, ch);
    620 				size = expsize + ndig;
    621 				if (ndig > 1 || flags & ALT)
    622 					++size;
    623 			} else if (ch == 'f' || ch == 'F') {
    624 				if (expt > 0) {
    625 					size = expt;
    626 					if (prec || flags & ALT)
    627 						size += prec + 1;
    628 				} else	/* "0.X" */
    629 					size = prec + 2;
    630 			} else if (expt >= ndig) {	/* fixed g fmt */
    631 				size = expt;
    632 				if (flags & ALT)
    633 					++size;
    634 			} else
    635 				size = ndig + (expt > 0 ?
    636 					1 : 2 - expt);
    637 
    638 			if (softsign)
    639 				sign = '-';
    640 			break;
    641 #endif /* NO_FLOATING_POINT */
    642 		case 'n':
    643 #ifdef POSITIONAL_PARAMS
    644 			if (positional > 0)
    645 				/*
    646 				 * This could be implemented, but it stinks
    647 				 * of a security risk.
    648 				 */
    649 				PRINT("(%n unassigned)", 15);
    650 			else
    651 #endif
    652 			if (flags & MAXINT)
    653 				*va_arg(ap, intmax_t *) = ret;
    654 			else if (flags & PTRINT)
    655 				*va_arg(ap, ptrdiff_t *) = ret;
    656 			else if (flags & SIZEINT)
    657 				*va_arg(ap, ssize_t *) = ret;	/* XXX */
    658 			else if (flags & QUADINT)
    659 				*va_arg(ap, quad_t *) = ret;
    660 			else if (flags & LONGINT)
    661 				*va_arg(ap, long *) = ret;
    662 			else if (flags & SHORTINT)
    663 				*va_arg(ap, short *) = ret;
    664 			else
    665 				*va_arg(ap, int *) = ret;
    666 			continue;	/* no output */
    667 		case 'O':
    668 			flags |= LONGINT;
    669 			/*FALLTHROUGH*/
    670 		case 'o':
    671 #ifdef POSITIONAL_PARAMS
    672 			if (positional > 0)
    673 				_uintmax = parg[argnum]._uintmax;
    674 			else
    675 #endif
    676 			_uintmax = UARG(flags, ap);
    677 			base = OCT;
    678 			goto nosign;
    679 		case 'p':
    680 			/*
    681 			 * ``The argument shall be a pointer to void.  The
    682 			 * value of the pointer is converted to a sequence
    683 			 * of printable characters, in an implementation-
    684 			 * defined manner.''
    685 			 *	-- ANSI X3J11
    686 			 */
    687 #ifdef POSITIONAL_PARAMS
    688 			if (positional > 0)
    689 				_uintmax = (uintptr_t)parg[argnum]._pointer;
    690 			else
    691 #endif
    692 			/* NOSTRICT */
    693 			_uintmax = (uintptr_t)va_arg(ap, void *);
    694 			base = HEX;
    695 			xdigs = "0123456789abcdef";
    696 			flags |= HEXPREFIX;
    697 			ch = 'x';
    698 			goto nosign;
    699 		case 's':
    700 #ifdef POSITIONAL_PARAMS
    701 			if (positional > 0)
    702 				cp = parg[argnum]._pointer;
    703 			else
    704 #endif
    705 			cp = va_arg(ap, char *);
    706 			if (cp == NULL)
    707 				cp = "(null)";
    708 			if (prec >= 0) {
    709 				/*
    710 				 * can't use strlen; can only look for the
    711 				 * NUL in the first `prec' characters, and
    712 				 * strlen() will go further.
    713 				 */
    714 				char *p = memchr(cp, 0, (size_t)prec);
    715 
    716 				if (p != NULL) {
    717 					size = p - cp;
    718 					if (size > prec)
    719 						size = prec;
    720 				} else
    721 					size = prec;
    722 			} else
    723 				size = strlen(cp);
    724 			sign = '\0';
    725 			break;
    726 		case 'U':
    727 			flags |= LONGINT;
    728 			/*FALLTHROUGH*/
    729 		case 'u':
    730 #ifdef POSITIONAL_PARAMS
    731 			if (positional > 0)
    732 				_uintmax = parg[argnum]._uintmax;
    733 			else
    734 #endif
    735 			_uintmax = UARG(flags, ap);
    736 			base = DEC;
    737 			goto nosign;
    738 		case 'X':
    739 			xdigs = "0123456789ABCDEF";
    740 			goto hex;
    741 		case 'x':
    742 			xdigs = "0123456789abcdef";
    743 hex:
    744 #ifdef POSITIONAL_PARAMS
    745 			if (positional > 0)
    746 				_uintmax = parg[argnum]._uintmax;
    747 			else
    748 #endif
    749 			_uintmax = UARG(flags, ap);
    750 			base = HEX;
    751 			/* leading 0x/X only if non-zero */
    752 			if (flags & ALT && _uintmax != 0)
    753 				flags |= HEXPREFIX;
    754 
    755 			/* unsigned conversions */
    756 nosign:			sign = '\0';
    757 			/*
    758 			 * ``... diouXx conversions ... if a precision is
    759 			 * specified, the 0 flag will be ignored.''
    760 			 *	-- ANSI X3J11
    761 			 */
    762 number:			if ((dprec = prec) >= 0)
    763 				flags &= ~ZEROPAD;
    764 
    765 			/*
    766 			 * ``The result of converting a zero value with an
    767 			 * explicit precision of zero is no characters.''
    768 			 *	-- ANSI X3J11
    769 			 */
    770 			bp = buf + BUF;
    771 			if (_uintmax != 0 || prec != 0) {
    772 				/*
    773 				 * Unsigned mod is hard, and unsigned mod
    774 				 * by a constant is easier than that by
    775 				 * a variable; hence this switch.
    776 				 */
    777 				switch (base) {
    778 				case OCT:
    779 					do {
    780 						*--bp = to_char(_uintmax & 7);
    781 						_uintmax >>= 3;
    782 					} while (_uintmax);
    783 					/* handle octal leading 0 */
    784 					if (flags & ALT && *bp != '0')
    785 						*--bp = '0';
    786 					break;
    787 
    788 				case DEC:
    789 					/* many numbers are 1 digit */
    790 					while (_uintmax >= 10) {
    791 						*--bp = to_char(_uintmax % 10);
    792 						_uintmax /= 10;
    793 					}
    794 					*--bp = to_char(_uintmax);
    795 					break;
    796 
    797 				case HEX:
    798 					do {
    799 						*--bp = xdigs[(size_t)
    800 						    (_uintmax & 15)];
    801 						_uintmax >>= 4;
    802 					} while (_uintmax);
    803 					break;
    804 
    805 				default:
    806 					cp = "bug in vfprintf: bad base";
    807 					size = strlen(cp);
    808 					goto skipsize;
    809 				}
    810 			}
    811 			cp = bp;
    812 			size = buf + BUF - bp;
    813 		skipsize:
    814 			break;
    815 		default:	/* "%?" prints ?, unless ? is NUL */
    816 invalid:
    817 			if (ch == '\0')
    818 				goto done;
    819 			/* Back up so we output all of the errorous format */
    820 			fmt = fmt0 + 1;
    821 			/* FALLTHROUGH */
    822 		case '%':
    823 			if (fmt != fmt0 + 2)
    824 				goto invalid;
    825 			/* Output a single '%' */
    826 			*buf = '%';
    827 			cp = buf;
    828 			size = 1;
    829 			sign = '\0';
    830 			width = 0;
    831 			prec = -1;
    832 #ifdef POSITIONAL_PARAMS
    833 			argnum = 1;
    834 #endif
    835 			break;
    836 		}
    837 
    838 #ifdef POSITIONAL_PARAMS
    839 		if (argnum == 0) {
    840 			if (positional == 0)
    841 				positional = -1;
    842 			if (positional > 0)
    843 				goto invalid;
    844 		}
    845 		argnum = 0;
    846 #endif
    847 
    848 		/*
    849 		 * All reasonable formats wind up here.  At this point, `cp'
    850 		 * points to a string which (if not flags&LADJUST) should be
    851 		 * padded out to `width' places.  If flags&ZEROPAD, it should
    852 		 * first be prefixed by any sign or other prefix; otherwise,
    853 		 * it should be blank padded before the prefix is emitted.
    854 		 * After any left-hand padding and prefixing, emit zeroes
    855 		 * required by a decimal [diouxX] precision, then print the
    856 		 * string proper, then emit zeroes required by any leftover
    857 		 * floating precision; finally, if LADJUST, pad with blanks.
    858 		 *
    859 		 * Compute actual size, so we know how much to pad.
    860 		 * size excludes decimal prec; realsz includes it.
    861 		 */
    862 		realsz = dprec > size ? dprec : size;
    863 		if (sign)
    864 			realsz++;
    865 		else if (flags & HEXPREFIX)
    866 			realsz+= 2;
    867 
    868 		/* right-adjusting blank padding */
    869 		if ((flags & (LADJUST|ZEROPAD)) == 0)
    870 			PAD(width - realsz, blanks);
    871 
    872 		/* prefix */
    873 		if (sign) {
    874 			PRINT(&sign, 1);
    875 		} else if (flags & HEXPREFIX) {
    876 			ox[0] = '0';
    877 			ox[1] = ch;
    878 			PRINT(ox, 2);
    879 		}
    880 
    881 		/* right-adjusting zero padding */
    882 		if ((flags & (LADJUST|ZEROPAD)) == ZEROPAD)
    883 			PAD(width - realsz, zeroes);
    884 
    885 		/* leading zeroes from decimal precision */
    886 		PAD(dprec - size, zeroes);
    887 
    888 		/* the string or number proper */
    889 #ifndef NO_FLOATING_POINT
    890 		if ((flags & FPT) == 0) {
    891 			PRINT(cp, size);
    892 		} else {	/* glue together f_p fragments */
    893 			if (ch >= 'f') {	/* 'f' or 'g' */
    894 				if (decimal_point == NULL)
    895 					decimal_point =
    896 					    localeconv()->decimal_point;
    897 				if (_double == 0) {
    898 					/* kludge for __dtoa irregularity */
    899 					PRINT("0", 1);
    900 					if (expt < ndig || (flags & ALT) != 0) {
    901 						PRINT(decimal_point, 1);
    902 						PAD(ndig - 1, zeroes);
    903 					}
    904 				} else if (expt <= 0) {
    905 					PRINT("0", 1);
    906 					PRINT(decimal_point, 1);
    907 					PAD(-expt, zeroes);
    908 					PRINT(cp, ndig);
    909 				} else if (expt >= ndig) {
    910 					PRINT(cp, ndig);
    911 					PAD(expt - ndig, zeroes);
    912 					if (flags & ALT)
    913 						PRINT(".", 1);
    914 				} else {
    915 					PRINT(cp, expt);
    916 					cp += expt;
    917 					PRINT(".", 1);
    918 					PRINT(cp, ndig-expt);
    919 				}
    920 			} else {	/* 'e' or 'E' */
    921 				if (ndig > 1 || flags & ALT) {
    922 					ox[0] = *cp++;
    923 					ox[1] = '.';
    924 					PRINT(ox, 2);
    925 					if (_double) {
    926 						PRINT(cp, ndig-1);
    927 					} else	/* 0.[0..] */
    928 						/* __dtoa irregularity */
    929 						PAD(ndig - 1, zeroes);
    930 				} else	/* XeYYY */
    931 					PRINT(cp, 1);
    932 				PRINT(expstr, expsize);
    933 			}
    934 		}
    935 #else
    936 		PRINT(cp, size);
    937 #endif
    938 		/* left-adjusting padding (always blank) */
    939 		if (flags & LADJUST)
    940 			PAD(width - realsz, blanks);
    941 
    942 		/* finally, adjust ret */
    943 		ret += width > realsz ? width : realsz;
    944 
    945 		FLUSH();	/* copy out the I/O vectors */
    946 	}
    947 done:
    948 	FLUSH();
    949 error:
    950 #ifndef NO_FLOATING_POINT
    951 	if (dtoaresult)
    952 		__freedtoa(dtoaresult);
    953 #endif
    954 	if (__sferror(fp))
    955 		ret = -1;
    956 	return (ret);
    957 }
    958 
    959 #ifndef NO_FLOATING_POINT
    960 
    961 static char *
    962 cvt(value, ndigits, flags, sign, decpt, ch, length)
    963 	double value;
    964 	int ndigits, flags, *decpt, ch, *length;
    965 	char *sign;
    966 {
    967 	int mode, dsgn;
    968 	char *digits, *bp, *rve;
    969 
    970 	_DIAGASSERT(decpt != NULL);
    971 	_DIAGASSERT(length != NULL);
    972 	_DIAGASSERT(sign != NULL);
    973 
    974 	if (ch == 'f') {
    975 		mode = 3;		/* ndigits after the decimal point */
    976 	} else {
    977 		/* To obtain ndigits after the decimal point for the 'e'
    978 		 * and 'E' formats, round to ndigits + 1 significant
    979 		 * figures.
    980 		 */
    981 		if (ch == 'e' || ch == 'E') {
    982 			ndigits++;
    983 		}
    984 		mode = 2;		/* ndigits significant digits */
    985 	}
    986 
    987 	digits = __dtoa(value, mode, ndigits, decpt, &dsgn, &rve);
    988 	if (dsgn) {
    989 		value = -value;
    990 		*sign = '-';
    991 	} else
    992 		*sign = '\000';
    993 	if ((ch != 'g' && ch != 'G') || flags & ALT) {	/* Print trailing zeros */
    994 		bp = digits + ndigits;
    995 		if (ch == 'f') {
    996 			if (*digits == '0' && value)
    997 				*decpt = -ndigits + 1;
    998 			bp += *decpt;
    999 		}
   1000 		if (value == 0)	/* kludge for __dtoa irregularity */
   1001 			rve = bp;
   1002 		while (rve < bp)
   1003 			*rve++ = '0';
   1004 	}
   1005 	*length = rve - digits;
   1006 	return (digits);
   1007 }
   1008 
   1009 static int
   1010 exponent(p0, expon, fmtch)
   1011 	char *p0;
   1012 	int expon, fmtch;
   1013 {
   1014 	char *p, *t;
   1015 	char expbuf[MAXEXP];
   1016 
   1017 	_DIAGASSERT(p0 != NULL);
   1018 
   1019 	p = p0;
   1020 	*p++ = fmtch;
   1021 	if (expon < 0) {
   1022 		expon = -expon;
   1023 		*p++ = '-';
   1024 	}
   1025 	else
   1026 		*p++ = '+';
   1027 	t = expbuf + MAXEXP;
   1028 	if (expon > 9) {
   1029 		do {
   1030 			*--t = to_char(expon % 10);
   1031 		} while ((expon /= 10) > 9);
   1032 		*--t = to_char(expon);
   1033 		for (; t < expbuf + MAXEXP; *p++ = *t++);
   1034 	}
   1035 	else {
   1036 		*p++ = '0';
   1037 		*p++ = to_char(expon);
   1038 	}
   1039 	return (p - p0);
   1040 }
   1041 #endif /* NO_FLOATING_POINT */
   1042 
   1043 #ifdef POSITIONAL_PARAMS
   1044 static void parse_fmt(union parg *, const char *);
   1045 
   1046 static void
   1047 set_printf_args(union parg *arg, const char *fmt, _BSD_VA_LIST_ ap)
   1048 {
   1049 	int flags;
   1050 	int i;
   1051 
   1052 	/*
   1053 	 * In order to set ap so that the n'th argument can be picked next
   1054 	 * we have to know the type of all the arguments.
   1055 	 */
   1056 	parse_fmt(arg, fmt);
   1057 
   1058 	/* Now walk ap along the arguments saving the values */
   1059 	for (i = 1; i <= NL_ARGMAX; i++) {
   1060 		flags = arg[i].flags;
   1061 		if (flags == 0)
   1062 			/* arg not used in format */
   1063 			break;
   1064 		if (flags & POINTER) {
   1065 			if (flags & CHARINT)
   1066 				arg[i]._pointer = va_arg(ap, char *);
   1067 			else
   1068 				arg[i]._pointer = va_arg(ap, void *);
   1069 			continue;
   1070 		}
   1071 		if (flags & FPT) {
   1072 			if (flags & LONGDBL)
   1073 				arg[i]._double = va_arg(ap, long double);
   1074 			else
   1075 				arg[i]._double = va_arg(ap, double);
   1076 			continue;
   1077 		}
   1078 		if (flags & SIGNED)
   1079 			arg[i]._uintmax = SARG(flags, ap);
   1080 		else
   1081 			arg[i]._uintmax = UARG(flags, ap);
   1082 	}
   1083 	return;
   1084 }
   1085 
   1086 static void
   1087 parse_fmt(union parg *arg, const char *fmt)
   1088 {
   1089 	int argnum;
   1090 	int flags;
   1091 	int n;
   1092 	char ch;
   1093 	wchar_t wc;
   1094 	mbstate_t ps;
   1095 
   1096 	mbrtowc(NULL, NULL, 0, &ps);
   1097 
   1098 	for (;;) {
   1099 		do {
   1100 			n = mbrtowc(&wc, fmt, MB_CUR_MAX, &ps);
   1101 			if (n <= 0)
   1102 				return;
   1103 			fmt += n;
   1104 		} while (wc != '%');
   1105 		/* Positional formats all start "%n$" */
   1106 		ch = *fmt++;
   1107 		if (ch < '1' || ch > '9' || *fmt != '$')
   1108 			continue;
   1109 		fmt++;
   1110 		argnum = to_digit(ch);
   1111 		flags = ALT;	/* something non-zero that doesn't matter */
   1112 		for (;;) {
   1113 			ch = *fmt++;
   1114 			switch (ch) {
   1115 			case ' ':	continue;
   1116 			case '#':	continue;
   1117 			case '-':	continue;
   1118 			case '+':	continue;
   1119 			case '*':	continue;
   1120 			case '0':	continue;
   1121 			case '.':	continue;
   1122 			case 'h':	flags |= SHORTINT;	continue;
   1123 			case 'j':	flags |= MAXINT;	continue;
   1124 #ifdef FLOATING_POINT
   1125 			case 'L':	flags |= LONGDBL;	continue;
   1126 #endif
   1127 			case 'q':	flags |= QUADINT;	continue;
   1128 			case 't':	flags |= PTRINT;	continue;
   1129 			case 'z':	flags |= SIZEINT;	continue;
   1130 			case 'l':
   1131 				if (fmt[0] == 'l') {
   1132 					fmt++;
   1133 					flags |= QUADINT;
   1134 				} else
   1135 					flags |= LONGINT;
   1136 				continue;
   1137 			case '1': case '2': case '3': case '4':
   1138 			case '5': case '6': case '7': case '8': case '9':
   1139 				if (*fmt == '$') {
   1140 					fmt++;
   1141 					arg[to_digit(ch)].flags = SIGNED;
   1142 				}
   1143 				continue;
   1144 			case 'D':
   1145 				flags |= LONGINT | SIGNED;
   1146 				break;
   1147 			case 'O': case 'U':
   1148 				flags |= LONGINT;
   1149 				break;
   1150 			case 'd': case 'i':
   1151 				flags |= SIGNED;
   1152 				break;
   1153 			case 'c': case 'o': case 'u': case 'X': case 'x':
   1154 				break;
   1155 #ifdef FLOATING_POINT
   1156 			case 'e': case 'f': case 'g':
   1157 			case 'E': case 'F': case 'G':
   1158 				flags |= FPT;
   1159 				break;
   1160 #endif /* FLOATING_POINT */
   1161 			case 's':
   1162 				flags |= CHARINT | POINTER;
   1163 				break;
   1164 			case 'n': case 'p':
   1165 				flags |= POINTER;
   1166 				break;
   1167 			default:
   1168 				/* Unexpected end of format */
   1169 				if (ch == 0)
   1170 					return;
   1171 				ch = 0;
   1172 				break;
   1173 			}
   1174 			if (argnum != 0)
   1175 				arg[argnum].flags = flags;
   1176 			break;
   1177 		}
   1178 	}
   1179 }
   1180 #endif
   1181 #endif
   1182 #define NARROW
   1183 #include "vfwprintf.c"
   1184