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