xref: /dragonfly/lib/libc/stdio/vfprintf.c (revision 9b5ae8ee)
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. All advertising materials mentioning features or use of this software
17  *    must display the following acknowledgement:
18  *	This product includes software developed by the University of
19  *	California, Berkeley and its contributors.
20  * 4. 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  * @(#)vfprintf.c	8.1 (Berkeley) 6/4/93
37  * $FreeBSD: src/lib/libc/stdio/vfprintf.c,v 1.34 2001/12/13 19:45:41 phantom Exp $
38  * $DragonFly: src/lib/libc/stdio/vfprintf.c,v 1.16 2006/07/05 15:04:54 joerg Exp $
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 <limits.h>
52 #include <locale.h>
53 #include <stddef.h>
54 #include <stdint.h>
55 #include <stdio.h>
56 #include <stdlib.h>
57 #include <string.h>
58 #include <wchar.h>
59 
60 #include <stdarg.h>
61 #include "un-namespace.h"
62 
63 #include "libc_private.h"
64 #include "local.h"
65 #include "priv_stdio.h"
66 
67 /* Borrowed from sys/systm.h, which is _KERNEL-only: */
68 #define	CTASSERT(x)		_CTASSERT(x, __LINE__)
69 #define	_CTASSERT(x, y)		__CTASSERT(x, y)
70 #define	__CTASSERT(x, y)	typedef char __assert ## y[(x) ? 1 : -1]
71 
72 /* This code assumes that a quad_t can fit in a long long: */
73 CTASSERT(sizeof(quad_t) == sizeof(long long));
74 
75 union arg {
76 	int			 intarg;
77 	unsigned int		 uintarg;
78 	long			 longarg;
79 	unsigned long		 ulongarg;
80 	long long		 longlongarg;
81 	unsigned long long	 ulonglongarg;
82 	ptrdiff_t		 ptrdiffarg;
83 	size_t			 sizearg;
84 	intmax_t		 intmaxarg;
85 	uintmax_t		 uintmaxarg;
86 	void			*pvoidarg;
87 	char			*pchararg;
88 	signed char		*pschararg;
89 	short			*pshortarg;
90 	int			*pintarg;
91 	long			*plongarg;
92 	long long		*plonglongarg;
93 	ptrdiff_t		*pptrdiffarg;
94 	size_t			*psizearg;
95 	intmax_t		*pintmaxarg;
96 #ifndef NO_FLOATING_POINT
97 	double			 doublearg;
98 	long double		 longdoublearg;
99 #endif
100 	wint_t			 wintarg;
101 	wchar_t			*pwchararg;
102 };
103 
104 /*
105  * Type ids for argument type table.
106  */
107 enum typeid {
108 	T_UNUSED, TP_SHORT, T_INT, T_U_INT, TP_INT,
109 	T_LONG, T_U_LONG, TP_LONG, T_LLONG, T_U_LLONG, TP_LLONG,
110 	T_PTRDIFFT, TP_PTRDIFFT, T_SIZET, TP_SIZET,
111 	T_INTMAXT, T_UINTMAXT, TP_INTMAXT, TP_VOID, TP_CHAR, TP_SCHAR,
112 	T_DOUBLE, T_LONG_DOUBLE, T_WINT, TP_WCHAR
113 };
114 
115 static int	__sprint(FILE *, struct __suio *);
116 static int	__sbprintf(FILE *, const char *, va_list) __printflike(2, 0);
117 static char *	__ujtoa(uintmax_t, char *, int, int, const char *, int,
118 		     char, const char *);
119 static char *	__ultoa(u_long, char *, int, int, const char *, int,
120 		     char, const char *);
121 static void	__find_arguments(const char *, va_list, union arg **);
122 static void	__grow_type_table(int, enum typeid **, int *);
123 
124 /*
125  * Flush out all the vectors defined by the given uio,
126  * then reset it so that it can be reused.
127  */
128 static int
129 __sprint(FILE *fp, struct __suio *uio)
130 {
131 	int err;
132 
133 	if (uio->uio_resid == 0) {
134 		uio->uio_iovcnt = 0;
135 		return (0);
136 	}
137 	err = __sfvwrite(fp, uio);
138 	uio->uio_resid = 0;
139 	uio->uio_iovcnt = 0;
140 	return (err);
141 }
142 
143 /*
144  * Helper function for `fprintf to unbuffered unix file': creates a
145  * temporary buffer.  We only work on write-only files; this avoids
146  * worries about ungetc buffers and so forth.
147  */
148 static int
149 __sbprintf(FILE *fp, const char *fmt, va_list ap)
150 {
151 	int ret;
152 	FILE fake;
153 	unsigned char buf[BUFSIZ];
154 
155 	/* copy the important variables */
156 	fake.pub._flags = fp->pub._flags & ~__SNBF;
157 	fake.pub._fileno = fp->pub._fileno;
158 	fake._cookie = fp->_cookie;
159 	fake._write = fp->_write;
160 
161 	fake._up = fp->_up;
162 	fake.fl_mutex = fp->fl_mutex;
163 	fake.fl_owner = fp->fl_owner;
164 	fake.fl_count = fp->fl_count;
165 	memset(WCIO_GET(&fake), 0, sizeof(struct wchar_io_data));
166 
167 	/* set up the buffer */
168 	fake._bf._base = fake.pub._p = buf;
169 	fake._bf._size = fake.pub._w = sizeof(buf);
170 	fake.pub._lbfsize = 0;	/* not actually used, but Just In Case */
171 
172 	/* do the work, then copy any error status */
173 	ret = __vfprintf(&fake, fmt, ap);
174 	if (ret >= 0 && __fflush(&fake))
175 		ret = EOF;
176 	if (fake.pub._flags & __SERR)
177 		fp->pub._flags |= __SERR;
178 	return (ret);
179 }
180 
181 /*
182  * Macros for converting digits to letters and vice versa
183  */
184 #define	to_digit(c)	((c) - '0')
185 #define is_digit(c)	((unsigned)to_digit(c) <= 9)
186 #define	to_char(n)	((n) + '0')
187 
188 /*
189  * Convert an unsigned long to ASCII for printf purposes, returning
190  * a pointer to the first character of the string representation.
191  * Octal numbers can be forced to have a leading zero; hex numbers
192  * use the given digits.
193  */
194 static char *
195 __ultoa(u_long val, char *endp, int base, int octzero, const char *xdigs,
196 	int needgrp, char thousep, const char *grp)
197 {
198 	char *cp = endp;
199 	long sval;
200 	int ndig;
201 
202 	/*
203 	 * Handle the three cases separately, in the hope of getting
204 	 * better/faster code.
205 	 */
206 	switch (base) {
207 	case 10:
208 		if (val < 10) {	/* many numbers are 1 digit */
209 			*--cp = to_char(val);
210 			return (cp);
211 		}
212 		ndig = 0;
213 		/*
214 		 * On many machines, unsigned arithmetic is harder than
215 		 * signed arithmetic, so we do at most one unsigned mod and
216 		 * divide; this is sufficient to reduce the range of
217 		 * the incoming value to where signed arithmetic works.
218 		 */
219 		if (val > LONG_MAX) {
220 			*--cp = to_char(val % 10);
221 			ndig++;
222 			sval = val / 10;
223 		} else
224 			sval = val;
225 		do {
226 			*--cp = to_char(sval % 10);
227 			ndig++;
228 			/*
229 			 * If (*grp == CHAR_MAX) then no more grouping
230 			 * should be performed.
231 			 */
232 			if (needgrp && ndig == *grp && *grp != CHAR_MAX &&
233 			    sval > 9) {
234 				*--cp = thousep;
235  				ndig = 0;
236 				/*
237 				 * If (*(grp+1) == '\0') then we have to
238 				 * use *grp character (last grouping rule)
239 				 * for all next cases
240 				 */
241 				if (*(grp + 1) != '\0')
242 					grp++;
243 			}
244 			sval /= 10;
245 		} while (sval != 0);
246 		break;
247 
248 	case 8:
249 		do {
250 			*--cp = to_char(val & 7);
251 			val >>= 3;
252 		} while (val);
253 		if (octzero && *cp != '0')
254 			*--cp = '0';
255 		break;
256 
257 	case 16:
258 		do {
259 			*--cp = xdigs[(size_t)val & 15];
260 			val >>= 4;
261 		} while (val);
262 		break;
263 
264 	default:			/* oops */
265 		abort();
266 	}
267 	return (cp);
268 }
269 
270 /* Identical to __ultoa, but for intmax_t. */
271 static char *
272 __ujtoa(uintmax_t val, char *endp, int base, int octzero, const char *xdigs,
273 	int needgrp, char thousep, const char *grp)
274 {
275 	char *cp = endp;
276 	intmax_t sval;
277 	int ndig;
278 
279 	/* quick test for small values; __ultoa is typically much faster */
280 	/* (perhaps instead we should run until small, then call __ultoa?) */
281 	if (val <= ULONG_MAX)
282 		return (__ultoa((u_long)val, endp, base, octzero, xdigs,
283 		    needgrp, thousep, grp));
284 	switch (base) {
285 	case 10:
286 		if (val < 10) {
287 			*--cp = to_char(val % 10);
288 			return (cp);
289 		}
290 		ndig = 0;
291 		if (val > INTMAX_MAX) {
292 			*--cp = to_char(val % 10);
293 			ndig++;
294 			sval = val / 10;
295 		} else
296 			sval = val;
297  		do {
298  			*--cp = to_char(sval % 10);
299 			ndig++;
300 			/*
301 			 * If (*grp == CHAR_MAX) then no more grouping
302 			 * should be performed.
303 			 */
304 			if (needgrp && *grp != CHAR_MAX && ndig == *grp &&
305 			    sval > 9) {
306 				*--cp = thousep;
307  				ndig = 0;
308 				/*
309 				 * If (*(grp+1) == '\0') then we have to
310 				 * use *grp character (last grouping rule)
311 				 * for all next cases
312 				 */
313 				if (*(grp + 1) != '\0')
314 					grp++;
315                         }
316  			sval /= 10;
317  		} while (sval != 0);
318 		break;
319 
320 	case 8:
321 		do {
322 			*--cp = to_char(val & 7);
323 			val >>= 3;
324 		} while (val);
325 		if (octzero && *cp != '0')
326 			*--cp = '0';
327 		break;
328 
329 	case 16:
330 		do {
331 			*--cp = xdigs[(size_t)val & 15];
332 			val >>= 4;
333 		} while (val);
334 		break;
335 
336 	default:
337 		abort();
338 	}
339 	return (cp);
340 }
341 
342 /*
343  * Convert a wide character string argument for the %ls format to a multibyte
344  * string representation. If not -1, prec specifies the maximum number of
345  * bytes to output, and also means that we can't assume that the wide char.
346  * string ends is null-terminated.
347  */
348 static char *
349 __wcsconv(wchar_t *wcsarg, int prec)
350 {
351 	static const mbstate_t initial;
352 	mbstate_t mbs;
353 	char buf[MB_LEN_MAX];
354 	wchar_t *p;
355 	char *convbuf;
356 	size_t clen, nbytes;
357 
358 	/* Allocate space for the maximum number of bytes we could output. */
359 	if (prec < 0) {
360 		p = wcsarg;
361 		mbs = initial;
362 		nbytes = wcsrtombs(NULL, (const wchar_t **)&p, 0, &mbs);
363 		if (nbytes == (size_t)-1)
364 			return (NULL);
365 	} else {
366 		/*
367 		 * Optimisation: if the output precision is small enough,
368 		 * just allocate enough memory for the maximum instead of
369 		 * scanning the string.
370 		 */
371 		if (prec < 128) {
372 			nbytes = prec;
373 		} else {
374 			nbytes = 0;
375 			p = wcsarg;
376 			mbs = initial;
377 			for (;;) {
378 				clen = wcrtomb(buf, *p++, &mbs);
379 				if (clen == 0 || clen == (size_t)-1 ||
380 				    nbytes + clen > prec)
381 					break;
382 				nbytes += clen;
383 			}
384 		}
385 	}
386 	if ((convbuf = malloc(nbytes + 1)) == NULL)
387 		return (NULL);
388 
389 	/* Fill the output buffer. */
390 	p = wcsarg;
391 	mbs = initial;
392 	if ((nbytes = wcsrtombs(convbuf, (const wchar_t **)&p,
393 	    nbytes, &mbs)) == (size_t)-1) {
394 		free(convbuf);
395 		return (NULL);
396 	}
397 	convbuf[nbytes] = '\0';
398 	return (convbuf);
399 }
400 
401 /*
402  * MT-safe version
403  */
404 int
405 vfprintf(FILE *fp, const char *fmt0, va_list ap)
406 {
407 	int ret;
408 
409 	FLOCKFILE(fp);
410 	ret = __vfprintf(fp, fmt0, ap);
411 	FUNLOCKFILE(fp);
412 	return (ret);
413 }
414 
415 #ifndef NO_FLOATING_POINT
416 #include <math.h>
417 #include "floatio.h"
418 
419 #define	BUF		((MAXEXPDIG * 2) + MAXFRACT + 1) /* + decimal point */
420 #define	DEFPREC		6
421 
422 static char *cvt (double, int, int, char *, int *, int, int *, char **);
423 static int exponent (char *, int, int);
424 
425 #else /* no NO_FLOATING_POINT */
426 
427 #define	BUF		136
428 
429 #endif /* NO_FLOATING_POINT */
430 
431 #define STATIC_ARG_TBL_SIZE 8           /* Size of static argument table. */
432 
433 /*
434  * Flags used during conversion.
435  */
436 #define	ALT		0x001		/* alternate form */
437 #define	HEXPREFIX	0x002		/* add 0x or 0X prefix */
438 #define	LADJUST		0x004		/* left adjustment */
439 #define	LONGDBL		0x008		/* long double */
440 #define	LONGINT		0x010		/* long integer */
441 #define	LLONGINT	0x020		/* long long integer */
442 #define	SHORTINT	0x040		/* short integer */
443 #define	ZEROPAD		0x080		/* zero (as opposed to blank) pad */
444 #define	FPT		0x100		/* Floating point number */
445 #define	GROUPING	0x200		/* use grouping ("'" flag) */
446  					/* C99 additional size modifiers: */
447 #define	SIZET		0x400		/* size_t */
448 #define	PTRDIFFT	0x800		/* ptrdiff_t */
449 #define	INTMAXT		0x1000		/* intmax_t */
450 #define	CHARINT		0x2000		/* print char using int format */
451 /*
452  * Non-MT-safe version
453  */
454 int
455 __vfprintf(FILE *fp, const char *fmt0, va_list ap)
456 {
457 	char *fmt;		/* format string */
458 	int ch;			/* character from fmt */
459 	int n, n2;		/* handy integer (short term usage) */
460 	char *cp;		/* handy char pointer (short term usage) */
461 	struct __siov *iovp;	/* for PRINT macro */
462 	int flags;		/* flags as above */
463 	int ret;		/* return value accumulator */
464 	int width;		/* width from format (%8d), or 0 */
465 	int prec;		/* precision from format (%.3d), or -1 */
466 	char sign;		/* sign prefix (' ', '+', '-', or \0) */
467 	char thousands_sep;	/* locale specific thousands separator */
468 	const char *grouping;	/* locale specific numeric grouping rules */
469 #ifndef NO_FLOATING_POINT
470 	const char *decimal_point;	/* locale specific decimal point */
471 	char softsign;		/* temporary negative sign for floats */
472 	double _double;		/* double precision arguments %[eEfgG] */
473 	int expt;		/* integer value of exponent */
474 	int expsize;		/* character count for expstr */
475 	int ndig;		/* actual number of digits returned by cvt */
476 	char expstr[7];		/* buffer for exponent string */
477 	char *dtoaresult;	/* buffer allocated by dtoa */
478 #endif
479 	u_long	ulval;		/* integer arguments %[diouxX] */
480 	uintmax_t ujval;	/* %j, %ll, %q, %t, %z integers */
481 	int base;		/* base for [diouxX] conversion */
482 	int dprec;		/* a copy of prec if [diouxX], 0 otherwise */
483 	int realsz;		/* field size expanded by dprec, sign, etc */
484 	int size;		/* size of converted field or string */
485 	int prsize;             /* max size of printed field */
486 	const char *xdigs;	/* digits for [xX] conversion */
487 #define NIOV 8
488 	struct __suio uio;	/* output information: summary */
489 	struct __siov iov[NIOV];/* ... and individual io vectors */
490 	char buf[BUF];		/* space for %c, %[diouxX], %[eEfFgG] */
491  	char ox[2];		/* space for 0x hex-prefix */
492         union arg *argtable;	/* args, built due to positional arg */
493         union arg statargtable[STATIC_ARG_TBL_SIZE];
494         int nextarg;            /* 1-based argument index */
495         va_list orgap;          /* original argument pointer */
496 	char *convbuf;		/* wide to multibyte conversion result */
497 
498 	_double = 0;
499 	expsize = 0;
500 	ulval = 0;
501 	ujval = 0;
502 	xdigs = NULL;
503 
504 	/*
505 	 * Choose PADSIZE to trade efficiency vs. size.  If larger printf
506 	 * fields occur frequently, increase PADSIZE and make the initialisers
507 	 * below longer.
508 	 */
509 #define	PADSIZE	16		/* pad chunk size */
510 	static char blanks[PADSIZE] =
511 	 {' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' ',' '};
512 	static char zeroes[PADSIZE] =
513 	 {'0','0','0','0','0','0','0','0','0','0','0','0','0','0','0','0'};
514 
515 	/*
516 	 * BEWARE, these `goto error' on error, and PAD uses `n'.
517 	 */
518 #define	PRINT(ptr, len) { \
519 	iovp->iov_base = __DECONST(void *, ptr); \
520 	iovp->iov_len = (len); \
521 	uio.uio_resid += (len); \
522 	iovp++; \
523 	if (++uio.uio_iovcnt >= NIOV) { \
524 		if (__sprint(fp, &uio)) \
525 			goto error; \
526 		iovp = iov; \
527 	} \
528 }
529 #define	PAD(howmany, with) { \
530 	if ((n = (howmany)) > 0) { \
531 		while (n > PADSIZE) { \
532 			PRINT(with, PADSIZE); \
533 			n -= PADSIZE; \
534 		} \
535 		PRINT(with, n); \
536 	} \
537 }
538 #define	FLUSH() { \
539 	if (uio.uio_resid && __sprint(fp, &uio)) \
540 		goto error; \
541 	uio.uio_iovcnt = 0; \
542 	iovp = iov; \
543 }
544 
545         /*
546          * Get the argument indexed by nextarg.   If the argument table is
547          * built, use it to get the argument.  If its not, get the next
548          * argument (and arguments must be gotten sequentially).
549          */
550 #define GETARG(type) \
551         ((argtable != NULL) ? *((type*)(&argtable[nextarg++])) : \
552             (nextarg++, va_arg(ap, type)))
553 
554 	/*
555 	 * To extend shorts properly, we need both signed and unsigned
556 	 * argument extraction methods.
557 	 */
558 #define	SARG() \
559 	(flags&LONGINT ? GETARG(long) : \
560 	    flags&SHORTINT ? (long)(short)GETARG(int) : \
561 	    flags&CHARINT ? (long)(signed char)GETARG(int) : \
562 	    (long)GETARG(int))
563 #define	UARG() \
564 	(flags&LONGINT ? GETARG(u_long) : \
565 	    flags&SHORTINT ? (u_long)(u_short)GETARG(int) : \
566 	    flags&CHARINT ? (u_long)(u_char)GETARG(int) : \
567 	    (u_long)GETARG(u_int))
568 #define	INTMAX_SIZE	(INTMAXT|SIZET|PTRDIFFT|LLONGINT)
569 #define	SJARG() \
570 	(flags&INTMAXT ? GETARG(intmax_t) : \
571 	    flags&SIZET ? (intmax_t)GETARG(size_t) : \
572 	    flags&PTRDIFFT ? (intmax_t)GETARG(ptrdiff_t) : \
573 	    (intmax_t)GETARG(long long))
574 #define	UJARG() \
575 	(flags&INTMAXT ? GETARG(uintmax_t) : \
576 	    flags&SIZET ? (uintmax_t)GETARG(size_t) : \
577 	    flags&PTRDIFFT ? (uintmax_t)GETARG(ptrdiff_t) : \
578 	    (uintmax_t)GETARG(unsigned long long))
579 
580         /*
581          * Get * arguments, including the form *nn$.  Preserve the nextarg
582          * that the argument can be gotten once the type is determined.
583          */
584 #define GETASTER(val) \
585         n2 = 0; \
586         cp = fmt; \
587         while (is_digit(*cp)) { \
588                 n2 = 10 * n2 + to_digit(*cp); \
589                 cp++; \
590         } \
591         if (*cp == '$') { \
592             	int hold = nextarg; \
593                 if (argtable == NULL) { \
594                         argtable = statargtable; \
595                         __find_arguments (fmt0, orgap, &argtable); \
596                 } \
597                 nextarg = n2; \
598                 val = GETARG (int); \
599                 nextarg = hold; \
600                 fmt = ++cp; \
601         } else { \
602 		val = GETARG (int); \
603         }
604 
605 
606 	thousands_sep = '\0';
607 	grouping = NULL;
608 	convbuf = NULL;
609 #ifndef NO_FLOATING_POINT
610 	dtoaresult = NULL;
611 	decimal_point = localeconv()->decimal_point;
612 #endif
613 	/* sorry, fprintf(read_only_file, "") returns EOF, not 0 */
614 	if (cantwrite(fp)) {
615 		return (EOF);
616 	}
617 
618 	/* optimise fprintf(stderr) (and other unbuffered Unix files) */
619 	if ((fp->pub._flags & (__SNBF|__SWR|__SRW)) == (__SNBF|__SWR) &&
620 	    fp->pub._fileno >= 0) {
621 		return (__sbprintf(fp, fmt0, ap));
622 	}
623 
624 	fmt = (char *)fmt0;
625         argtable = NULL;
626         nextarg = 1;
627         va_copy(orgap, ap);
628 	uio.uio_iov = iovp = iov;
629 	uio.uio_resid = 0;
630 	uio.uio_iovcnt = 0;
631 	ret = 0;
632 
633 	/*
634 	 * Scan the format for conversions (`%' character).
635 	 */
636 	for (;;) {
637 		for (cp = fmt; (ch = *fmt) != '\0' && ch != '%'; fmt++)
638 			/* void */;
639 		if ((n = fmt - cp) != 0) {
640 			if ((unsigned)ret + n > INT_MAX) {
641 				ret = EOF;
642 				goto error;
643 			}
644 			PRINT(cp, n);
645 			ret += n;
646 		}
647 		if (ch == '\0')
648 			goto done;
649 		fmt++;		/* skip over '%' */
650 
651 		flags = 0;
652 		dprec = 0;
653 		width = 0;
654 		prec = -1;
655 		sign = '\0';
656 
657 rflag:		ch = *fmt++;
658 reswitch:	switch (ch) {
659 		case ' ':
660 			/*
661 			 * ``If the space and + flags both appear, the space
662 			 * flag will be ignored.''
663 			 *	-- ANSI X3J11
664 			 */
665 			if (!sign)
666 				sign = ' ';
667 			goto rflag;
668 		case '#':
669 			flags |= ALT;
670 			goto rflag;
671 		case '*':
672 			/*
673 			 * ``A negative field width argument is taken as a
674 			 * - flag followed by a positive field width.''
675 			 *	-- ANSI X3J11
676 			 * They don't exclude field widths read from args.
677 			 */
678 			GETASTER (width);
679 			if (width >= 0)
680 				goto rflag;
681 			width = -width;
682 			/* FALLTHROUGH */
683 		case '-':
684 			flags |= LADJUST;
685 			goto rflag;
686 		case '+':
687 			sign = '+';
688 			goto rflag;
689 		case '\'':
690 			flags |= GROUPING;
691 			thousands_sep = *(localeconv()->thousands_sep);
692 			grouping = localeconv()->grouping;
693 			goto rflag;
694 		case '.':
695 			if ((ch = *fmt++) == '*') {
696 				GETASTER (n);
697 				prec = n < 0 ? -1 : n;
698 				goto rflag;
699 			}
700 			n = 0;
701 			while (is_digit(ch)) {
702 				n = 10 * n + to_digit(ch);
703 				ch = *fmt++;
704 			}
705 			prec = n < 0 ? -1 : n;
706 			goto reswitch;
707 		case '0':
708 			/*
709 			 * ``Note that 0 is taken as a flag, not as the
710 			 * beginning of a field width.''
711 			 *	-- ANSI X3J11
712 			 */
713 			flags |= ZEROPAD;
714 			goto rflag;
715 		case '1': case '2': case '3': case '4':
716 		case '5': case '6': case '7': case '8': case '9':
717 			n = 0;
718 			do {
719 				n = 10 * n + to_digit(ch);
720 				ch = *fmt++;
721 			} while (is_digit(ch));
722 			if (ch == '$') {
723 				nextarg = n;
724                         	if (argtable == NULL) {
725                                 	argtable = statargtable;
726                                 	__find_arguments (fmt0, orgap,
727 						&argtable);
728 				}
729 				goto rflag;
730                         }
731 			width = n;
732 			goto reswitch;
733 #ifndef NO_FLOATING_POINT
734 		case 'L':
735 			flags |= LONGDBL;
736 			goto rflag;
737 #endif
738 		case 'h':
739 			if (flags & SHORTINT) {
740 				flags &= ~SHORTINT;
741 				flags |= CHARINT;
742 			} else
743 				flags |= SHORTINT;
744 			goto rflag;
745 		case 'j':
746 			flags |= INTMAXT;
747 			goto rflag;
748 		case 'l':
749 			if (flags & LONGINT) {
750 				flags &= ~LONGINT;
751 				flags |= LLONGINT;
752 			} else
753 				flags |= LONGINT;
754 			goto rflag;
755 		case 'q':
756 			flags |= LLONGINT;
757 			goto rflag;
758 		case 't':
759 			flags |= PTRDIFFT;
760 			goto rflag;
761 		case 'z':
762 			flags |= SIZET;
763 			goto rflag;
764 		case 'C':
765 			flags |= LONGINT;
766 			/*FALLTHROUGH*/
767 		case 'c':
768 			if (flags & LONGINT) {
769 				static const mbstate_t initial;
770 				mbstate_t mbs;
771 				size_t mbseqlen;
772 
773 				mbs = initial;
774 				mbseqlen = wcrtomb(cp = buf,
775 				    (wchar_t)GETARG(wint_t), &mbs);
776 				if (mbseqlen == (size_t)-1) {
777 					fp->pub._flags |= __SERR;
778 					goto error;
779 				}
780 				size = (int)mbseqlen;
781 			} else {
782 				*(cp = buf) = GETARG(int);
783 				size = 1;
784 			}
785 			sign = '\0';
786 			break;
787 		case 'D':
788 			flags |= LONGINT;
789 			/*FALLTHROUGH*/
790 		case 'd':
791 		case 'i':
792 			if (flags & INTMAX_SIZE) {
793 				ujval = SJARG();
794 				if ((intmax_t)ujval < 0) {
795 					ujval = -ujval;
796 					sign = '-';
797 				}
798 			} else {
799 				ulval = SARG();
800 				if ((long)ulval < 0) {
801 					ulval = -ulval;
802 					sign = '-';
803 				}
804 			}
805 			base = 10;
806 			goto number;
807 #ifndef NO_FLOATING_POINT
808 #ifdef HEXFLOAT
809 		case 'a':
810 		case 'A':
811 #endif
812 		case 'e':
813 		case 'E':
814 			/*
815 			 * Grouping apply to %i, %d, %u, %f, %F, %g, %G
816 			 * conversion specifiers only. For other conversions
817 			 * behavior is undefined.
818 			 *	-- POSIX
819 			 */
820 			flags &= ~GROUPING;
821 			/*FALLTHROUGH*/
822 		case 'f':
823 		case 'F':
824 			goto fp_begin;
825 		case 'g':
826 		case 'G':
827 			if (prec == 0)
828 				prec = 1;
829 fp_begin:		if (prec == -1)
830 				prec = DEFPREC;
831 			if (flags & LONGDBL)
832 				/* XXX this loses precision. */
833 				_double = (double)GETARG(long double);
834 			else
835 				_double = GETARG(double);
836 			/* do this before tricky precision changes */
837 			if (isinf(_double)) {
838 				if (_double < 0)
839 					sign = '-';
840 				if (isupper(ch))
841 					cp = "INF";
842 				else
843 					cp = "inf";
844 				size = 3;
845 				break;
846 			}
847 			if (isnan(_double)) {
848 				if (isupper(ch))
849 					cp = "NAN";
850 				else
851 					cp = "nan";
852 				size = 3;
853 				break;
854 			}
855 			flags |= FPT;
856 			if (dtoaresult != NULL) {
857 				free(dtoaresult);
858 				dtoaresult = NULL;
859 			}
860 			cp = cvt(_double, prec, flags, &softsign,
861 				&expt, ch, &ndig, &dtoaresult);
862 			if (ch == 'g' || ch == 'G') {
863 				if (expt <= -4 || expt > prec)
864 					ch = (ch == 'g') ? 'e' : 'E';
865 				else
866 					ch = 'g';
867 			}
868 			if (ch == 'e' || ch == 'E') {
869 				--expt;
870 				expsize = exponent(expstr, expt, ch);
871 				size = expsize + ndig;
872 				if (ndig > 1 || flags & ALT)
873 					++size;
874 			} else if (ch == 'f' || ch == 'F') {
875 				if (expt > 0) {
876 					size = expt;
877 					if (prec || flags & ALT)
878 						size += prec + 1;
879 				} else	/* "0.X" */
880 					size = prec + 2;
881 			} else if (expt >= ndig) {	/* fixed g fmt */
882 				size = expt;
883 				if (flags & ALT)
884 					++size;
885 			} else
886 				size = ndig + (expt > 0 ?
887 					1 : 2 - expt);
888 
889 			if (softsign)
890 				sign = '-';
891 			break;
892 #endif /* NO_FLOATING_POINT */
893 		case 'n':
894 			/*
895 			 * Assignment-like behavior is specified if the
896 			 * value overflows or is otherwise unrepresentable.
897 			 * C99 says to use `signed char' for %hhn conversions.
898 			 */
899 			if (flags & LLONGINT)
900 				*GETARG(long long *) = ret;
901 			else if (flags & SIZET)
902 				*GETARG(ssize_t *) = (ssize_t)ret;
903 			else if (flags & PTRDIFFT)
904 				*GETARG(ptrdiff_t *) = ret;
905 			else if (flags & INTMAXT)
906 				*GETARG(intmax_t *) = ret;
907 			else if (flags & LONGINT)
908 				*GETARG(long *) = ret;
909 			else if (flags & SHORTINT)
910 				*GETARG(short *) = ret;
911 			else if (flags & CHARINT)
912 				*GETARG(signed char *) = ret;
913 			else
914 				*GETARG(int *) = ret;
915 			continue;	/* no output */
916 		case 'O':
917 			flags |= LONGINT;
918 			/*FALLTHROUGH*/
919 		case 'o':
920 			if (flags & INTMAX_SIZE)
921 				ujval = UJARG();
922 			else
923 				ulval = UARG();
924 			base = 8;
925 			goto nosign;
926 		case 'p':
927 			/*
928 			 * ``The argument shall be a pointer to void.  The
929 			 * value of the pointer is converted to a sequence
930 			 * of printable characters, in an implementation-
931 			 * defined manner.''
932 			 *	-- ANSI X3J11
933 			 */
934 			ujval = (uintmax_t)(uintptr_t)GETARG(void *);
935 			base = 16;
936 			xdigs = "0123456789abcdef";
937 			flags = flags | INTMAXT | HEXPREFIX;
938 			ch = 'x';
939 			goto nosign;
940 		case 'S':
941 			flags |= LONGINT;
942 			/*FALLTHROUGH*/
943 		case 's':
944 			if (flags & LONGINT) {
945 				wchar_t *wcp;
946 
947 				if (convbuf != NULL)
948 					free(convbuf);
949 				if ((wcp = GETARG(wchar_t *)) == NULL)
950 					cp = "(null)";
951 				else {
952 					convbuf = __wcsconv(wcp, prec);
953 					if (convbuf == NULL) {
954 						fp->pub._flags |= __SERR;
955 						goto error;
956 					}
957 					cp = convbuf;
958 				}
959 			} else if ((cp = GETARG(char *)) == NULL)
960 				cp = "(null)";
961 			if (prec >= 0) {
962 				/*
963 				 * can't use strlen; can only look for the
964 				 * NUL in the first `prec' characters, and
965 				 * strlen() will go further.
966 				 */
967 				char *p = memchr(cp, 0, (size_t)prec);
968 
969 				if (p != NULL) {
970 					size = p - cp;
971 					if (size > prec)
972 						size = prec;
973 				} else
974 					size = prec;
975 			} else
976 				size = strlen(cp);
977 			sign = '\0';
978 			break;
979 		case 'U':
980 			flags |= LONGINT;
981 			/*FALLTHROUGH*/
982 		case 'u':
983 			if (flags & INTMAX_SIZE)
984 				ujval = UJARG();
985 			else
986 				ulval = UARG();
987 			base = 10;
988 			goto nosign;
989 		case 'X':
990 			xdigs = "0123456789ABCDEF";
991 			goto hex;
992 		case 'x':
993 			xdigs = "0123456789abcdef";
994 hex:
995 			if (flags & INTMAX_SIZE)
996 				ujval = UJARG();
997 			else
998 				ulval = UARG();
999 			base = 16;
1000 			/* leading 0x/X only if non-zero */
1001 			if (flags & ALT &&
1002 			    (flags & INTMAX_SIZE ? ujval != 0 : ulval != 0))
1003 				flags |= HEXPREFIX;
1004 
1005 			flags &= ~GROUPING;
1006 			/* unsigned conversions */
1007 nosign:			sign = '\0';
1008 			/*
1009 			 * ``... diouXx conversions ... if a precision is
1010 			 * specified, the 0 flag will be ignored.''
1011 			 *	-- ANSI X3J11
1012 			 */
1013 number:			if ((dprec = prec) >= 0)
1014 				flags &= ~ZEROPAD;
1015 
1016 			/*
1017 			 * ``The result of converting a zero value with an
1018 			 * explicit precision of zero is no characters.''
1019 			 *	-- ANSI X3J11
1020 			 */
1021 			cp = buf + BUF;
1022  			if (flags & INTMAX_SIZE) {
1023  				if (ujval != 0 || prec != 0)
1024  					cp = __ujtoa(ujval, cp, base,
1025 					    flags & ALT, xdigs,
1026 					    flags & GROUPING, thousands_sep,
1027 					    grouping);
1028  			} else {
1029  				if (ulval != 0 || prec != 0)
1030  					cp = __ultoa(ulval, cp, base,
1031 					    flags & ALT, xdigs,
1032 					    flags & GROUPING, thousands_sep,
1033 					    grouping);
1034  			}
1035 			size = buf + BUF - cp;
1036 			break;
1037 		default:	/* "%?" prints ?, unless ? is NUL */
1038 			if (ch == '\0')
1039 				goto done;
1040 			/* pretend it was %c with argument ch */
1041 			cp = buf;
1042 			*cp = ch;
1043 			size = 1;
1044 			sign = '\0';
1045 			break;
1046 		}
1047 
1048 		/*
1049 		 * All reasonable formats wind up here.  At this point, `cp'
1050 		 * points to a string which (if not flags&LADJUST) should be
1051 		 * padded out to `width' places.  If flags&ZEROPAD, it should
1052 		 * first be prefixed by any sign or other prefix; otherwise,
1053 		 * it should be blank padded before the prefix is emitted.
1054 		 * After any left-hand padding and prefixing, emit zeroes
1055 		 * required by a decimal [diouxX] precision, then print the
1056 		 * string proper, then emit zeroes required by any leftover
1057 		 * floating precision; finally, if LADJUST, pad with blanks.
1058 		 *
1059 		 * Compute actual size, so we know how much to pad.
1060 		 * size excludes decimal prec; realsz includes it.
1061 		 */
1062 		realsz = dprec > size ? dprec : size;
1063 		if (sign)
1064 			realsz++;
1065 		else if (flags & HEXPREFIX)
1066 			realsz += 2;
1067 
1068 		prsize = width > realsz ? width : realsz;
1069 		if ((unsigned)ret + prsize > INT_MAX) {
1070 			ret = EOF;
1071 			goto error;
1072 		}
1073 
1074 		/* right-adjusting blank padding */
1075 		if ((flags & (LADJUST|ZEROPAD)) == 0)
1076 			PAD(width - realsz, blanks);
1077 
1078 		/* prefix */
1079 		if (sign) {
1080 			PRINT(&sign, 1);
1081 		} else if (flags & HEXPREFIX) {
1082 			ox[0] = '0';
1083 			ox[1] = ch;
1084 			PRINT(ox, 2);
1085 		}
1086 
1087 		/* right-adjusting zero padding */
1088 		if ((flags & (LADJUST|ZEROPAD)) == ZEROPAD)
1089 			PAD(width - realsz, zeroes);
1090 
1091 		/* leading zeroes from decimal precision */
1092 		PAD(dprec - size, zeroes);
1093 
1094 		/* the string or number proper */
1095 #ifndef NO_FLOATING_POINT
1096 		if ((flags & FPT) == 0) {
1097 			PRINT(cp, size);
1098 		} else {	/* glue together f_p fragments */
1099 			if (ch >= 'f') {	/* 'f' or 'g' */
1100 				if (_double == 0) {
1101 					/* kludge for __dtoa irregularity */
1102 					PRINT("0", 1);
1103 					if (expt < ndig || (flags & ALT) != 0) {
1104 						PRINT(decimal_point, 1);
1105 						PAD(ndig - 1, zeroes);
1106 					}
1107 				} else if (expt <= 0) {
1108 					PRINT("0", 1);
1109 					PRINT(decimal_point, 1);
1110 					PAD(-expt, zeroes);
1111 					PRINT(cp, ndig);
1112 				} else if (expt >= ndig) {
1113 					PRINT(cp, ndig);
1114 					PAD(expt - ndig, zeroes);
1115 					if (flags & ALT)
1116 						PRINT(decimal_point, 1);
1117 				} else {
1118 					PRINT(cp, expt);
1119 					cp += expt;
1120 					PRINT(decimal_point, 1);
1121 					PRINT(cp, ndig-expt);
1122 				}
1123 			} else {	/* 'e' or 'E' */
1124 				if (ndig > 1 || flags & ALT) {
1125 					ox[0] = *cp++;
1126 					ox[1] = *decimal_point;
1127 					PRINT(ox, 2);
1128 					if (_double) {
1129 						PRINT(cp, ndig-1);
1130 					} else	/* 0.[0..] */
1131 						/* __dtoa irregularity */
1132 						PAD(ndig - 1, zeroes);
1133 				} else	/* XeYYY */
1134 					PRINT(cp, 1);
1135 				PRINT(expstr, expsize);
1136 			}
1137 		}
1138 #else
1139 		PRINT(cp, size);
1140 #endif
1141 		/* left-adjusting padding (always blank) */
1142 		if (flags & LADJUST)
1143 			PAD(width - realsz, blanks);
1144 
1145 		/* finally, adjust ret */
1146 		ret += prsize;
1147 
1148 		FLUSH();	/* copy out the I/O vectors */
1149 	}
1150 done:
1151 	FLUSH();
1152 error:
1153 #ifndef NO_FLOATING_POINT
1154 	if (dtoaresult != NULL)
1155 		free(dtoaresult);
1156 #endif
1157 	if (convbuf != NULL)
1158 		free(convbuf);
1159 	if (__sferror(fp))
1160 		ret = EOF;
1161         if ((argtable != NULL) && (argtable != statargtable))
1162                 free (argtable);
1163 	return (ret);
1164 	/* NOTREACHED */
1165 }
1166 
1167 /*
1168  * Find all arguments when a positional parameter is encountered.  Returns a
1169  * table, indexed by argument number, of pointers to each arguments.  The
1170  * initial argument table should be an array of STATIC_ARG_TBL_SIZE entries.
1171  * It will be replaces with a malloc-ed one if it overflows.
1172  */
1173 static void
1174 __find_arguments (const char *fmt0, va_list ap, union arg **argtable)
1175 {
1176 	char *fmt;		/* format string */
1177 	int ch;			/* character from fmt */
1178 	int n, n2;		/* handy integer (short term usage) */
1179 	char *cp;		/* handy char pointer (short term usage) */
1180 	int flags;		/* flags as above */
1181 	int width;		/* width from format (%8d), or 0 */
1182 	enum typeid *typetable; /* table of types */
1183 	enum typeid stattypetable[STATIC_ARG_TBL_SIZE];
1184 	int tablesize;		/* current size of type table */
1185 	int tablemax;		/* largest used index in table */
1186 	int nextarg;		/* 1-based argument index */
1187 
1188 	/*
1189 	 * Add an argument type to the table, expanding if necessary.
1190 	 */
1191 #define ADDTYPE(type) \
1192 	((nextarg >= tablesize) ? \
1193 		__grow_type_table(nextarg, &typetable, &tablesize) : 0, \
1194 	(nextarg > tablemax) ? tablemax = nextarg : 0, \
1195 	typetable[nextarg++] = type)
1196 
1197 #define	ADDSARG() \
1198 	((flags&INTMAXT) ? ADDTYPE(T_INTMAXT) : \
1199 		((flags&SIZET) ? ADDTYPE(T_SIZET) : \
1200 		((flags&PTRDIFFT) ? ADDTYPE(T_PTRDIFFT) : \
1201 		((flags&LLONGINT) ? ADDTYPE(T_LLONG) : \
1202 		((flags&LONGINT) ? ADDTYPE(T_LONG) : ADDTYPE(T_INT))))))
1203 
1204 #define	ADDUARG() \
1205 	((flags&INTMAXT) ? ADDTYPE(T_UINTMAXT) : \
1206 		((flags&SIZET) ? ADDTYPE(T_SIZET) : \
1207 		((flags&PTRDIFFT) ? ADDTYPE(T_PTRDIFFT) : \
1208 		((flags&LLONGINT) ? ADDTYPE(T_U_LLONG) : \
1209 		((flags&LONGINT) ? ADDTYPE(T_U_LONG) : ADDTYPE(T_U_INT))))))
1210 
1211 	/*
1212 	 * Add * arguments to the type array.
1213 	 */
1214 #define ADDASTER() \
1215 	n2 = 0; \
1216 	cp = fmt; \
1217 	while (is_digit(*cp)) { \
1218 		n2 = 10 * n2 + to_digit(*cp); \
1219 		cp++; \
1220 	} \
1221 	if (*cp == '$') { \
1222 		int hold = nextarg; \
1223 		nextarg = n2; \
1224 		ADDTYPE (T_INT); \
1225 		nextarg = hold; \
1226 		fmt = ++cp; \
1227 	} else { \
1228 		ADDTYPE (T_INT); \
1229 	}
1230 	fmt = (char *)fmt0;
1231 	typetable = stattypetable;
1232 	tablesize = STATIC_ARG_TBL_SIZE;
1233 	tablemax = 0;
1234 	nextarg = 1;
1235 	memset (typetable, T_UNUSED, STATIC_ARG_TBL_SIZE);
1236 
1237 	/*
1238 	 * Scan the format for conversions (`%' character).
1239 	 */
1240 	for (;;) {
1241 		for (cp = fmt; (ch = *fmt) != '\0' && ch != '%'; fmt++)
1242 			/* void */;
1243 		if (ch == '\0')
1244 			goto done;
1245 		fmt++;		/* skip over '%' */
1246 
1247 		flags = 0;
1248 		width = 0;
1249 
1250 rflag:		ch = *fmt++;
1251 reswitch:	switch (ch) {
1252 		case ' ':
1253 		case '#':
1254 			goto rflag;
1255 		case '*':
1256 			ADDASTER ();
1257 			goto rflag;
1258 		case '-':
1259 		case '+':
1260 		case '\'':
1261 			goto rflag;
1262 		case '.':
1263 			if ((ch = *fmt++) == '*') {
1264 				ADDASTER ();
1265 				goto rflag;
1266 			}
1267 			while (is_digit(ch)) {
1268 				ch = *fmt++;
1269 			}
1270 			goto reswitch;
1271 		case '0':
1272 			goto rflag;
1273 		case '1': case '2': case '3': case '4':
1274 		case '5': case '6': case '7': case '8': case '9':
1275 			n = 0;
1276 			do {
1277 				n = 10 * n + to_digit(ch);
1278 				ch = *fmt++;
1279 			} while (is_digit(ch));
1280 			if (ch == '$') {
1281 				nextarg = n;
1282 				goto rflag;
1283 			}
1284 			width = n;
1285 			goto reswitch;
1286 #ifndef NO_FLOATING_POINT
1287 		case 'L':
1288 			flags |= LONGDBL;
1289 			goto rflag;
1290 #endif
1291  		case 'h':
1292 			if (flags & SHORTINT) {
1293 				flags &= ~SHORTINT;
1294 				flags |= CHARINT;
1295 			} else
1296 				flags |= SHORTINT;
1297 			goto rflag;
1298 		case 'j':
1299 			flags |= INTMAXT;
1300 			goto rflag;
1301  		case 'l':
1302 			if (flags & LONGINT) {
1303 				flags &= ~LONGINT;
1304 				flags |= LLONGINT;
1305 			} else
1306  				flags |= LONGINT;
1307  			goto rflag;
1308  		case 'q':
1309 			flags |= LLONGINT;
1310 			goto rflag;
1311 		case 't':
1312 			flags |= PTRDIFFT;
1313 			goto rflag;
1314 		case 'z':
1315 			flags |= SIZET;
1316  			goto rflag;
1317 		case 'C':
1318 			flags |= LONGINT;
1319 			/*FALLTHROUGH*/
1320 		case 'c':
1321 			if (flags & LONGINT)
1322 				ADDTYPE(T_WINT);
1323 			else
1324 				ADDTYPE(T_INT);
1325 			break;
1326 		case 'D':
1327 			flags |= LONGINT;
1328 			/*FALLTHROUGH*/
1329 		case 'd':
1330  		case 'i':
1331 			ADDSARG();
1332  			break;
1333 #ifndef NO_FLOATING_POINT
1334 #ifdef HEXFLOAT
1335 		case 'a':
1336 		case 'A':
1337 #endif
1338 		case 'e':
1339 		case 'E':
1340 		case 'f':
1341 		case 'g':
1342 		case 'G':
1343 			if (flags & LONGDBL)
1344 				ADDTYPE(T_LONG_DOUBLE);
1345 			else
1346 				ADDTYPE(T_DOUBLE);
1347 			break;
1348 #endif /* NO_FLOATING_POINT */
1349 		case 'n':
1350 			if (flags & INTMAXT)
1351 				ADDTYPE(TP_INTMAXT);
1352 			else if (flags & PTRDIFFT)
1353 				ADDTYPE(TP_PTRDIFFT);
1354 			else if (flags & SIZET)
1355 				ADDTYPE(TP_SIZET);
1356 			else if (flags & LLONGINT)
1357 				ADDTYPE(TP_LLONG);
1358 			else if (flags & LONGINT)
1359 				ADDTYPE(TP_LONG);
1360 			else if (flags & SHORTINT)
1361 				ADDTYPE(TP_SHORT);
1362 			else if (flags & CHARINT)
1363 				ADDTYPE(TP_SCHAR);
1364 			else
1365 				ADDTYPE(TP_INT);
1366 			continue;	/* no output */
1367 		case 'O':
1368 			flags |= LONGINT;
1369 			/*FALLTHROUGH*/
1370 		case 'o':
1371 			ADDUARG();
1372 			break;
1373 		case 'p':
1374 			ADDTYPE(TP_VOID);
1375 			break;
1376 		case 'S':
1377 			flags |= LONGINT;
1378 			/*FALLTHROUGH*/
1379 		case 's':
1380 			if (flags & LONGINT)
1381 				ADDTYPE(TP_WCHAR);
1382 			else
1383 				ADDTYPE(TP_CHAR);
1384 			break;
1385 		case 'U':
1386 			flags |= LONGINT;
1387 			/*FALLTHROUGH*/
1388  		case 'u':
1389  		case 'X':
1390  		case 'x':
1391 			ADDUARG();
1392  			break;
1393 		default:	/* "%?" prints ?, unless ? is NUL */
1394 			if (ch == '\0')
1395 				goto done;
1396 			break;
1397 		}
1398 	}
1399 done:
1400 	/*
1401 	 * Build the argument table.
1402 	 */
1403 	if (tablemax >= STATIC_ARG_TBL_SIZE) {
1404 		*argtable = (union arg *)
1405 		    malloc(sizeof(union arg) * (tablemax + 1));
1406 	}
1407 	(*argtable)[0].intarg = 0;
1408 	for (n = 1; n <= tablemax; n++) {
1409 		switch (typetable [n]) {
1410 		    case T_UNUSED: /* "whoops" */
1411 		    case T_INT:
1412 			(*argtable)[n].intarg = va_arg(ap, int);
1413 			break;
1414 		    case TP_SCHAR:
1415 			(*argtable) [n].pschararg = va_arg (ap, signed char *);
1416 			break;
1417 		    case TP_SHORT:
1418 			(*argtable)[n].pshortarg = va_arg(ap, short *);
1419 			break;
1420 		    case T_U_INT:
1421 			(*argtable)[n].uintarg = va_arg(ap, unsigned int);
1422 			break;
1423 		    case TP_INT:
1424 			(*argtable)[n].pintarg = va_arg(ap, int *);
1425 			break;
1426 		    case T_LONG:
1427 			(*argtable)[n].longarg = va_arg(ap, long);
1428 			break;
1429 		    case T_U_LONG:
1430 			(*argtable)[n].ulongarg = va_arg(ap, unsigned long);
1431 			break;
1432 		    case TP_LONG:
1433 			(*argtable)[n].plongarg = va_arg(ap, long *);
1434 			break;
1435 		    case T_LLONG:
1436 			(*argtable)[n].longlongarg = va_arg(ap, long long);
1437 			break;
1438 		    case T_U_LLONG:
1439 			(*argtable)[n].ulonglongarg = va_arg(ap, unsigned long long);
1440 			break;
1441 		    case TP_LLONG:
1442 			(*argtable)[n].plonglongarg = va_arg(ap, long long *);
1443 			break;
1444 		    case T_PTRDIFFT:
1445 			(*argtable)[n].ptrdiffarg = va_arg(ap, ptrdiff_t);
1446 			break;
1447 		    case TP_PTRDIFFT:
1448 			(*argtable)[n].pptrdiffarg = va_arg(ap, ptrdiff_t *);
1449 			break;
1450 		    case T_SIZET:
1451 			(*argtable)[n].sizearg = va_arg(ap, size_t);
1452 			break;
1453 		    case TP_SIZET:
1454 			(*argtable)[n].psizearg = va_arg(ap, ssize_t *);
1455 			break;
1456 		    case T_INTMAXT:
1457 			(*argtable)[n].intmaxarg = va_arg(ap, intmax_t);
1458  			break;
1459 		    case T_UINTMAXT:
1460 			(*argtable)[n].uintmaxarg = va_arg(ap, uintmax_t);
1461 			break;
1462 		    case TP_INTMAXT:
1463 			(*argtable)[n].pintmaxarg = va_arg (ap, intmax_t *);
1464 			break;
1465 		    case T_DOUBLE:
1466 			(*argtable)[n].doublearg = va_arg(ap, double);
1467 			break;
1468 		    case T_LONG_DOUBLE:
1469 			(*argtable)[n].longdoublearg = va_arg(ap, long double);
1470 			break;
1471 		    case TP_CHAR:
1472 			(*argtable)[n].pchararg = va_arg(ap, char *);
1473 			break;
1474 		    case TP_VOID:
1475 			(*argtable)[n].pvoidarg = va_arg(ap, void *);
1476 			break;
1477 		    case T_WINT:
1478 			(*argtable)[n].wintarg = va_arg(ap, wint_t);
1479 			break;
1480 		    case TP_WCHAR:
1481 			(*argtable)[n].pwchararg = va_arg(ap, wchar_t *);
1482 			break;
1483 		}
1484 	}
1485 
1486 	if ((typetable != NULL) && (typetable != stattypetable))
1487 		free (typetable);
1488 }
1489 
1490 /*
1491  * Increase the size of the type table.
1492  */
1493 static void
1494 __grow_type_table(int nextarg, enum typeid **typetable, int *tablesize)
1495 {
1496 	enum typeid * const oldtable = *typetable;
1497 	const int oldsize = *tablesize;
1498 	enum typeid *newtable;
1499 	int n, newsize = oldsize * 2;
1500 
1501 	if (newsize < nextarg + 1)
1502 		newsize = nextarg + 1;
1503 	if (oldsize == STATIC_ARG_TBL_SIZE) {
1504 		if ((newtable = malloc(newsize * sizeof(enum typeid))) == NULL)
1505 			abort();			/* XXX handle better */
1506 		bcopy(oldtable, newtable, oldsize * sizeof(enum typeid));
1507 	} else {
1508 		if ((newtable = reallocf(oldtable, newsize * sizeof(enum typeid))) == NULL)
1509 			abort();			/* XXX handle better */
1510 	}
1511 	for (n = oldsize; n < newsize; n++)
1512 		newtable[n] = T_UNUSED;
1513 
1514 	*typetable = newtable;
1515 	*tablesize = newsize;
1516 }
1517 
1518 
1519 #ifndef NO_FLOATING_POINT
1520 
1521 extern char *__dtoa (double, int, int, int *, int *, char **, char **);
1522 
1523 static char *
1524 cvt(double value, int ndigits, int flags, char *sign, int *decpt,
1525     int ch, int *length, char **dtoaresultp)
1526 {
1527 	int mode, dsgn;
1528 	char *digits, *bp, *rve;
1529 
1530 	if (ch == 'f')
1531 		mode = 3;		/* ndigits after the decimal point */
1532 	else {
1533 		/*
1534 		 * To obtain ndigits after the decimal point for the 'e'
1535 		 * and 'E' formats, round to ndigits + 1 significant
1536 		 * figures.
1537 		 */
1538 		if (ch == 'e' || ch == 'E')
1539 			ndigits++;
1540 		mode = 2;		/* ndigits significant digits */
1541 	}
1542 	digits = __dtoa(value, mode, ndigits, decpt, &dsgn, &rve, dtoaresultp);
1543 	*sign = dsgn != 0;
1544 	if ((ch != 'g' && ch != 'G') || flags & ALT) {
1545 		/* print trailing zeros */
1546 		bp = digits + ndigits;
1547 		if (ch == 'f') {
1548 			if (*digits == '0' && value)
1549 				*decpt = -ndigits + 1;
1550 			bp += *decpt;
1551 		}
1552 		if (value == 0)	/* kludge for __dtoa irregularity */
1553 			rve = bp;
1554 		while (rve < bp)
1555 			*rve++ = '0';
1556 	}
1557 	*length = rve - digits;
1558 	return (digits);
1559 }
1560 
1561 static int
1562 exponent(char *p0, int expo, int fmtch)
1563 {
1564 	char *p, *t;
1565 	char expbuf[MAXEXPDIG];
1566 
1567 	p = p0;
1568 	*p++ = fmtch;
1569 	if (expo < 0) {
1570 		expo = -expo;
1571 		*p++ = '-';
1572 	}
1573 	else
1574 		*p++ = '+';
1575 	t = expbuf + MAXEXPDIG;
1576 	if (expo > 9) {
1577 		do {
1578 			*--t = to_char(expo % 10);
1579 		} while ((expo /= 10) > 9);
1580 		*--t = to_char(expo);
1581 		for (; t < expbuf + MAXEXPDIG; *p++ = *t++);
1582 	}
1583 	else {
1584 		*p++ = '0';
1585 		*p++ = to_char(expo);
1586 	}
1587 	return (p - p0);
1588 }
1589 #endif /* NO_FLOATING_POINT */
1590