| 1 | /* Convert string representation of a number into an integer value. |
| 2 | |
| 3 | Copyright (C) 1991-1992, 1994-1999, 2003, 2005-2007, 2009-2014 Free Software |
| 4 | Foundation, Inc. |
| 5 | |
| 6 | NOTE: The canonical source of this file is maintained with the GNU C |
| 7 | Library. Bugs can be reported to bug-glibc@gnu.org. |
| 8 | |
| 9 | This program is free software: you can redistribute it and/or modify it |
| 10 | under the terms of the GNU General Public License as published by the |
| 11 | Free Software Foundation; either version 3 of the License, or any |
| 12 | later version. |
| 13 | |
| 14 | This program is distributed in the hope that it will be useful, |
| 15 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 16 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 17 | GNU General Public License for more details. |
| 18 | |
| 19 | You should have received a copy of the GNU General Public License |
| 20 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
| 21 | |
| 22 | #ifdef _LIBC |
| 23 | # define USE_NUMBER_GROUPING |
| 24 | #else |
| 25 | # include <config.h> |
| 26 | #endif |
| 27 | |
| 28 | #include <ctype.h> |
| 29 | #include <errno.h> |
| 30 | #ifndef __set_errno |
| 31 | # define __set_errno(Val) errno = (Val) |
| 32 | #endif |
| 33 | |
| 34 | #include <limits.h> |
| 35 | #include <stddef.h> |
| 36 | #include <stdlib.h> |
| 37 | #include <string.h> |
| 38 | |
| 39 | #ifdef USE_NUMBER_GROUPING |
| 40 | # include "../locale/localeinfo.h" |
| 41 | #endif |
| 42 | |
| 43 | /* Nonzero if we are defining 'strtoul' or 'strtoull', operating on |
| 44 | unsigned integers. */ |
| 45 | #ifndef UNSIGNED |
| 46 | # define UNSIGNED 0 |
| 47 | # define INT LONG int |
| 48 | #else |
| 49 | # define INT unsigned LONG int |
| 50 | #endif |
| 51 | |
| 52 | /* Determine the name. */ |
| 53 | #ifdef USE_IN_EXTENDED_LOCALE_MODEL |
| 54 | # if UNSIGNED |
| 55 | # ifdef USE_WIDE_CHAR |
| 56 | # ifdef QUAD |
| 57 | # define strtol __wcstoull_l |
| 58 | # else |
| 59 | # define strtol __wcstoul_l |
| 60 | # endif |
| 61 | # else |
| 62 | # ifdef QUAD |
| 63 | # define strtol __strtoull_l |
| 64 | # else |
| 65 | # define strtol __strtoul_l |
| 66 | # endif |
| 67 | # endif |
| 68 | # else |
| 69 | # ifdef USE_WIDE_CHAR |
| 70 | # ifdef QUAD |
| 71 | # define strtol __wcstoll_l |
| 72 | # else |
| 73 | # define strtol __wcstol_l |
| 74 | # endif |
| 75 | # else |
| 76 | # ifdef QUAD |
| 77 | # define strtol __strtoll_l |
| 78 | # else |
| 79 | # define strtol __strtol_l |
| 80 | # endif |
| 81 | # endif |
| 82 | # endif |
| 83 | #else |
| 84 | # if UNSIGNED |
| 85 | # ifdef USE_WIDE_CHAR |
| 86 | # ifdef QUAD |
| 87 | # define strtol wcstoull |
| 88 | # else |
| 89 | # define strtol wcstoul |
| 90 | # endif |
| 91 | # else |
| 92 | # ifdef QUAD |
| 93 | # define strtol strtoull |
| 94 | # else |
| 95 | # define strtol strtoul |
| 96 | # endif |
| 97 | # endif |
| 98 | # else |
| 99 | # ifdef USE_WIDE_CHAR |
| 100 | # ifdef QUAD |
| 101 | # define strtol wcstoll |
| 102 | # else |
| 103 | # define strtol wcstol |
| 104 | # endif |
| 105 | # else |
| 106 | # ifdef QUAD |
| 107 | # define strtol strtoll |
| 108 | # endif |
| 109 | # endif |
| 110 | # endif |
| 111 | #endif |
| 112 | |
| 113 | /* If QUAD is defined, we are defining 'strtoll' or 'strtoull', |
| 114 | operating on 'long long int's. */ |
| 115 | #ifdef QUAD |
| 116 | # define LONG long long |
| 117 | # define STRTOL_LONG_MIN LLONG_MIN |
| 118 | # define STRTOL_LONG_MAX LLONG_MAX |
| 119 | # define STRTOL_ULONG_MAX ULLONG_MAX |
| 120 | |
| 121 | /* The extra casts in the following macros work around compiler bugs, |
| 122 | e.g., in Cray C 5.0.3.0. */ |
| 123 | |
| 124 | /* True if negative values of the signed integer type T use two's |
| 125 | complement, ones' complement, or signed magnitude representation, |
| 126 | respectively. Much GNU code assumes two's complement, but some |
| 127 | people like to be portable to all possible C hosts. */ |
| 128 | # define TYPE_TWOS_COMPLEMENT(t) ((t) ~ (t) 0 == (t) -1) |
| 129 | # define TYPE_ONES_COMPLEMENT(t) ((t) ~ (t) 0 == 0) |
| 130 | # define TYPE_SIGNED_MAGNITUDE(t) ((t) ~ (t) 0 < (t) -1) |
| 131 | |
| 132 | /* True if the arithmetic type T is signed. */ |
| 133 | # define TYPE_SIGNED(t) (! ((t) 0 < (t) -1)) |
| 134 | |
| 135 | /* The maximum and minimum values for the integer type T. These |
| 136 | macros have undefined behavior if T is signed and has padding bits. |
| 137 | If this is a problem for you, please let us know how to fix it for |
| 138 | your host. */ |
| 139 | # define TYPE_MINIMUM(t) \ |
| 140 | ((t) (! TYPE_SIGNED (t) \ |
| 141 | ? (t) 0 \ |
| 142 | : TYPE_SIGNED_MAGNITUDE (t) \ |
| 143 | ? ~ (t) 0 \ |
| 144 | : ~ TYPE_MAXIMUM (t))) |
| 145 | # define TYPE_MAXIMUM(t) \ |
| 146 | ((t) (! TYPE_SIGNED (t) \ |
| 147 | ? (t) -1 \ |
| 148 | : ((((t) 1 << (sizeof (t) * CHAR_BIT - 2)) - 1) * 2 + 1))) |
| 149 | |
| 150 | # ifndef ULLONG_MAX |
| 151 | # define ULLONG_MAX TYPE_MAXIMUM (unsigned long long) |
| 152 | # endif |
| 153 | # ifndef LLONG_MAX |
| 154 | # define LLONG_MAX TYPE_MAXIMUM (long long int) |
| 155 | # endif |
| 156 | # ifndef LLONG_MIN |
| 157 | # define LLONG_MIN TYPE_MINIMUM (long long int) |
| 158 | # endif |
| 159 | |
| 160 | # if __GNUC__ == 2 && __GNUC_MINOR__ < 7 |
| 161 | /* Work around gcc bug with using this constant. */ |
| 162 | static const unsigned long long int maxquad = ULLONG_MAX; |
| 163 | # undef STRTOL_ULONG_MAX |
| 164 | # define STRTOL_ULONG_MAX maxquad |
| 165 | # endif |
| 166 | #else |
| 167 | # define LONG long |
| 168 | # define STRTOL_LONG_MIN LONG_MIN |
| 169 | # define STRTOL_LONG_MAX LONG_MAX |
| 170 | # define STRTOL_ULONG_MAX ULONG_MAX |
| 171 | #endif |
| 172 | |
| 173 | |
| 174 | /* We use this code also for the extended locale handling where the |
| 175 | function gets as an additional argument the locale which has to be |
| 176 | used. To access the values we have to redefine the _NL_CURRENT |
| 177 | macro. */ |
| 178 | #ifdef USE_IN_EXTENDED_LOCALE_MODEL |
| 179 | # undef _NL_CURRENT |
| 180 | # define _NL_CURRENT(category, item) \ |
| 181 | (current->values[_NL_ITEM_INDEX (item)].string) |
| 182 | # define LOCALE_PARAM , loc |
| 183 | # define LOCALE_PARAM_PROTO , __locale_t loc |
| 184 | #else |
| 185 | # define LOCALE_PARAM |
| 186 | # define LOCALE_PARAM_PROTO |
| 187 | #endif |
| 188 | |
| 189 | #ifdef USE_WIDE_CHAR |
| 190 | # include <wchar.h> |
| 191 | # include <wctype.h> |
| 192 | # define L_(Ch) L##Ch |
| 193 | # define UCHAR_TYPE wint_t |
| 194 | # define STRING_TYPE wchar_t |
| 195 | # ifdef USE_IN_EXTENDED_LOCALE_MODEL |
| 196 | # define ISSPACE(Ch) __iswspace_l ((Ch), loc) |
| 197 | # define ISALPHA(Ch) __iswalpha_l ((Ch), loc) |
| 198 | # define TOUPPER(Ch) __towupper_l ((Ch), loc) |
| 199 | # else |
| 200 | # define ISSPACE(Ch) iswspace (Ch) |
| 201 | # define ISALPHA(Ch) iswalpha (Ch) |
| 202 | # define TOUPPER(Ch) towupper (Ch) |
| 203 | # endif |
| 204 | #else |
| 205 | # define L_(Ch) Ch |
| 206 | # define UCHAR_TYPE unsigned char |
| 207 | # define STRING_TYPE char |
| 208 | # ifdef USE_IN_EXTENDED_LOCALE_MODEL |
| 209 | # define ISSPACE(Ch) __isspace_l ((Ch), loc) |
| 210 | # define ISALPHA(Ch) __isalpha_l ((Ch), loc) |
| 211 | # define TOUPPER(Ch) __toupper_l ((Ch), loc) |
| 212 | # else |
| 213 | # define ISSPACE(Ch) isspace (Ch) |
| 214 | # define ISALPHA(Ch) isalpha (Ch) |
| 215 | # define TOUPPER(Ch) toupper (Ch) |
| 216 | # endif |
| 217 | #endif |
| 218 | |
| 219 | #define INTERNAL(X) INTERNAL1(X) |
| 220 | #define INTERNAL1(X) __##X##_internal |
| 221 | #define WEAKNAME(X) WEAKNAME1(X) |
| 222 | |
| 223 | #ifdef USE_NUMBER_GROUPING |
| 224 | /* This file defines a function to check for correct grouping. */ |
| 225 | # include "grouping.h" |
| 226 | #endif |
| 227 | |
| 228 | |
| 229 | |
| 230 | /* Convert NPTR to an 'unsigned long int' or 'long int' in base BASE. |
| 231 | If BASE is 0 the base is determined by the presence of a leading |
| 232 | zero, indicating octal or a leading "0x" or "0X", indicating hexadecimal. |
| 233 | If BASE is < 2 or > 36, it is reset to 10. |
| 234 | If ENDPTR is not NULL, a pointer to the character after the last |
| 235 | one converted is stored in *ENDPTR. */ |
| 236 | |
| 237 | INT |
| 238 | INTERNAL (strtol) (const STRING_TYPE *nptr, STRING_TYPE **endptr, |
| 239 | int base, int group LOCALE_PARAM_PROTO) |
| 240 | { |
| 241 | int negative; |
| 242 | register unsigned LONG int cutoff; |
| 243 | register unsigned int cutlim; |
| 244 | register unsigned LONG int i; |
| 245 | register const STRING_TYPE *s; |
| 246 | register UCHAR_TYPE c; |
| 247 | const STRING_TYPE *save, *end; |
| 248 | int overflow; |
| 249 | |
| 250 | #ifdef USE_NUMBER_GROUPING |
| 251 | # ifdef USE_IN_EXTENDED_LOCALE_MODEL |
| 252 | struct locale_data *current = loc->__locales[LC_NUMERIC]; |
| 253 | # endif |
| 254 | /* The thousands character of the current locale. */ |
| 255 | wchar_t thousands = L'\0'; |
| 256 | /* The numeric grouping specification of the current locale, |
| 257 | in the format described in <locale.h>. */ |
| 258 | const char *grouping; |
| 259 | |
| 260 | if (group) |
| 261 | { |
| 262 | grouping = _NL_CURRENT (LC_NUMERIC, GROUPING); |
| 263 | if (*grouping <= 0 || *grouping == CHAR_MAX) |
| 264 | grouping = NULL; |
| 265 | else |
| 266 | { |
| 267 | /* Figure out the thousands separator character. */ |
| 268 | # if defined _LIBC || defined _HAVE_BTOWC |
| 269 | thousands = __btowc (*_NL_CURRENT (LC_NUMERIC, THOUSANDS_SEP)); |
| 270 | if (thousands == WEOF) |
| 271 | thousands = L'\0'; |
| 272 | # endif |
| 273 | if (thousands == L'\0') |
| 274 | grouping = NULL; |
| 275 | } |
| 276 | } |
| 277 | else |
| 278 | grouping = NULL; |
| 279 | #endif |
| 280 | |
| 281 | if (base < 0 || base == 1 || base > 36) |
| 282 | { |
| 283 | __set_errno (EINVAL); |
| 284 | return 0; |
| 285 | } |
| 286 | |
| 287 | save = s = nptr; |
| 288 | |
| 289 | /* Skip white space. */ |
| 290 | while (ISSPACE (*s)) |
| 291 | ++s; |
| 292 | if (*s == L_('\0')) |
| 293 | goto noconv; |
| 294 | |
| 295 | /* Check for a sign. */ |
| 296 | if (*s == L_('-')) |
| 297 | { |
| 298 | negative = 1; |
| 299 | ++s; |
| 300 | } |
| 301 | else if (*s == L_('+')) |
| 302 | { |
| 303 | negative = 0; |
| 304 | ++s; |
| 305 | } |
| 306 | else |
| 307 | negative = 0; |
| 308 | |
| 309 | /* Recognize number prefix and if BASE is zero, figure it out ourselves. */ |
| 310 | if (*s == L_('0')) |
| 311 | { |
| 312 | if ((base == 0 || base == 16) && TOUPPER (s[1]) == L_('X')) |
| 313 | { |
| 314 | s += 2; |
| 315 | base = 16; |
| 316 | } |
| 317 | else if (base == 0) |
| 318 | base = 8; |
| 319 | } |
| 320 | else if (base == 0) |
| 321 | base = 10; |
| 322 | |
| 323 | /* Save the pointer so we can check later if anything happened. */ |
| 324 | save = s; |
| 325 | |
| 326 | #ifdef USE_NUMBER_GROUPING |
| 327 | if (group) |
| 328 | { |
| 329 | /* Find the end of the digit string and check its grouping. */ |
| 330 | end = s; |
| 331 | for (c = *end; c != L_('\0'); c = *++end) |
| 332 | if ((wchar_t) c != thousands |
| 333 | && ((wchar_t) c < L_('0') || (wchar_t) c > L_('9')) |
| 334 | && (!ISALPHA (c) || (int) (TOUPPER (c) - L_('A') + 10) >= base)) |
| 335 | break; |
| 336 | if (*s == thousands) |
| 337 | end = s; |
| 338 | else |
| 339 | end = correctly_grouped_prefix (s, end, thousands, grouping); |
| 340 | } |
| 341 | else |
| 342 | #endif |
| 343 | end = NULL; |
| 344 | |
| 345 | cutoff = STRTOL_ULONG_MAX / (unsigned LONG int) base; |
| 346 | cutlim = STRTOL_ULONG_MAX % (unsigned LONG int) base; |
| 347 | |
| 348 | overflow = 0; |
| 349 | i = 0; |
| 350 | for (c = *s; c != L_('\0'); c = *++s) |
| 351 | { |
| 352 | if (s == end) |
| 353 | break; |
| 354 | if (c >= L_('0') && c <= L_('9')) |
| 355 | c -= L_('0'); |
| 356 | else if (ISALPHA (c)) |
| 357 | c = TOUPPER (c) - L_('A') + 10; |
| 358 | else |
| 359 | break; |
| 360 | if ((int) c >= base) |
| 361 | break; |
| 362 | /* Check for overflow. */ |
| 363 | if (i > cutoff || (i == cutoff && c > cutlim)) |
| 364 | overflow = 1; |
| 365 | else |
| 366 | { |
| 367 | i *= (unsigned LONG int) base; |
| 368 | i += c; |
| 369 | } |
| 370 | } |
| 371 | |
| 372 | /* Check if anything actually happened. */ |
| 373 | if (s == save) |
| 374 | goto noconv; |
| 375 | |
| 376 | /* Store in ENDPTR the address of one character |
| 377 | past the last character we converted. */ |
| 378 | if (endptr != NULL) |
| 379 | *endptr = (STRING_TYPE *) s; |
| 380 | |
| 381 | #if !UNSIGNED |
| 382 | /* Check for a value that is within the range of |
| 383 | 'unsigned LONG int', but outside the range of 'LONG int'. */ |
| 384 | if (overflow == 0 |
| 385 | && i > (negative |
| 386 | ? -((unsigned LONG int) (STRTOL_LONG_MIN + 1)) + 1 |
| 387 | : (unsigned LONG int) STRTOL_LONG_MAX)) |
| 388 | overflow = 1; |
| 389 | #endif |
| 390 | |
| 391 | if (overflow) |
| 392 | { |
| 393 | __set_errno (ERANGE); |
| 394 | #if UNSIGNED |
| 395 | return STRTOL_ULONG_MAX; |
| 396 | #else |
| 397 | return negative ? STRTOL_LONG_MIN : STRTOL_LONG_MAX; |
| 398 | #endif |
| 399 | } |
| 400 | |
| 401 | /* Return the result of the appropriate sign. */ |
| 402 | return negative ? -i : i; |
| 403 | |
| 404 | noconv: |
| 405 | /* We must handle a special case here: the base is 0 or 16 and the |
| 406 | first two characters are '0' and 'x', but the rest are no |
| 407 | hexadecimal digits. This is no error case. We return 0 and |
| 408 | ENDPTR points to the 'x'. */ |
| 409 | if (endptr != NULL) |
| 410 | { |
| 411 | if (save - nptr >= 2 && TOUPPER (save[-1]) == L_('X') |
| 412 | && save[-2] == L_('0')) |
| 413 | *endptr = (STRING_TYPE *) &save[-1]; |
| 414 | else |
| 415 | /* There was no number to convert. */ |
| 416 | *endptr = (STRING_TYPE *) nptr; |
| 417 | } |
| 418 | |
| 419 | return 0L; |
| 420 | } |
| 421 | \f |
| 422 | /* External user entry point. */ |
| 423 | |
| 424 | |
| 425 | INT |
| 426 | #ifdef weak_function |
| 427 | weak_function |
| 428 | #endif |
| 429 | strtol (const STRING_TYPE *nptr, STRING_TYPE **endptr, |
| 430 | int base LOCALE_PARAM_PROTO) |
| 431 | { |
| 432 | return INTERNAL (strtol) (nptr, endptr, base, 0 LOCALE_PARAM); |
| 433 | } |