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
vfwscanf(FILE * __restrict fp,const wchar_t * __restrict fmt,va_list ap)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
vfwscanf_l(FILE * __restrict fp,locale_t loc,const wchar_t * __restrict fmt,va_list ap)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
__vfwscanf_unlocked_l(FILE * __restrict fp,locale_t loc,const wchar_t * __restrict fmt,va_list ap)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
parsefloat(FILE * fp,wchar_t * buf,wchar_t * end,locale_t loc)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