Home | History | Annotate | Line # | Download | only in stdio
      1 /*	$NetBSD: vfwscanf.c,v 1.13 2022/04/19 20:32:16 rillig Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 1990, 1993
      5  *	The Regents of the University of California.  All rights reserved.
      6  *
      7  * This code is derived from software contributed to Berkeley by
      8  * Chris Torek.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  * 3. All advertising materials mentioning features or use of this software
     19  *    must display the following acknowledgement:
     20  *	This product includes software developed by the University of
     21  *	California, Berkeley and its contributors.
     22  * 4. Neither the name of the University nor the names of its contributors
     23  *    may be used to endorse or promote products derived from this software
     24  *    without specific prior written permission.
     25  *
     26  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     27  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     28  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     29  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     30  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     31  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     32  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     33  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     34  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     35  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     36  * SUCH DAMAGE.
     37  */
     38 
     39 #include <sys/cdefs.h>
     40 #if defined(LIBC_SCCS) && !defined(lint)
     41 #if 0
     42 static char sccsid[] = "@(#)ftell.c	8.2 (Berkeley) 5/4/95";
     43 __FBSDID("$FreeBSD: src/lib/libc/stdio/vfwscanf.c,v 1.12 2004/05/02 20:13:29 obrien Exp $");
     44 #else
     45 __RCSID("$NetBSD: vfwscanf.c,v 1.13 2022/04/19 20:32:16 rillig Exp $");
     46 #endif
     47 #endif /* LIBC_SCCS and not lint */
     48 
     49 #include "namespace.h"
     50 #include <ctype.h>
     51 #include <inttypes.h>
     52 #include <assert.h>
     53 #include <stdio.h>
     54 #include <stdlib.h>
     55 #include <stddef.h>
     56 #include <stdarg.h>
     57 #include <string.h>
     58 #include <limits.h>
     59 #include <wchar.h>
     60 #include <wctype.h>
     61 
     62 #include "reentrant.h"
     63 #include "local.h"
     64 
     65 #include <locale.h>
     66 #include "setlocale_local.h"
     67 
     68 #define	BUF		513	/* Maximum length of numeric string. */
     69 
     70 /*
     71  * Flags used during conversion.
     72  */
     73 #define	LONG		0x01	/* l: long or double */
     74 #define	LONGDBL		0x02	/* L: long double */
     75 #define	SHORT		0x04	/* h: short */
     76 #define	SUPPRESS	0x08	/* *: suppress assignment */
     77 #define	POINTER		0x10	/* p: void * (as hex) */
     78 #define	NOSKIP		0x20	/* [ or c: do not skip blanks */
     79 #define	LONGLONG	0x400	/* ll: quad_t (+ deprecated q: quad) */
     80 #define	INTMAXT		0x800	/* j: intmax_t */
     81 #define	PTRDIFFT	0x1000	/* t: ptrdiff_t */
     82 #define	SIZET		0x2000	/* z: size_t */
     83 #define	SHORTSHORT	0x4000	/* hh: char */
     84 #define	UNSIGNED	0x8000	/* %[oupxX] conversions */
     85 
     86 /*
     87  * The following are used in integral conversions only:
     88  * SIGNOK, NDIGITS, PFXOK, and NZDIGITS
     89  */
     90 #define	SIGNOK		0x40	/* +/- is (still) legal */
     91 #define	NDIGITS		0x80	/* no digits detected */
     92 #define	PFXOK		0x100	/* 0x prefix is (still) legal */
     93 #define	NZDIGITS	0x200	/* no zero digits detected */
     94 #define	HAVESIGN	0x10000	/* sign detected */
     95 
     96 /*
     97  * Conversion types.
     98  */
     99 #define	CT_CHAR		0	/* %c conversion */
    100 #define	CT_CCL		1	/* %[...] conversion */
    101 #define	CT_STRING	2	/* %s conversion */
    102 #define	CT_INT		3	/* %[dioupxX] conversion */
    103 #define	CT_FLOAT	4	/* %[efgEFG] conversion */
    104 
    105 #ifndef NO_FLOATING_POINT
    106 static int parsefloat(FILE *, wchar_t *, wchar_t *, locale_t);
    107 #endif
    108 
    109 #define	INCCL(_c)	\
    110 	(cclcompl ? (wmemchr(ccls, (_c), (size_t)(ccle - ccls)) == NULL) : \
    111 	(wmemchr(ccls, (_c), (size_t)(ccle - ccls)) != NULL))
    112 
    113 /*
    114  * MT-safe version.
    115  */
    116 int
    117 vfwscanf(FILE * __restrict fp, const wchar_t * __restrict fmt, va_list ap)
    118 {
    119 	return vfwscanf_l(fp, _current_locale(), fmt, ap);
    120 }
    121 
    122 int
    123 vfwscanf_l(FILE * __restrict fp, locale_t loc, const wchar_t * __restrict fmt,
    124     va_list ap)
    125 {
    126 	int ret;
    127 
    128 	FLOCKFILE(fp);
    129 	_SET_ORIENTATION(fp, 1);
    130 	ret = __vfwscanf_unlocked_l(fp, loc, fmt, ap);
    131 	FUNLOCKFILE(fp);
    132 	return ret;
    133 }
    134 
    135 #define SCANF_SKIP_SPACE() \
    136 do { \
    137 	wint_t tc; \
    138  \
    139 	while ((tc = __fgetwc_unlock(fp)) != WEOF && iswspace_l(tc, loc)) \
    140 		continue; \
    141 	if (tc != WEOF) \
    142 		ungetwc(tc, fp); \
    143 } while (0)
    144 
    145 /*
    146  * Non-MT-safe version.
    147  */
    148 int
    149 __vfwscanf_unlocked_l(FILE * __restrict fp, locale_t loc,
    150     const wchar_t * __restrict fmt, va_list ap)
    151 {
    152 	wint_t c;		/* character from format, or conversion */
    153 	size_t width;		/* field width, or 0 */
    154 	wchar_t *p;		/* points into all kinds of strings */
    155 	int n;			/* handy integer */
    156 	int flags;		/* flags as defined above */
    157 	wchar_t *p0;		/* saves original value of p when necessary */
    158 	int nassigned;		/* number of fields assigned */
    159 	int nconversions;	/* number of conversions */
    160 	size_t nread;		/* number of characters consumed from fp */
    161 	int base;		/* base argument to conversion function */
    162 	wchar_t buf[BUF];	/* buffer for numeric conversions */
    163 	const wchar_t *ccls;	/* character class start */
    164 	const wchar_t *ccle;	/* character class end */
    165 	int cclcompl;		/* ccl is complemented? */
    166 	wint_t wi;		/* handy wint_t */
    167 	char *mbp;		/* multibyte string pointer for %c %s %[ */
    168 	size_t nconv;		/* number of bytes in mb. conversion */
    169 	static const mbstate_t initial;
    170 	mbstate_t mbs;
    171 	char mbbuf[MB_LEN_MAX];	/* temporary mb. character buffer */
    172 	/* `basefix' is used to avoid `if' tests in the integer scanner */
    173 	static short basefix[17] =
    174 		{ 10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 };
    175 
    176 	nassigned = 0;
    177 	nconversions = 0;
    178 	nread = 0;
    179 	ccls = ccle = NULL;
    180 	base = 0;
    181 	cclcompl = 0;
    182 	mbp = NULL;
    183 	p = NULL; /* XXXgcc */
    184 	for (;;) {
    185 		c = *fmt++;
    186 		if (c == 0)
    187 			return nassigned;
    188 		if (iswspace_l(c, loc)) {
    189 			while ((c = __fgetwc_unlock(fp)) != WEOF &&
    190 			    iswspace_l(c, loc))
    191 				;
    192 			if (c != WEOF)
    193 				ungetwc(c, fp);
    194 			continue;
    195 		}
    196 		if (c != '%')
    197 			goto literal;
    198 		width = 0;
    199 		flags = 0;
    200 		/*
    201 		 * switch on the format.  continue if done;
    202 		 * break once format type is derived.
    203 		 */
    204 again:		c = *fmt++;
    205 		switch (c) {
    206 		case '%':
    207 			SCANF_SKIP_SPACE();
    208 literal:
    209 			if ((wi = __fgetwc_unlock(fp)) == WEOF)
    210 				goto input_failure;
    211 			if (wi != c) {
    212 				ungetwc(wi, fp);
    213 				goto input_failure;
    214 			}
    215 			nread++;
    216 			continue;
    217 
    218 		case '*':
    219 			flags |= SUPPRESS;
    220 			goto again;
    221 		case 'j':
    222 			flags |= INTMAXT;
    223 			goto again;
    224 		case 'l':
    225 			if (flags & LONG) {
    226 				flags &= ~LONG;
    227 				flags |= LONGLONG;
    228 			} else
    229 				flags |= LONG;
    230 			goto again;
    231 		case 'q':
    232 			flags |= LONGLONG;	/* not quite */
    233 			goto again;
    234 		case 't':
    235 			flags |= PTRDIFFT;
    236 			goto again;
    237 		case 'z':
    238 			flags |= SIZET;
    239 			goto again;
    240 		case 'L':
    241 			flags |= LONGDBL;
    242 			goto again;
    243 		case 'h':
    244 			if (flags & SHORT) {
    245 				flags &= ~SHORT;
    246 				flags |= SHORTSHORT;
    247 			} else
    248 				flags |= SHORT;
    249 			goto again;
    250 
    251 		case '0': case '1': case '2': case '3': case '4':
    252 		case '5': case '6': case '7': case '8': case '9':
    253 			width = width * 10 + c - '0';
    254 			goto again;
    255 
    256 		/*
    257 		 * Conversions.
    258 		 */
    259 		case 'd':
    260 			c = CT_INT;
    261 			base = 10;
    262 			break;
    263 
    264 		case 'i':
    265 			c = CT_INT;
    266 			base = 0;
    267 			break;
    268 
    269 		case 'o':
    270 			c = CT_INT;
    271 			flags |= UNSIGNED;
    272 			base = 8;
    273 			break;
    274 
    275 		case 'u':
    276 			c = CT_INT;
    277 			flags |= UNSIGNED;
    278 			base = 10;
    279 			break;
    280 
    281 		case 'X':
    282 		case 'x':
    283 			flags |= PFXOK;	/* enable 0x prefixing */
    284 			c = CT_INT;
    285 			flags |= UNSIGNED;
    286 			base = 16;
    287 			break;
    288 
    289 #ifndef NO_FLOATING_POINT
    290 		case 'A': case 'E': case 'F': case 'G':
    291 		case 'a': case 'e': case 'f': case 'g':
    292 			c = CT_FLOAT;
    293 			break;
    294 #endif
    295 
    296 		case 'S':
    297 			flags |= LONG;
    298 			/* FALLTHROUGH */
    299 		case 's':
    300 			c = CT_STRING;
    301 			break;
    302 
    303 		case '[':
    304 			ccls = fmt;
    305 			if (*fmt == '^') {
    306 				cclcompl = 1;
    307 				fmt++;
    308 			} else
    309 				cclcompl = 0;
    310 			if (*fmt == ']')
    311 				fmt++;
    312 			while (*fmt != '\0' && *fmt != ']')
    313 				fmt++;
    314 			ccle = fmt;
    315 			fmt++;
    316 			flags |= NOSKIP;
    317 			c = CT_CCL;
    318 			break;
    319 
    320 		case 'C':
    321 			flags |= LONG;
    322 			/* FALLTHROUGH */
    323 		case 'c':
    324 			flags |= NOSKIP;
    325 			c = CT_CHAR;
    326 			break;
    327 
    328 		case 'p':	/* pointer format is like hex */
    329 			flags |= POINTER | PFXOK;
    330 			c = CT_INT;		/* assumes sizeof(uintmax_t) */
    331 			flags |= UNSIGNED;	/*      >= sizeof(uintptr_t) */
    332 			base = 16;
    333 			break;
    334 
    335 		case 'n':
    336 			nconversions++;
    337 			if (flags & SUPPRESS)	/* ??? */
    338 				continue;
    339 			if (flags & SHORTSHORT)
    340 				*va_arg(ap, char *) = (char)nread;
    341 			else if (flags & SHORT)
    342 				*va_arg(ap, short *) = (short)nread;
    343 			else if (flags & LONG)
    344 				*va_arg(ap, long *) = nread;
    345 			else if (flags & LONGLONG)
    346 				*va_arg(ap, quad_t *) = nread;
    347 			else if (flags & INTMAXT)
    348 				*va_arg(ap, intmax_t *) = nread;
    349 			else if (flags & SIZET)
    350 				*va_arg(ap, size_t *) = nread;
    351 			else if (flags & PTRDIFFT)
    352 				*va_arg(ap, ptrdiff_t *) = nread;
    353 			else
    354 				*va_arg(ap, int *) = (int)nread;
    355 			continue;
    356 
    357 		default:
    358 			goto match_failure;
    359 
    360 		/*
    361 		 * Disgusting backwards compatibility hack.	XXX
    362 		 */
    363 		case '\0':	/* compat */
    364 			return EOF;
    365 		}
    366 
    367 		/*
    368 		 * Consume leading white space, except for formats
    369 		 * that suppress this.
    370 		 */
    371 		if ((flags & NOSKIP) == 0) {
    372 			while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    373 			       iswspace_l(wi, loc))
    374 				nread++;
    375 			if (wi == WEOF)
    376 				goto input_failure;
    377 			ungetwc(wi, fp);
    378 		}
    379 
    380 		/*
    381 		 * Do the conversion.
    382 		 */
    383 		switch (c) {
    384 
    385 		case CT_CHAR:
    386 			/* scan arbitrary characters (sets NOSKIP) */
    387 			if (width == 0)
    388 				width = 1;
    389 			if (flags & LONG) {
    390 				if (!(flags & SUPPRESS))
    391 					p = va_arg(ap, wchar_t *);
    392 				n = 0;
    393 				while (width-- != 0 &&
    394 				    (wi = __fgetwc_unlock(fp)) != WEOF) {
    395 					if (!(flags & SUPPRESS))
    396 						*p++ = (wchar_t)wi;
    397 					n++;
    398 				}
    399 				if (n == 0)
    400 					goto input_failure;
    401 				nread += n;
    402 				if (!(flags & SUPPRESS))
    403 					nassigned++;
    404 			} else {
    405 				if (!(flags & SUPPRESS))
    406 					mbp = va_arg(ap, char *);
    407 				n = 0;
    408 				mbs = initial;
    409 				while (width != 0 &&
    410 				    (wi = __fgetwc_unlock(fp)) != WEOF) {
    411 					if (width >= MB_CUR_MAX_L(loc) &&
    412 					    !(flags & SUPPRESS)) {
    413 						nconv = wcrtomb_l(mbp, wi,
    414 						    &mbs, loc);
    415 						if (nconv == (size_t)-1)
    416 							goto input_failure;
    417 					} else {
    418 						nconv = wcrtomb_l(mbbuf, wi,
    419 						    &mbs, loc);
    420 						if (nconv == (size_t)-1)
    421 							goto input_failure;
    422 						if (nconv > width) {
    423 							ungetwc(wi, fp);
    424 							break;
    425 						}
    426 						if (!(flags & SUPPRESS))
    427 							memcpy(mbp, mbbuf,
    428 							    nconv);
    429 					}
    430 					if (!(flags & SUPPRESS))
    431 						mbp += nconv;
    432 					width -= nconv;
    433 					n++;
    434 				}
    435 				if (n == 0)
    436 					goto input_failure;
    437 				nread += n;
    438 				if (!(flags & SUPPRESS))
    439 					nassigned++;
    440 			}
    441 			nconversions++;
    442 			break;
    443 
    444 		case CT_CCL:
    445 			/* scan a (nonempty) character class (sets NOSKIP) */
    446 			if (width == 0)
    447 				width = (size_t)~0;	/* `infinity' */
    448 			/* take only those things in the class */
    449 			if ((flags & SUPPRESS) && (flags & LONG)) {
    450 				n = 0;
    451 				while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    452 				    width-- != 0 && INCCL(wi))
    453 					n++;
    454 				if (wi != WEOF)
    455 					ungetwc(wi, fp);
    456 				if (n == 0)
    457 					goto match_failure;
    458 			} else if (flags & LONG) {
    459 				p0 = p = va_arg(ap, wchar_t *);
    460 				while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    461 				    width-- != 0 && INCCL(wi))
    462 					*p++ = (wchar_t)wi;
    463 				if (wi != WEOF)
    464 					ungetwc(wi, fp);
    465 				_DIAGASSERT(__type_fit(int, p - p0));
    466 				n = (int)(p - p0);
    467 				if (n == 0)
    468 					goto match_failure;
    469 				*p = 0;
    470 				nassigned++;
    471 			} else {
    472 				if (!(flags & SUPPRESS))
    473 					mbp = va_arg(ap, char *);
    474 				n = 0;
    475 				mbs = initial;
    476 				while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    477 				    width != 0 && INCCL(wi)) {
    478 					if (width >= MB_CUR_MAX_L(loc) &&
    479 					   !(flags & SUPPRESS)) {
    480 						nconv = wcrtomb_l(mbp, wi,
    481 						    &mbs, loc);
    482 						if (nconv == (size_t)-1)
    483 							goto input_failure;
    484 					} else {
    485 						nconv = wcrtomb_l(mbbuf, wi,
    486 						    &mbs, loc);
    487 						if (nconv == (size_t)-1)
    488 							goto input_failure;
    489 						if (nconv > width)
    490 							break;
    491 						if (!(flags & SUPPRESS))
    492 							memcpy(mbp, mbbuf,
    493 							    nconv);
    494 					}
    495 					if (!(flags & SUPPRESS))
    496 						mbp += nconv;
    497 					width -= nconv;
    498 					n++;
    499 				}
    500 				if (wi != WEOF)
    501 					ungetwc(wi, fp);
    502 				if (!(flags & SUPPRESS)) {
    503 					*mbp = 0;
    504 					nassigned++;
    505 				}
    506 			}
    507 			nread += n;
    508 			nconversions++;
    509 			break;
    510 
    511 		case CT_STRING:
    512 			/* like CCL, but zero-length string OK, & no NOSKIP */
    513 			if (width == 0)
    514 				width = (size_t)~0;
    515 			if ((flags & SUPPRESS) && (flags & LONG)) {
    516 				while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    517 				    width-- != 0 &&
    518 				    !iswspace_l(wi, loc))
    519 					nread++;
    520 				if (wi != WEOF)
    521 					ungetwc(wi, fp);
    522 			} else if (flags & LONG) {
    523 				p0 = p = va_arg(ap, wchar_t *);
    524 				while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    525 				    width-- != 0 &&
    526 				    !iswspace_l(wi, loc)) {
    527 					*p++ = (wchar_t)wi;
    528 					nread++;
    529 				}
    530 				if (wi != WEOF)
    531 					ungetwc(wi, fp);
    532 				*p = '\0';
    533 				nassigned++;
    534 			} else {
    535 				if (!(flags & SUPPRESS))
    536 					mbp = va_arg(ap, char *);
    537 				mbs = initial;
    538 				while ((wi = __fgetwc_unlock(fp)) != WEOF &&
    539 				    width != 0 &&
    540 				    !iswspace_l(wi, loc)) {
    541 					if (width >= MB_CUR_MAX_L(loc) &&
    542 					    !(flags & SUPPRESS)) {
    543 						nconv = wcrtomb_l(mbp, wi,
    544 						    &mbs, loc);
    545 						if (nconv == (size_t)-1)
    546 							goto input_failure;
    547 					} else {
    548 						nconv = wcrtomb_l(mbbuf, wi,
    549 						    &mbs, loc);
    550 						if (nconv == (size_t)-1)
    551 							goto input_failure;
    552 						if (nconv > width)
    553 							break;
    554 						if (!(flags & SUPPRESS))
    555 							memcpy(mbp, mbbuf,
    556 							    nconv);
    557 					}
    558 					if (!(flags & SUPPRESS))
    559 						mbp += nconv;
    560 					width -= nconv;
    561 					nread++;
    562 				}
    563 				if (wi != WEOF)
    564 					ungetwc(wi, fp);
    565 				if (!(flags & SUPPRESS)) {
    566 					*mbp = 0;
    567 					nassigned++;
    568 				}
    569 			}
    570 			nconversions++;
    571 			continue;
    572 
    573 		case CT_INT:
    574 			/* scan an integer as if by the conversion function */
    575 			if (width == 0 || width > sizeof(buf) /
    576 			    sizeof(*buf) - 1)
    577 				width = sizeof(buf) / sizeof(*buf) - 1;
    578 			flags |= SIGNOK | NDIGITS | NZDIGITS;
    579 			for (p = buf; width; width--) {
    580 				c = __fgetwc_unlock(fp);
    581 				/*
    582 				 * Switch on the character; `goto ok'
    583 				 * if we accept it as a part of number.
    584 				 */
    585 				switch (c) {
    586 
    587 				/*
    588 				 * The digit 0 is always legal, but is
    589 				 * special.  For %i conversions, if no
    590 				 * digits (zero or nonzero) have been
    591 				 * scanned (only signs), we will have
    592 				 * base==0.  In that case, we should set
    593 				 * it to 8 and enable 0x prefixing.
    594 				 * Also, if we have not scanned zero digits
    595 				 * before this, do not turn off prefixing
    596 				 * (someone else will turn it off if we
    597 				 * have scanned any nonzero digits).
    598 				 */
    599 				case '0':
    600 					if (base == 0) {
    601 						base = 8;
    602 						flags |= PFXOK;
    603 					}
    604 					if (flags & NZDIGITS)
    605 					    flags &= ~(SIGNOK|NZDIGITS|NDIGITS);
    606 					else
    607 					    flags &= ~(SIGNOK|PFXOK|NDIGITS);
    608 					goto ok;
    609 
    610 				/* 1 through 7 always legal */
    611 				case '1': case '2': case '3':
    612 				case '4': case '5': case '6': case '7':
    613 					base = basefix[base];
    614 					flags &= ~(SIGNOK | PFXOK | NDIGITS);
    615 					goto ok;
    616 
    617 				/* digits 8 and 9 ok iff decimal or hex */
    618 				case '8': case '9':
    619 					base = basefix[base];
    620 					if (base <= 8)
    621 						break;	/* not legal here */
    622 					flags &= ~(SIGNOK | PFXOK | NDIGITS);
    623 					goto ok;
    624 
    625 				/* letters ok iff hex */
    626 				case 'A': case 'B': case 'C':
    627 				case 'D': case 'E': case 'F':
    628 				case 'a': case 'b': case 'c':
    629 				case 'd': case 'e': case 'f':
    630 					/* no need to fix base here */
    631 					if (base <= 10)
    632 						break;	/* not legal here */
    633 					flags &= ~(SIGNOK | PFXOK | NDIGITS);
    634 					goto ok;
    635 
    636 				/* sign ok only as first character */
    637 				case '+': case '-':
    638 					if (flags & SIGNOK) {
    639 						flags &= ~SIGNOK;
    640 						flags |= HAVESIGN;
    641 						goto ok;
    642 					}
    643 					break;
    644 
    645 				/*
    646 				 * x ok iff flag still set & 2nd char (or
    647 				 * 3rd char if we have a sign).
    648 				 */
    649 				case 'x': case 'X':
    650 					if (flags & PFXOK && p ==
    651 					    buf + 1 + !!(flags & HAVESIGN)) {
    652 						base = 16;	/* if %i */
    653 						flags &= ~PFXOK;
    654 						goto ok;
    655 					}
    656 					break;
    657 				}
    658 
    659 				/*
    660 				 * If we got here, c is not a legal character
    661 				 * for a number.  Stop accumulating digits.
    662 				 */
    663 				if (c != WEOF)
    664 					ungetwc(c, fp);
    665 				break;
    666 		ok:
    667 				/*
    668 				 * c is legal: store it and look at the next.
    669 				 */
    670 				*p++ = (wchar_t)c;
    671 			}
    672 			/*
    673 			 * If we had only a sign, it is no good; push
    674 			 * back the sign.  If the number ends in `x',
    675 			 * it was [sign] '0' 'x', so push back the x
    676 			 * and treat it as [sign] '0'.
    677 			 */
    678 			if (flags & NDIGITS) {
    679 				if (p > buf)
    680 					ungetwc(*--p, fp);
    681 				goto match_failure;
    682 			}
    683 			c = p[-1];
    684 			if (c == 'x' || c == 'X') {
    685 				--p;
    686 				ungetwc(c, fp);
    687 			}
    688 			if ((flags & SUPPRESS) == 0) {
    689 				uintmax_t res;
    690 
    691 				*p = 0;
    692 				if ((flags & UNSIGNED) == 0)
    693 				    res = wcstoimax_l(buf, NULL, base, loc);
    694 				else
    695 				    res = wcstoumax_l(buf, NULL, base, loc);
    696 				if (flags & POINTER)
    697 					*va_arg(ap, void **) =
    698 							(void *)(uintptr_t)res;
    699 				else if (flags & SHORTSHORT)
    700 					*va_arg(ap, char *) = (char)res;
    701 				else if (flags & SHORT)
    702 					*va_arg(ap, short *) = (short)res;
    703 				else if (flags & LONG)
    704 					*va_arg(ap, long *) = (long)res;
    705 				else if (flags & LONGLONG)
    706 					*va_arg(ap, quad_t *) = res;
    707 				else if (flags & INTMAXT)
    708 					*va_arg(ap, intmax_t *) = res;
    709 				else if (flags & PTRDIFFT)
    710 					*va_arg(ap, ptrdiff_t *) = (ptrdiff_t)res;
    711 				else if (flags & SIZET)
    712 					*va_arg(ap, size_t *) = (size_t)res;
    713 				else
    714 					*va_arg(ap, int *) = (int)res;
    715 				nassigned++;
    716 			}
    717 			_DIAGASSERT(__type_fit(int, p - buf));
    718 			nread += (int)(p - buf);
    719 			nconversions++;
    720 			break;
    721 
    722 #ifndef NO_FLOATING_POINT
    723 		case CT_FLOAT:
    724 			/* scan a floating point number as if by strtod */
    725 			if (width == 0 || width > sizeof(buf) /
    726 			    sizeof(*buf) - 1)
    727 				width = sizeof(buf) / sizeof(*buf) - 1;
    728 			if ((width = parsefloat(fp, buf, buf + width, loc)) == 0)
    729 				goto match_failure;
    730 			if ((flags & SUPPRESS) == 0) {
    731 				if (flags & LONGDBL) {
    732 					long double res = wcstold_l(buf, &p,
    733 					    loc);
    734 					*va_arg(ap, long double *) = res;
    735 				} else
    736 				if (flags & LONG) {
    737 					double res = wcstod_l(buf, &p, loc);
    738 					*va_arg(ap, double *) = res;
    739 				} else {
    740 					float res = wcstof_l(buf, &p, loc);
    741 					*va_arg(ap, float *) = res;
    742 				}
    743 #ifdef DEBUG
    744 				if (p - buf != (ptrdiff_t)width)
    745 					abort();
    746 #endif
    747 				nassigned++;
    748 			}
    749 			nread += width;
    750 			nconversions++;
    751 			break;
    752 #endif /* !NO_FLOATING_POINT */
    753 		}
    754 	}
    755 input_failure:
    756 	return nconversions != 0 ? nassigned : EOF;
    757 match_failure:
    758 	return nassigned;
    759 }
    760 
    761 #ifndef NO_FLOATING_POINT
    762 static int
    763 parsefloat(FILE *fp, wchar_t *buf, wchar_t *end, locale_t loc)
    764 {
    765 	wchar_t *commit, *p;
    766 	int infnanpos = 0;
    767 	enum {
    768 		S_START, S_GOTSIGN, S_INF, S_NAN, S_MAYBEHEX,
    769 		S_DIGITS, S_FRAC, S_EXP, S_EXPDIGITS
    770 	} state = S_START;
    771 	wchar_t c;
    772 	wchar_t decpt = (wchar_t)(unsigned char)*localeconv_l(loc)->decimal_point;
    773 	int gotmantdig = 0, ishex = 0;
    774 
    775 	/*
    776 	 * We set commit = p whenever the string we have read so far
    777 	 * constitutes a valid representation of a floating point
    778 	 * number by itself.  At some point, the parse will complete
    779 	 * or fail, and we will ungetc() back to the last commit point.
    780 	 * To ensure that the file offset gets updated properly, it is
    781 	 * always necessary to read at least one character that doesn't
    782 	 * match; thus, we can't short-circuit "infinity" or "nan(...)".
    783 	 */
    784 	commit = buf - 1;
    785 	c = WEOF;
    786 	for (p = buf; p < end; ) {
    787 		if ((c = __fgetwc_unlock(fp)) == WEOF)
    788 			break;
    789 reswitch:
    790 		switch (state) {
    791 		case S_START:
    792 			state = S_GOTSIGN;
    793 			if (c == '-' || c == '+')
    794 				break;
    795 			else
    796 				goto reswitch;
    797 		case S_GOTSIGN:
    798 			switch (c) {
    799 			case '0':
    800 				state = S_MAYBEHEX;
    801 				commit = p;
    802 				break;
    803 			case 'I':
    804 			case 'i':
    805 				state = S_INF;
    806 				break;
    807 			case 'N':
    808 			case 'n':
    809 				state = S_NAN;
    810 				break;
    811 			default:
    812 				state = S_DIGITS;
    813 				goto reswitch;
    814 			}
    815 			break;
    816 		case S_INF:
    817 			if (infnanpos > 6 ||
    818 			    (c != "nfinity"[infnanpos] &&
    819 			     c != "NFINITY"[infnanpos]))
    820 				goto parsedone;
    821 			if (infnanpos == 1 || infnanpos == 6)
    822 				commit = p;	/* inf or infinity */
    823 			infnanpos++;
    824 			break;
    825 		case S_NAN:
    826 			switch (infnanpos) {
    827 			case -1:	/* XXX kludge to deal with nan(...) */
    828 				goto parsedone;
    829 			case 0:
    830 				if (c != 'A' && c != 'a')
    831 					goto parsedone;
    832 				break;
    833 			case 1:
    834 				if (c != 'N' && c != 'n')
    835 					goto parsedone;
    836 				else
    837 					commit = p;
    838 				break;
    839 			case 2:
    840 				if (c != '(')
    841 					goto parsedone;
    842 				break;
    843 			default:
    844 				if (c == ')') {
    845 					commit = p;
    846 					infnanpos = -2;
    847 				} else if (!iswalnum_l(c, loc) && c != '_')
    848 					goto parsedone;
    849 				break;
    850 			}
    851 			infnanpos++;
    852 			break;
    853 		case S_MAYBEHEX:
    854 			state = S_DIGITS;
    855 			if (c == 'X' || c == 'x') {
    856 				ishex = 1;
    857 				break;
    858 			} else {	/* we saw a '0', but no 'x' */
    859 				gotmantdig = 1;
    860 				goto reswitch;
    861 			}
    862 		case S_DIGITS:
    863 			if ((ishex && iswxdigit_l(c, loc)) ||
    864 			    iswdigit_l(c, loc))
    865 				gotmantdig = 1;
    866 			else {
    867 				state = S_FRAC;
    868 				if (c != decpt)
    869 					goto reswitch;
    870 			}
    871 			if (gotmantdig)
    872 				commit = p;
    873 			break;
    874 		case S_FRAC:
    875 			if (((c == 'E' || c == 'e') && !ishex) ||
    876 			    ((c == 'P' || c == 'p') && ishex)) {
    877 				if (!gotmantdig)
    878 					goto parsedone;
    879 				else
    880 					state = S_EXP;
    881 			} else if ((ishex && iswxdigit_l(c, loc)) ||
    882 			    iswdigit_l(c, loc)) {
    883 				commit = p;
    884 				gotmantdig = 1;
    885 			} else
    886 				goto parsedone;
    887 			break;
    888 		case S_EXP:
    889 			state = S_EXPDIGITS;
    890 			if (c == '-' || c == '+')
    891 				break;
    892 			else
    893 				goto reswitch;
    894 		case S_EXPDIGITS:
    895 			if (iswdigit_l(c, loc))
    896 				commit = p;
    897 			else
    898 				goto parsedone;
    899 			break;
    900 		default:
    901 			abort();
    902 		}
    903 		*p++ = c;
    904 		c = WEOF;
    905 	}
    906 
    907 parsedone:
    908 	if (c != WEOF)
    909 		ungetwc(c, fp);
    910 	while (commit < --p)
    911 		ungetwc(*p, fp);
    912 	*++commit = '\0';
    913 	_DIAGASSERT(__type_fit(int, commit - buf));
    914 	return (int)(commit - buf);
    915 }
    916 #endif
    917