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