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