Home | History | Annotate | Line # | Download | only in stdio
vfscanf.c revision 1.24
      1 /*	$NetBSD: vfscanf.c,v 1.24 1999/09/20 04:39:34 lukem 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[] = "@(#)vfscanf.c	8.1 (Berkeley) 6/4/93";
     43 #else
     44 __RCSID("$NetBSD: vfscanf.c,v 1.24 1999/09/20 04:39:34 lukem Exp $");
     45 #endif
     46 #endif /* LIBC_SCCS and not lint */
     47 
     48 #include "namespace.h"
     49 
     50 #include <assert.h>
     51 #include <errno.h>
     52 #include <stdio.h>
     53 #include <stdlib.h>
     54 #include <ctype.h>
     55 #if __STDC__
     56 #include <stdarg.h>
     57 #else
     58 #include <varargs.h>
     59 #endif
     60 
     61 #include "local.h"
     62 
     63 #ifdef FLOATING_POINT
     64 #include "floatio.h"
     65 #endif
     66 
     67 #define	BUF		513	/* Maximum length of numeric string. */
     68 
     69 /*
     70  * Flags used during conversion.
     71  */
     72 #define	LONG		0x01	/* l: long or double */
     73 #define	LONGDBL		0x02	/* L: long double; unimplemented */
     74 #define	SHORT		0x04	/* h: short */
     75 #define QUAD		0x08	/* q: quad */
     76 #define	SUPPRESS	0x10	/* suppress assignment */
     77 #define	POINTER		0x20	/* weird %p pointer (`fake hex') */
     78 #define	NOSKIP		0x40	/* do not skip blanks */
     79 
     80 /*
     81  * The following are used in numeric conversions only:
     82  * SIGNOK, NDIGITS, DPTOK, and EXPOK are for floating point;
     83  * SIGNOK, NDIGITS, PFXOK, and NZDIGITS are for integral.
     84  */
     85 #define	SIGNOK		0x080	/* +/- is (still) legal */
     86 #define	NDIGITS		0x100	/* no digits detected */
     87 
     88 #define	DPTOK		0x200	/* (float) decimal point is still legal */
     89 #define	EXPOK		0x400	/* (float) exponent (e+3, etc) still legal */
     90 
     91 #define	PFXOK		0x200	/* 0x prefix is (still) legal */
     92 #define	NZDIGITS	0x400	/* no zero digits detected */
     93 
     94 /*
     95  * Conversion types.
     96  */
     97 #define	CT_CHAR		0	/* %c conversion */
     98 #define	CT_CCL		1	/* %[...] conversion */
     99 #define	CT_STRING	2	/* %s conversion */
    100 #define	CT_INT		3	/* integer, i.e., strtoq or strtouq */
    101 #define	CT_FLOAT	4	/* floating, i.e., strtod */
    102 
    103 #define u_char unsigned char
    104 #define u_long unsigned long
    105 
    106 static const u_char *__sccl __P((char *, const u_char *));
    107 
    108 /*
    109  * vfscanf
    110  */
    111 int
    112 __svfscanf(fp, fmt0, ap)
    113 	FILE *fp;
    114 	const char *fmt0;
    115 	_BSD_VA_LIST_ ap;
    116 {
    117 	const u_char *fmt = (const u_char *)fmt0;
    118 	int c;		/* character from format, or conversion */
    119 	size_t width;	/* field width, or 0 */
    120 	char *p;	/* points into all kinds of strings */
    121 	int n;		/* handy integer */
    122 	int flags;	/* flags as defined above */
    123 	char *p0;	/* saves original value of p when necessary */
    124 	int nassigned;		/* number of fields assigned */
    125 	int nread;		/* number of characters consumed from fp */
    126 	int base;		/* base argument to strtoq/strtouq */
    127 	u_quad_t (*ccfn) __P((const char *, char **, int));
    128 				/* conversion function (strtoq/strtouq) */
    129 	char ccltab[256];	/* character class table for %[...] */
    130 	char buf[BUF];		/* buffer for numeric conversions */
    131 
    132 	/* `basefix' is used to avoid `if' tests in the integer scanner */
    133 	static const short basefix[17] =
    134 		{ 10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16 };
    135 
    136 	_DIAGASSERT(fp != NULL);
    137 	_DIAGASSERT(fmt0 != NULL);
    138 
    139 	nassigned = 0;
    140 	nread = 0;
    141 	base = 0;		/* XXX just to keep gcc happy */
    142 	ccfn = NULL;		/* XXX just to keep gcc happy */
    143 	for (;;) {
    144 		c = *fmt++;
    145 		if (c == 0)
    146 			return (nassigned);
    147 		if (isspace(c)) {
    148 			while ((fp->_r > 0 || __srefill(fp) == 0) &&
    149 			    isspace(*fp->_p))
    150 				nread++, fp->_r--, fp->_p++;
    151 			continue;
    152 		}
    153 		if (c != '%')
    154 			goto literal;
    155 		width = 0;
    156 		flags = 0;
    157 		/*
    158 		 * switch on the format.  continue if done;
    159 		 * break once format type is derived.
    160 		 */
    161 again:		c = *fmt++;
    162 		switch (c) {
    163 		case '%':
    164 literal:
    165 			if (fp->_r <= 0 && __srefill(fp))
    166 				goto input_failure;
    167 			if (*fp->_p != c)
    168 				goto match_failure;
    169 			fp->_r--, fp->_p++;
    170 			nread++;
    171 			continue;
    172 
    173 		case '*':
    174 			flags |= SUPPRESS;
    175 			goto again;
    176 		case 'L':
    177 			flags |= LONGDBL;
    178 			goto again;
    179 		case 'h':
    180 			flags |= SHORT;
    181 			goto again;
    182 		case 'l':
    183 			if (*fmt == 'l') {
    184 				fmt++;
    185 				flags |= QUAD;
    186 			} else {
    187 				flags |= LONG;
    188 			}
    189 			goto again;
    190 		case 'q':
    191 			flags |= QUAD;
    192 			goto again;
    193 
    194 		case '0': case '1': case '2': case '3': case '4':
    195 		case '5': case '6': case '7': case '8': case '9':
    196 			width = width * 10 + c - '0';
    197 			goto again;
    198 
    199 		/*
    200 		 * Conversions.
    201 		 * Those marked `compat' are for 4.[123]BSD compatibility.
    202 		 *
    203 		 * (According to ANSI, E and X formats are supposed
    204 		 * to the same as e and x.  Sorry about that.)
    205 		 */
    206 		case 'D':	/* compat */
    207 			flags |= LONG;
    208 			/* FALLTHROUGH */
    209 		case 'd':
    210 			c = CT_INT;
    211 			ccfn = (u_quad_t (*) __P((const char *, char **, int)))strtoq;
    212 			base = 10;
    213 			break;
    214 
    215 		case 'i':
    216 			c = CT_INT;
    217 			ccfn = (u_quad_t (*) __P((const char *, char **, int)))strtoq;
    218 			base = 0;
    219 			break;
    220 
    221 		case 'O':	/* compat */
    222 			flags |= LONG;
    223 			/* FALLTHROUGH */
    224 		case 'o':
    225 			c = CT_INT;
    226 			ccfn = strtouq;
    227 			base = 8;
    228 			break;
    229 
    230 		case 'u':
    231 			c = CT_INT;
    232 			ccfn = strtouq;
    233 			base = 10;
    234 			break;
    235 
    236 		case 'X':
    237 		case 'x':
    238 			flags |= PFXOK;	/* enable 0x prefixing */
    239 			c = CT_INT;
    240 			ccfn = strtouq;
    241 			base = 16;
    242 			break;
    243 
    244 #ifdef FLOATING_POINT
    245 		case 'E':
    246 		case 'G':
    247 		case 'e':
    248 		case 'f':
    249 		case 'g':
    250 			c = CT_FLOAT;
    251 			break;
    252 #endif
    253 
    254 		case 's':
    255 			c = CT_STRING;
    256 			break;
    257 
    258 		case '[':
    259 			fmt = __sccl(ccltab, fmt);
    260 			flags |= NOSKIP;
    261 			c = CT_CCL;
    262 			break;
    263 
    264 		case 'c':
    265 			flags |= NOSKIP;
    266 			c = CT_CHAR;
    267 			break;
    268 
    269 		case 'p':	/* pointer format is like hex */
    270 			flags |= POINTER | PFXOK;
    271 			c = CT_INT;
    272 			ccfn = strtouq;
    273 			base = 16;
    274 			break;
    275 
    276 		case 'n':
    277 			if (flags & SUPPRESS)	/* ??? */
    278 				continue;
    279 			if (flags & SHORT)
    280 				*va_arg(ap, short *) = nread;
    281 			else if (flags & LONG)
    282 				*va_arg(ap, long *) = nread;
    283 			else
    284 				*va_arg(ap, int *) = nread;
    285 			continue;
    286 
    287 		/*
    288 		 * Disgusting backwards compatibility hacks.	XXX
    289 		 */
    290 		case '\0':	/* compat */
    291 			return (EOF);
    292 
    293 		default:	/* compat */
    294 			if (isupper(c))
    295 				flags |= LONG;
    296 			c = CT_INT;
    297 			ccfn = (u_quad_t (*) __P((const char *, char **, int)))strtoq;
    298 			base = 10;
    299 			break;
    300 		}
    301 
    302 		/*
    303 		 * We have a conversion that requires input.
    304 		 */
    305 		if (fp->_r <= 0 && __srefill(fp))
    306 			goto input_failure;
    307 
    308 		/*
    309 		 * Consume leading white space, except for formats
    310 		 * that suppress this.
    311 		 */
    312 		if ((flags & NOSKIP) == 0) {
    313 			while (isspace(*fp->_p)) {
    314 				nread++;
    315 				if (--fp->_r > 0)
    316 					fp->_p++;
    317 				else if (__srefill(fp))
    318 					goto input_failure;
    319 			}
    320 			/*
    321 			 * Note that there is at least one character in
    322 			 * the buffer, so conversions that do not set NOSKIP
    323 			 * ca no longer result in an input failure.
    324 			 */
    325 		}
    326 
    327 		/*
    328 		 * Do the conversion.
    329 		 */
    330 		switch (c) {
    331 
    332 		case CT_CHAR:
    333 			/* scan arbitrary characters (sets NOSKIP) */
    334 			if (width == 0)
    335 				width = 1;
    336 			if (flags & SUPPRESS) {
    337 				size_t sum = 0;
    338 				for (;;) {
    339 					if ((n = fp->_r) < width) {
    340 						sum += n;
    341 						width -= n;
    342 						fp->_p += n;
    343 						if (__srefill(fp)) {
    344 							if (sum == 0)
    345 							    goto input_failure;
    346 							break;
    347 						}
    348 					} else {
    349 						sum += width;
    350 						fp->_r -= width;
    351 						fp->_p += width;
    352 						break;
    353 					}
    354 				}
    355 				nread += sum;
    356 			} else {
    357 				size_t r = fread((void *)va_arg(ap, char *), 1,
    358 				    width, fp);
    359 
    360 				if (r == 0)
    361 					goto input_failure;
    362 				nread += r;
    363 				nassigned++;
    364 			}
    365 			break;
    366 
    367 		case CT_CCL:
    368 			/* scan a (nonempty) character class (sets NOSKIP) */
    369 			if (width == 0)
    370 				width = ~0U;	/* `infinity' */
    371 			/* take only those things in the class */
    372 			if (flags & SUPPRESS) {
    373 				n = 0;
    374 				while (ccltab[*fp->_p]) {
    375 					n++, fp->_r--, fp->_p++;
    376 					if (--width == 0)
    377 						break;
    378 					if (fp->_r <= 0 && __srefill(fp)) {
    379 						if (n == 0)
    380 							goto input_failure;
    381 						break;
    382 					}
    383 				}
    384 				if (n == 0)
    385 					goto match_failure;
    386 			} else {
    387 				p0 = p = va_arg(ap, char *);
    388 				while (ccltab[*fp->_p]) {
    389 					fp->_r--;
    390 					*p++ = *fp->_p++;
    391 					if (--width == 0)
    392 						break;
    393 					if (fp->_r <= 0 && __srefill(fp)) {
    394 						if (p == p0)
    395 							goto input_failure;
    396 						break;
    397 					}
    398 				}
    399 				n = p - p0;
    400 				if (n == 0)
    401 					goto match_failure;
    402 				*p = 0;
    403 				nassigned++;
    404 			}
    405 			nread += n;
    406 			break;
    407 
    408 		case CT_STRING:
    409 			/* like CCL, but zero-length string OK, & no NOSKIP */
    410 			if (width == 0)
    411 				width = ~0U;
    412 			if (flags & SUPPRESS) {
    413 				n = 0;
    414 				while (!isspace(*fp->_p)) {
    415 					n++, fp->_r--, fp->_p++;
    416 					if (--width == 0)
    417 						break;
    418 					if (fp->_r <= 0 && __srefill(fp))
    419 						break;
    420 				}
    421 				nread += n;
    422 			} else {
    423 				p0 = p = va_arg(ap, char *);
    424 				while (!isspace(*fp->_p)) {
    425 					fp->_r--;
    426 					*p++ = *fp->_p++;
    427 					if (--width == 0)
    428 						break;
    429 					if (fp->_r <= 0 && __srefill(fp))
    430 						break;
    431 				}
    432 				*p = 0;
    433 				nread += p - p0;
    434 				nassigned++;
    435 			}
    436 			continue;
    437 
    438 		case CT_INT:
    439 			/* scan an integer as if by strtoq/strtouq */
    440 #ifdef hardway
    441 			if (width == 0 || width > sizeof(buf) - 1)
    442 				width = sizeof(buf) - 1;
    443 #else
    444 			/* size_t is unsigned, hence this optimisation */
    445 			if (--width > sizeof(buf) - 2)
    446 				width = sizeof(buf) - 2;
    447 			width++;
    448 #endif
    449 			flags |= SIGNOK | NDIGITS | NZDIGITS;
    450 			for (p = buf; width; width--) {
    451 				c = *fp->_p;
    452 				/*
    453 				 * Switch on the character; `goto ok'
    454 				 * if we accept it as a part of number.
    455 				 */
    456 				switch (c) {
    457 
    458 				/*
    459 				 * The digit 0 is always legal, but is
    460 				 * special.  For %i conversions, if no
    461 				 * digits (zero or nonzero) have been
    462 				 * scanned (only signs), we will have
    463 				 * base==0.  In that case, we should set
    464 				 * it to 8 and enable 0x prefixing.
    465 				 * Also, if we have not scanned zero digits
    466 				 * before this, do not turn off prefixing
    467 				 * (someone else will turn it off if we
    468 				 * have scanned any nonzero digits).
    469 				 */
    470 				case '0':
    471 					if (base == 0) {
    472 						base = 8;
    473 						flags |= PFXOK;
    474 					}
    475 					if (flags & NZDIGITS)
    476 					    flags &= ~(SIGNOK|NZDIGITS|NDIGITS);
    477 					else
    478 					    flags &= ~(SIGNOK|PFXOK|NDIGITS);
    479 					goto ok;
    480 
    481 				/* 1 through 7 always legal */
    482 				case '1': case '2': case '3':
    483 				case '4': case '5': case '6': case '7':
    484 					base = basefix[base];
    485 					flags &= ~(SIGNOK | PFXOK | NDIGITS);
    486 					goto ok;
    487 
    488 				/* digits 8 and 9 ok iff decimal or hex */
    489 				case '8': case '9':
    490 					base = basefix[base];
    491 					if (base <= 8)
    492 						break;	/* not legal here */
    493 					flags &= ~(SIGNOK | PFXOK | NDIGITS);
    494 					goto ok;
    495 
    496 				/* letters ok iff hex */
    497 				case 'A': case 'B': case 'C':
    498 				case 'D': case 'E': case 'F':
    499 				case 'a': case 'b': case 'c':
    500 				case 'd': case 'e': case 'f':
    501 					/* no need to fix base here */
    502 					if (base <= 10)
    503 						break;	/* not legal here */
    504 					flags &= ~(SIGNOK | PFXOK | NDIGITS);
    505 					goto ok;
    506 
    507 				/* sign ok only as first character */
    508 				case '+': case '-':
    509 					if (flags & SIGNOK) {
    510 						flags &= ~SIGNOK;
    511 						goto ok;
    512 					}
    513 					break;
    514 
    515 				/* x ok iff flag still set & 2nd char */
    516 				case 'x': case 'X':
    517 					if (flags & PFXOK && p == buf + 1) {
    518 						base = 16;	/* if %i */
    519 						flags &= ~PFXOK;
    520 						goto ok;
    521 					}
    522 					break;
    523 				}
    524 
    525 				/*
    526 				 * If we got here, c is not a legal character
    527 				 * for a number.  Stop accumulating digits.
    528 				 */
    529 				break;
    530 		ok:
    531 				/*
    532 				 * c is legal: store it and look at the next.
    533 				 */
    534 				*p++ = c;
    535 				if (--fp->_r > 0)
    536 					fp->_p++;
    537 				else if (__srefill(fp))
    538 					break;		/* EOF */
    539 			}
    540 			/*
    541 			 * If we had only a sign, it is no good; push
    542 			 * back the sign.  If the number ends in `x',
    543 			 * it was [sign] '0' 'x', so push back the x
    544 			 * and treat it as [sign] '0'.
    545 			 */
    546 			if (flags & NDIGITS) {
    547 				if (p > buf)
    548 					(void) ungetc(*(u_char *)--p, fp);
    549 				goto match_failure;
    550 			}
    551 			c = ((u_char *)p)[-1];
    552 			if (c == 'x' || c == 'X') {
    553 				--p;
    554 				(void) ungetc(c, fp);
    555 			}
    556 			if ((flags & SUPPRESS) == 0) {
    557 				u_quad_t res;
    558 
    559 				*p = 0;
    560 				res = (*ccfn)(buf, (char **)NULL, base);
    561 				if (flags & POINTER)
    562 					*va_arg(ap, void **) =
    563 					    (void *)(long)res;
    564 				else if (flags & QUAD)
    565 					*va_arg(ap, quad_t *) = res;
    566 				else if (flags & LONG)
    567 					*va_arg(ap, long *) = (long)res;
    568 				else if (flags & SHORT)
    569 					*va_arg(ap, short *) = (short)res;
    570 				else
    571 					*va_arg(ap, int *) = (int)res;
    572 				nassigned++;
    573 			}
    574 			nread += p - buf;
    575 			break;
    576 
    577 #ifdef FLOATING_POINT
    578 		case CT_FLOAT:
    579 			/* scan a floating point number as if by strtod */
    580 #ifdef hardway
    581 			if (width == 0 || width > sizeof(buf) - 1)
    582 				width = sizeof(buf) - 1;
    583 #else
    584 			/* size_t is unsigned, hence this optimisation */
    585 			if (--width > sizeof(buf) - 2)
    586 				width = sizeof(buf) - 2;
    587 			width++;
    588 #endif
    589 			flags |= SIGNOK | NDIGITS | DPTOK | EXPOK;
    590 			for (p = buf; width; width--) {
    591 				c = *fp->_p;
    592 				/*
    593 				 * This code mimicks the integer conversion
    594 				 * code, but is much simpler.
    595 				 */
    596 				switch (c) {
    597 
    598 				case '0': case '1': case '2': case '3':
    599 				case '4': case '5': case '6': case '7':
    600 				case '8': case '9':
    601 					flags &= ~(SIGNOK | NDIGITS);
    602 					goto fok;
    603 
    604 				case '+': case '-':
    605 					if (flags & SIGNOK) {
    606 						flags &= ~SIGNOK;
    607 						goto fok;
    608 					}
    609 					break;
    610 				case '.':
    611 					if (flags & DPTOK) {
    612 						flags &= ~(SIGNOK | DPTOK);
    613 						goto fok;
    614 					}
    615 					break;
    616 				case 'e': case 'E':
    617 					/* no exponent without some digits */
    618 					if ((flags&(NDIGITS|EXPOK)) == EXPOK) {
    619 						flags =
    620 						    (flags & ~(EXPOK|DPTOK)) |
    621 						    SIGNOK | NDIGITS;
    622 						goto fok;
    623 					}
    624 					break;
    625 				}
    626 				break;
    627 		fok:
    628 				*p++ = c;
    629 				if (--fp->_r > 0)
    630 					fp->_p++;
    631 				else if (__srefill(fp))
    632 					break;	/* EOF */
    633 			}
    634 			/*
    635 			 * If no digits, might be missing exponent digits
    636 			 * (just give back the exponent) or might be missing
    637 			 * regular digits, but had sign and/or decimal point.
    638 			 */
    639 			if (flags & NDIGITS) {
    640 				if (flags & EXPOK) {
    641 					/* no digits at all */
    642 					while (p > buf)
    643 						ungetc(*(u_char *)--p, fp);
    644 					goto match_failure;
    645 				}
    646 				/* just a bad exponent (e and maybe sign) */
    647 				c = *(u_char *)--p;
    648 				if (c != 'e' && c != 'E') {
    649 					(void) ungetc(c, fp);/* sign */
    650 					c = *(u_char *)--p;
    651 				}
    652 				(void) ungetc(c, fp);
    653 			}
    654 			if ((flags & SUPPRESS) == 0) {
    655 				double res;
    656 
    657 				*p = 0;
    658 				res = strtod(buf, (char **) NULL);
    659 				if (flags & LONGDBL)
    660 					*va_arg(ap, long double *) = res;
    661 				else if (flags & LONG)
    662 					*va_arg(ap, double *) = res;
    663 				else
    664 					*va_arg(ap, float *) = res;
    665 				nassigned++;
    666 			}
    667 			nread += p - buf;
    668 			break;
    669 #endif /* FLOATING_POINT */
    670 		}
    671 	}
    672 input_failure:
    673 	return (nassigned ? nassigned : EOF);
    674 match_failure:
    675 	return (nassigned);
    676 }
    677 
    678 /*
    679  * Fill in the given table from the scanset at the given format
    680  * (just after `[').  Return a pointer to the character past the
    681  * closing `]'.  The table has a 1 wherever characters should be
    682  * considered part of the scanset.
    683  */
    684 static const u_char *
    685 __sccl(tab, fmt)
    686 	char *tab;
    687 	const u_char *fmt;
    688 {
    689 	int c, n, v;
    690 
    691 	_DIAGASSERT(tab != NULL);
    692 	_DIAGASSERT(fmt != NULL);
    693 
    694 	/* first `clear' the whole table */
    695 	c = *fmt++;		/* first char hat => negated scanset */
    696 	if (c == '^') {
    697 		v = 1;		/* default => accept */
    698 		c = *fmt++;	/* get new first char */
    699 	} else
    700 		v = 0;		/* default => reject */
    701 	/* should probably use memset here */
    702 	for (n = 0; n < 256; n++)
    703 		tab[n] = v;
    704 	if (c == 0)
    705 		return (fmt - 1);/* format ended before closing ] */
    706 
    707 	/*
    708 	 * Now set the entries corresponding to the actual scanset
    709 	 * to the opposite of the above.
    710 	 *
    711 	 * The first character may be ']' (or '-') without being special;
    712 	 * the last character may be '-'.
    713 	 */
    714 	v = 1 - v;
    715 	for (;;) {
    716 		tab[c] = v;		/* take character c */
    717 doswitch:
    718 		n = *fmt++;		/* and examine the next */
    719 		switch (n) {
    720 
    721 		case 0:			/* format ended too soon */
    722 			return (fmt - 1);
    723 
    724 		case '-':
    725 			/*
    726 			 * A scanset of the form
    727 			 *	[01+-]
    728 			 * is defined as `the digit 0, the digit 1,
    729 			 * the character +, the character -', but
    730 			 * the effect of a scanset such as
    731 			 *	[a-zA-Z0-9]
    732 			 * is implementation defined.  The V7 Unix
    733 			 * scanf treats `a-z' as `the letters a through
    734 			 * z', but treats `a-a' as `the letter a, the
    735 			 * character -, and the letter a'.
    736 			 *
    737 			 * For compatibility, the `-' is not considerd
    738 			 * to define a range if the character following
    739 			 * it is either a close bracket (required by ANSI)
    740 			 * or is not numerically greater than the character
    741 			 * we just stored in the table (c).
    742 			 */
    743 			n = *fmt;
    744 			if (n == ']' || n < c) {
    745 				c = '-';
    746 				break;	/* resume the for(;;) */
    747 			}
    748 			fmt++;
    749 			do {		/* fill in the range */
    750 				tab[++c] = v;
    751 			} while (c < n);
    752 #if 1	/* XXX another disgusting compatibility hack */
    753 			/*
    754 			 * Alas, the V7 Unix scanf also treats formats
    755 			 * such as [a-c-e] as `the letters a through e'.
    756 			 * This too is permitted by the standard....
    757 			 */
    758 			goto doswitch;
    759 #else
    760 			c = *fmt++;
    761 			if (c == 0)
    762 				return (fmt - 1);
    763 			if (c == ']')
    764 				return (fmt);
    765 			break;
    766 #endif
    767 
    768 		case ']':		/* end of scanset */
    769 			return (fmt);
    770 
    771 		default:		/* just another character */
    772 			c = n;
    773 			break;
    774 		}
    775 	}
    776 	/* NOTREACHED */
    777 }
    778