]>
Commit | Line | Data |
---|---|---|
0501d603 | 1 | /* Convert string representing a number to integer value, using given locale. |
a334319f | 2 | Copyright (C) 1997, 2002, 2004 Free Software Foundation, Inc. |
0501d603 UD |
3 | This file is part of the GNU C Library. |
4 | Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997. | |
5 | ||
6 | The GNU C Library is free software; you can redistribute it and/or | |
41bdb6e2 AJ |
7 | modify it under the terms of the GNU Lesser General Public |
8 | License as published by the Free Software Foundation; either | |
9 | version 2.1 of the License, or (at your option) any later version. | |
0501d603 UD |
10 | |
11 | The GNU C Library is distributed in the hope that it will be useful, | |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
41bdb6e2 | 14 | Lesser General Public License for more details. |
0501d603 | 15 | |
41bdb6e2 AJ |
16 | You should have received a copy of the GNU Lesser General Public |
17 | License along with the GNU C Library; if not, write to the Free | |
18 | Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA | |
19 | 02111-1307 USA. */ | |
0501d603 | 20 | |
0501d603 | 21 | |
ccadf7b5 UD |
22 | #if HAVE_CONFIG_H |
23 | # include <config.h> | |
24 | #endif | |
25 | ||
26 | #ifdef _LIBC | |
27 | # define USE_NUMBER_GROUPING | |
28 | # define STDC_HEADERS | |
29 | # define HAVE_LIMITS_H | |
30 | #endif | |
31 | ||
32 | #include <ctype.h> | |
33 | #include <errno.h> | |
34 | #ifndef __set_errno | |
35 | # define __set_errno(Val) errno = (Val) | |
36 | #endif | |
37 | ||
38 | #ifdef HAVE_LIMITS_H | |
39 | # include <limits.h> | |
40 | #endif | |
41 | ||
42 | #include <stddef.h> | |
43 | #include <stdlib.h> | |
44 | #include <string.h> | |
45 | #include <locale.h> | |
ebbad4cc | 46 | #include <xlocale.h> |
af15df12 | 47 | #include <bits/wordsize.h> |
ebbad4cc | 48 | |
ccadf7b5 UD |
49 | #ifdef USE_NUMBER_GROUPING |
50 | # include "../locale/localeinfo.h" | |
51 | #endif | |
52 | ||
53 | /* Nonzero if we are defining `strtoul' or `strtoull', operating on | |
54 | unsigned integers. */ | |
55 | #ifndef UNSIGNED | |
56 | # define UNSIGNED 0 | |
57 | # define INT LONG int | |
58 | #else | |
59 | # define INT unsigned LONG int | |
60 | #endif | |
61 | ||
62 | /* Determine the name. */ | |
63 | #if UNSIGNED | |
64 | # ifdef USE_WIDE_CHAR | |
65 | # ifdef QUAD | |
66 | # define strtol_l wcstoull_l | |
67 | # else | |
68 | # define strtol_l wcstoul_l | |
69 | # endif | |
70 | # else | |
71 | # ifdef QUAD | |
72 | # define strtol_l strtoull_l | |
73 | # else | |
74 | # define strtol_l strtoul_l | |
75 | # endif | |
76 | # endif | |
77 | #else | |
78 | # ifdef USE_WIDE_CHAR | |
79 | # ifdef QUAD | |
80 | # define strtol_l wcstoll_l | |
81 | # else | |
82 | # define strtol_l wcstol_l | |
83 | # endif | |
84 | # else | |
85 | # ifdef QUAD | |
86 | # define strtol_l strtoll_l | |
87 | # else | |
88 | # define strtol_l strtol_l | |
89 | # endif | |
90 | # endif | |
91 | #endif | |
92 | ||
93 | #define __strtol_l __strtol_l2(strtol_l) | |
94 | #define __strtol_l2(name) __strtol_l3(name) | |
95 | #define __strtol_l3(name) __##name | |
96 | ||
97 | ||
98 | /* If QUAD is defined, we are defining `strtoll' or `strtoull', | |
99 | operating on `long long int's. */ | |
100 | #ifdef QUAD | |
101 | # define LONG long long | |
102 | # define STRTOL_LONG_MIN LONG_LONG_MIN | |
103 | # define STRTOL_LONG_MAX LONG_LONG_MAX | |
104 | # define STRTOL_ULONG_MAX ULONG_LONG_MAX | |
105 | #else | |
106 | # define LONG long | |
107 | ||
108 | # ifndef ULONG_MAX | |
109 | # define ULONG_MAX ((unsigned long int) ~(unsigned long int) 0) | |
110 | # endif | |
111 | # ifndef LONG_MAX | |
112 | # define LONG_MAX ((long int) (ULONG_MAX >> 1)) | |
113 | # endif | |
114 | # define STRTOL_LONG_MIN LONG_MIN | |
115 | # define STRTOL_LONG_MAX LONG_MAX | |
116 | # define STRTOL_ULONG_MAX ULONG_MAX | |
117 | #endif | |
118 | ||
119 | ||
120 | /* We use this code for the extended locale handling where the | |
121 | function gets as an additional argument the locale which has to be | |
122 | used. To access the values we have to redefine the _NL_CURRENT and | |
123 | _NL_CURRENT_WORD macros. */ | |
124 | #undef _NL_CURRENT | |
125 | #define _NL_CURRENT(category, item) \ | |
126 | (current->values[_NL_ITEM_INDEX (item)].string) | |
127 | #undef _NL_CURRENT_WORD | |
128 | #define _NL_CURRENT_WORD(category, item) \ | |
129 | ((uint32_t) current->values[_NL_ITEM_INDEX (item)].word) | |
130 | ||
131 | #if defined _LIBC || defined HAVE_WCHAR_H | |
132 | # include <wchar.h> | |
133 | #endif | |
134 | ||
135 | #ifdef USE_WIDE_CHAR | |
136 | # include <wctype.h> | |
137 | # define L_(Ch) L##Ch | |
138 | # define UCHAR_TYPE wint_t | |
139 | # define STRING_TYPE wchar_t | |
140 | # define ISSPACE(Ch) __iswspace_l ((Ch), loc) | |
141 | # define ISALPHA(Ch) __iswalpha_l ((Ch), loc) | |
142 | # define TOUPPER(Ch) __towupper_l ((Ch), loc) | |
143 | #else | |
144 | # if defined _LIBC \ | |
145 | || defined STDC_HEADERS || (!defined isascii && !defined HAVE_ISASCII) | |
146 | # define IN_CTYPE_DOMAIN(c) 1 | |
147 | # else | |
148 | # define IN_CTYPE_DOMAIN(c) isascii(c) | |
149 | # endif | |
150 | # define L_(Ch) Ch | |
151 | # define UCHAR_TYPE unsigned char | |
152 | # define STRING_TYPE char | |
153 | # define ISSPACE(Ch) __isspace_l ((Ch), loc) | |
154 | # define ISALPHA(Ch) __isalpha_l ((Ch), loc) | |
155 | # define TOUPPER(Ch) __toupper_l ((Ch), loc) | |
156 | #endif | |
157 | ||
158 | #define INTERNAL(X) INTERNAL1(X) | |
159 | #define INTERNAL1(X) __##X##_internal | |
160 | #define WEAKNAME(X) WEAKNAME1(X) | |
161 | ||
162 | #ifdef USE_NUMBER_GROUPING | |
163 | /* This file defines a function to check for correct grouping. */ | |
164 | # include "grouping.h" | |
165 | #endif | |
166 | ||
167 | ||
af15df12 UD |
168 | /* Define tables of maximum values and remainders in order to detect |
169 | overflow. Do this at compile-time in order to avoid the runtime | |
170 | overhead of the division. */ | |
171 | ||
172 | #define DEF(TYPE, NAME) \ | |
a334319f UD |
173 | const TYPE NAME[] attribute_hidden \ |
174 | __attribute__((section(".gnu.linkonce.r." #NAME))) = \ | |
af15df12 UD |
175 | { \ |
176 | F(2), F(3), F(4), F(5), F(6), F(7), F(8), F(9), F(10), \ | |
177 | F(11), F(12), F(13), F(14), F(15), F(16), F(17), F(18), F(19), F(20), \ | |
178 | F(21), F(22), F(23), F(24), F(25), F(26), F(27), F(28), F(29), F(30), \ | |
179 | F(31), F(32), F(33), F(34), F(35), F(36) \ | |
180 | } | |
181 | ||
a334319f | 182 | #define F(X) ULONG_MAX / X |
af15df12 | 183 | DEF (unsigned long, __strtol_ul_max_tab); |
a334319f UD |
184 | #undef F |
185 | #if defined(QUAD) && __WORDSIZE == 32 | |
af15df12 UD |
186 | # define F(X) ULONG_LONG_MAX / X |
187 | DEF (unsigned long long, __strtol_ull_max_tab); | |
188 | # undef F | |
189 | # define F(X) ULONG_LONG_MAX % X | |
190 | DEF (unsigned char, __strtol_ull_rem_tab); | |
191 | # undef F | |
a334319f UD |
192 | #else |
193 | # define F(X) ULONG_MAX % X | |
194 | DEF (unsigned char, __strtol_ul_rem_tab); | |
195 | # undef F | |
af15df12 UD |
196 | #endif |
197 | #undef DEF | |
198 | ||
199 | /* Define some more readable aliases for these arrays which correspond | |
200 | to how they'll be used in the function below. */ | |
201 | #define jmax_tab __strtol_ul_max_tab | |
202 | #if defined(QUAD) && __WORDSIZE == 32 | |
203 | # define cutoff_tab __strtol_ull_max_tab | |
204 | # define cutlim_tab __strtol_ull_rem_tab | |
205 | #else | |
206 | # define cutoff_tab __strtol_ul_max_tab | |
207 | # define cutlim_tab __strtol_ul_rem_tab | |
208 | #endif | |
209 | ||
ccadf7b5 UD |
210 | |
211 | /* Convert NPTR to an `unsigned long int' or `long int' in base BASE. | |
212 | If BASE is 0 the base is determined by the presence of a leading | |
213 | zero, indicating octal or a leading "0x" or "0X", indicating hexadecimal. | |
214 | If BASE is < 2 or > 36, it is reset to 10. | |
215 | If ENDPTR is not NULL, a pointer to the character after the last | |
216 | one converted is stored in *ENDPTR. */ | |
217 | ||
218 | INT | |
219 | INTERNAL (__strtol_l) (nptr, endptr, base, group, loc) | |
220 | const STRING_TYPE *nptr; | |
221 | STRING_TYPE **endptr; | |
222 | int base; | |
223 | int group; | |
224 | __locale_t loc; | |
225 | { | |
226 | int negative; | |
227 | register unsigned LONG int cutoff; | |
228 | register unsigned int cutlim; | |
229 | register unsigned LONG int i; | |
230 | register const STRING_TYPE *s; | |
231 | register UCHAR_TYPE c; | |
232 | const STRING_TYPE *save, *end; | |
233 | int overflow; | |
234 | #ifndef USE_WIDE_CHAR | |
235 | size_t cnt; | |
236 | #endif | |
237 | ||
238 | #ifdef USE_NUMBER_GROUPING | |
239 | struct locale_data *current = loc->__locales[LC_NUMERIC]; | |
240 | /* The thousands character of the current locale. */ | |
241 | # ifdef USE_WIDE_CHAR | |
242 | wchar_t thousands = L'\0'; | |
243 | # else | |
244 | const char *thousands = NULL; | |
245 | size_t thousands_len = 0; | |
246 | # endif | |
247 | /* The numeric grouping specification of the current locale, | |
248 | in the format described in <locale.h>. */ | |
249 | const char *grouping; | |
250 | ||
251 | if (__builtin_expect (group, 0)) | |
252 | { | |
253 | grouping = _NL_CURRENT (LC_NUMERIC, GROUPING); | |
254 | if (*grouping <= 0 || *grouping == CHAR_MAX) | |
255 | grouping = NULL; | |
256 | else | |
257 | { | |
258 | /* Figure out the thousands separator character. */ | |
259 | # ifdef USE_WIDE_CHAR | |
260 | # ifdef _LIBC | |
261 | thousands = _NL_CURRENT_WORD (LC_NUMERIC, | |
262 | _NL_NUMERIC_THOUSANDS_SEP_WC); | |
263 | # endif | |
264 | if (thousands == L'\0') | |
265 | grouping = NULL; | |
266 | # else | |
267 | # ifdef _LIBC | |
268 | thousands = _NL_CURRENT (LC_NUMERIC, THOUSANDS_SEP); | |
269 | # endif | |
270 | if (*thousands == '\0') | |
271 | { | |
272 | thousands = NULL; | |
273 | grouping = NULL; | |
274 | } | |
275 | # endif | |
276 | } | |
277 | } | |
278 | else | |
279 | grouping = NULL; | |
280 | #endif | |
281 | ||
282 | if (base < 0 || base == 1 || base > 36) | |
283 | { | |
284 | __set_errno (EINVAL); | |
285 | return 0; | |
286 | } | |
287 | ||
288 | save = s = nptr; | |
289 | ||
290 | /* Skip white space. */ | |
291 | while (ISSPACE (*s)) | |
292 | ++s; | |
293 | if (__builtin_expect (*s == L_('\0'), 0)) | |
294 | goto noconv; | |
295 | ||
296 | /* Check for a sign. */ | |
297 | negative = 0; | |
298 | if (*s == L_('-')) | |
299 | { | |
300 | negative = 1; | |
301 | ++s; | |
302 | } | |
303 | else if (*s == L_('+')) | |
304 | ++s; | |
305 | ||
306 | /* Recognize number prefix and if BASE is zero, figure it out ourselves. */ | |
307 | if (*s == L_('0')) | |
308 | { | |
309 | if ((base == 0 || base == 16) && TOUPPER (s[1]) == L_('X')) | |
310 | { | |
311 | s += 2; | |
312 | base = 16; | |
313 | } | |
314 | else if (base == 0) | |
315 | base = 8; | |
316 | } | |
317 | else if (base == 0) | |
318 | base = 10; | |
319 | ||
320 | /* Save the pointer so we can check later if anything happened. */ | |
321 | save = s; | |
322 | ||
323 | #ifdef USE_NUMBER_GROUPING | |
324 | if (base != 10) | |
325 | grouping = NULL; | |
326 | ||
327 | if (__builtin_expect (grouping != NULL, 0)) | |
328 | { | |
329 | # ifndef USE_WIDE_CHAR | |
330 | thousands_len = strlen (thousands); | |
331 | # endif | |
332 | ||
333 | /* Find the end of the digit string and check its grouping. */ | |
334 | end = s; | |
335 | if ( | |
336 | # ifdef USE_WIDE_CHAR | |
337 | *s != thousands | |
338 | # else | |
339 | ({ for (cnt = 0; cnt < thousands_len; ++cnt) | |
340 | if (thousands[cnt] != end[cnt]) | |
341 | break; | |
342 | cnt < thousands_len; }) | |
343 | # endif | |
344 | ) | |
345 | { | |
346 | for (c = *end; c != L_('\0'); c = *++end) | |
347 | if (((STRING_TYPE) c < L_('0') || (STRING_TYPE) c > L_('9')) | |
348 | # ifdef USE_WIDE_CHAR | |
349 | && (wchar_t) c != thousands | |
350 | # else | |
351 | && ({ for (cnt = 0; cnt < thousands_len; ++cnt) | |
352 | if (thousands[cnt] != end[cnt]) | |
353 | break; | |
354 | cnt < thousands_len; }) | |
355 | # endif | |
356 | && (!ISALPHA (c) | |
357 | || (int) (TOUPPER (c) - L_('A') + 10) >= base)) | |
358 | break; | |
359 | ||
360 | # ifdef USE_WIDE_CHAR | |
361 | end = __correctly_grouped_prefixwc (s, end, thousands, grouping); | |
362 | # else | |
363 | end = __correctly_grouped_prefixmb (s, end, thousands, grouping); | |
364 | # endif | |
365 | } | |
366 | } | |
367 | else | |
368 | #endif | |
369 | end = NULL; | |
370 | ||
af15df12 UD |
371 | /* Avoid runtime division; lookup cutoff and limit. */ |
372 | cutoff = cutoff_tab[base - 2]; | |
373 | cutlim = cutlim_tab[base - 2]; | |
ccadf7b5 UD |
374 | |
375 | overflow = 0; | |
376 | i = 0; | |
377 | c = *s; | |
378 | if (sizeof (long int) != sizeof (LONG int)) | |
379 | { | |
380 | unsigned long int j = 0; | |
af15df12 | 381 | unsigned long int jmax = jmax_tab[base - 2]; |
ccadf7b5 UD |
382 | |
383 | for (;c != L_('\0'); c = *++s) | |
384 | { | |
385 | if (s == end) | |
386 | break; | |
387 | if (c >= L_('0') && c <= L_('9')) | |
388 | c -= L_('0'); | |
389 | #ifdef USE_NUMBER_GROUPING | |
390 | # ifdef USE_WIDE_CHAR | |
391 | else if (grouping && (wchar_t) c == thousands) | |
392 | continue; | |
393 | # else | |
394 | else if (thousands_len) | |
395 | { | |
396 | for (cnt = 0; cnt < thousands_len; ++cnt) | |
397 | if (thousands[cnt] != s[cnt]) | |
398 | break; | |
399 | if (cnt == thousands_len) | |
400 | { | |
401 | s += thousands_len - 1; | |
402 | continue; | |
403 | } | |
404 | if (ISALPHA (c)) | |
405 | c = TOUPPER (c) - L_('A') + 10; | |
406 | else | |
407 | break; | |
408 | } | |
409 | # endif | |
410 | #endif | |
411 | else if (ISALPHA (c)) | |
412 | c = TOUPPER (c) - L_('A') + 10; | |
413 | else | |
414 | break; | |
415 | if ((int) c >= base) | |
416 | break; | |
417 | /* Note that we never can have an overflow. */ | |
418 | else if (j >= jmax) | |
419 | { | |
420 | /* We have an overflow. Now use the long representation. */ | |
421 | i = (unsigned LONG int) j; | |
422 | goto use_long; | |
423 | } | |
424 | else | |
425 | j = j * (unsigned long int) base + c; | |
426 | } | |
427 | ||
428 | i = (unsigned LONG int) j; | |
429 | } | |
430 | else | |
431 | for (;c != L_('\0'); c = *++s) | |
432 | { | |
433 | if (s == end) | |
434 | break; | |
435 | if (c >= L_('0') && c <= L_('9')) | |
436 | c -= L_('0'); | |
437 | #ifdef USE_NUMBER_GROUPING | |
438 | # ifdef USE_WIDE_CHAR | |
439 | else if (grouping && (wchar_t) c == thousands) | |
440 | continue; | |
441 | # else | |
442 | else if (thousands_len) | |
443 | { | |
444 | for (cnt = 0; cnt < thousands_len; ++cnt) | |
445 | if (thousands[cnt] != s[cnt]) | |
446 | break; | |
447 | if (cnt == thousands_len) | |
448 | { | |
449 | s += thousands_len - 1; | |
450 | continue; | |
451 | } | |
452 | if (ISALPHA (c)) | |
453 | c = TOUPPER (c) - L_('A') + 10; | |
454 | else | |
455 | break; | |
456 | } | |
457 | # endif | |
458 | #endif | |
459 | else if (ISALPHA (c)) | |
460 | c = TOUPPER (c) - L_('A') + 10; | |
461 | else | |
462 | break; | |
463 | if ((int) c >= base) | |
464 | break; | |
465 | /* Check for overflow. */ | |
466 | if (i > cutoff || (i == cutoff && c > cutlim)) | |
467 | overflow = 1; | |
468 | else | |
469 | { | |
470 | use_long: | |
471 | i *= (unsigned LONG int) base; | |
472 | i += c; | |
473 | } | |
474 | } | |
475 | ||
476 | /* Check if anything actually happened. */ | |
477 | if (s == save) | |
478 | goto noconv; | |
479 | ||
480 | /* Store in ENDPTR the address of one character | |
481 | past the last character we converted. */ | |
482 | if (endptr != NULL) | |
483 | *endptr = (STRING_TYPE *) s; | |
484 | ||
485 | #if !UNSIGNED | |
486 | /* Check for a value that is within the range of | |
487 | `unsigned LONG int', but outside the range of `LONG int'. */ | |
488 | if (overflow == 0 | |
489 | && i > (negative | |
490 | ? -((unsigned LONG int) (STRTOL_LONG_MIN + 1)) + 1 | |
491 | : (unsigned LONG int) STRTOL_LONG_MAX)) | |
492 | overflow = 1; | |
493 | #endif | |
494 | ||
495 | if (__builtin_expect (overflow, 0)) | |
496 | { | |
497 | __set_errno (ERANGE); | |
498 | #if UNSIGNED | |
499 | return STRTOL_ULONG_MAX; | |
500 | #else | |
501 | return negative ? STRTOL_LONG_MIN : STRTOL_LONG_MAX; | |
502 | #endif | |
503 | } | |
504 | ||
505 | /* Return the result of the appropriate sign. */ | |
506 | return negative ? -i : i; | |
507 | ||
508 | noconv: | |
509 | /* We must handle a special case here: the base is 0 or 16 and the | |
510 | first two characters are '0' and 'x', but the rest are no | |
511 | hexadecimal digits. This is no error case. We return 0 and | |
512 | ENDPTR points to the `x`. */ | |
513 | if (endptr != NULL) | |
514 | { | |
515 | if (save - nptr >= 2 && TOUPPER (save[-1]) == L_('X') | |
516 | && save[-2] == L_('0')) | |
517 | *endptr = (STRING_TYPE *) &save[-1]; | |
518 | else | |
519 | /* There was no number to convert. */ | |
520 | *endptr = (STRING_TYPE *) nptr; | |
521 | } | |
522 | ||
523 | return 0L; | |
524 | } | |
525 | #if defined _LIBC && !defined USE_WIDE_CHAR | |
526 | libc_hidden_def (INTERNAL (__strtol_l)) | |
527 | #endif | |
528 | \f | |
529 | /* External user entry point. */ | |
530 | ||
531 | #if _LIBC - 0 == 0 | |
532 | # undef PARAMS | |
533 | # if defined (__STDC__) && __STDC__ | |
534 | # define PARAMS(Args) Args | |
535 | # else | |
536 | # define PARAMS(Args) () | |
537 | # endif | |
538 | ||
539 | /* Prototype. */ | |
540 | extern INT __strtol_l PARAMS ((const STRING_TYPE *nptr, STRING_TYPE **endptr, | |
541 | int base)); | |
542 | #endif | |
0501d603 | 543 | |
da4cfe38 | 544 | |
ccadf7b5 UD |
545 | INT |
546 | #ifdef weak_function | |
547 | weak_function | |
548 | #endif | |
549 | __strtol_l (nptr, endptr, base, loc) | |
550 | const STRING_TYPE *nptr; | |
551 | STRING_TYPE **endptr; | |
552 | int base; | |
553 | __locale_t loc; | |
554 | { | |
555 | return INTERNAL (__strtol_l) (nptr, endptr, base, 0, loc); | |
556 | } | |
da4cfe38 | 557 | weak_alias (__strtol_l, strtol_l) |