blob: 347f361e03f6d3242012b49a5894ad7a6b3415da [file] [log] [blame]
Guido van Rossumbe0e9421993-12-24 10:32:00 +00001
Guido van Rossum1924a061998-12-18 22:02:37 +00002#include "Python.h"
Guido van Rossumb6775db1994-08-01 11:34:53 +00003
Guido van Rossume32d1531998-07-07 21:32:53 +00004#if defined(__sgi) && defined(WITH_THREAD) && !defined(_SGI_MP_SOURCE)
5#define _SGI_MP_SOURCE
6#endif
7
Guido van Rossumb6775db1994-08-01 11:34:53 +00008/* strtol and strtoul, renamed to avoid conflicts */
9
Thomas Wouters477c8d52006-05-27 19:21:47 +000010
11#include <ctype.h>
Thomas Wouters0e3f5912006-08-11 14:57:12 +000012#ifdef HAVE_ERRNO_H
Thomas Wouters477c8d52006-05-27 19:21:47 +000013#include <errno.h>
14#endif
15
16/* Static overflow check values for bases 2 through 36.
17 * smallmax[base] is the largest unsigned long i such that
18 * i * base doesn't overflow unsigned long.
19 */
20static unsigned long smallmax[] = {
21 0, /* bases 0 and 1 are invalid */
22 0,
23 ULONG_MAX / 2,
24 ULONG_MAX / 3,
25 ULONG_MAX / 4,
26 ULONG_MAX / 5,
27 ULONG_MAX / 6,
28 ULONG_MAX / 7,
29 ULONG_MAX / 8,
30 ULONG_MAX / 9,
31 ULONG_MAX / 10,
32 ULONG_MAX / 11,
33 ULONG_MAX / 12,
34 ULONG_MAX / 13,
35 ULONG_MAX / 14,
36 ULONG_MAX / 15,
37 ULONG_MAX / 16,
38 ULONG_MAX / 17,
39 ULONG_MAX / 18,
40 ULONG_MAX / 19,
41 ULONG_MAX / 20,
42 ULONG_MAX / 21,
43 ULONG_MAX / 22,
44 ULONG_MAX / 23,
45 ULONG_MAX / 24,
46 ULONG_MAX / 25,
47 ULONG_MAX / 26,
48 ULONG_MAX / 27,
49 ULONG_MAX / 28,
50 ULONG_MAX / 29,
51 ULONG_MAX / 30,
52 ULONG_MAX / 31,
53 ULONG_MAX / 32,
54 ULONG_MAX / 33,
55 ULONG_MAX / 34,
56 ULONG_MAX / 35,
57 ULONG_MAX / 36,
58};
59
60/* maximum digits that can't ever overflow for bases 2 through 36,
61 * calculated by [int(math.floor(math.log(2**32, i))) for i in range(2, 37)].
62 * Note that this is pessimistic if sizeof(long) > 4.
63 */
Thomas Wouters0e3f5912006-08-11 14:57:12 +000064#if SIZEOF_LONG == 4
Thomas Wouters477c8d52006-05-27 19:21:47 +000065static int digitlimit[] = {
66 0, 0, 32, 20, 16, 13, 12, 11, 10, 10, /* 0 - 9 */
67 9, 9, 8, 8, 8, 8, 8, 7, 7, 7, /* 10 - 19 */
68 7, 7, 7, 7, 6, 6, 6, 6, 6, 6, /* 20 - 29 */
69 6, 6, 6, 6, 6, 6, 6}; /* 30 - 36 */
Thomas Wouters0e3f5912006-08-11 14:57:12 +000070#elif SIZEOF_LONG == 8
71/* [int(math.floor(math.log(2**64, i))) for i in range(2, 37)] */
72static int digitlimit[] = {
73 0, 0, 64, 40, 32, 27, 24, 22, 21, 20, /* 0 - 9 */
74 19, 18, 17, 17, 16, 16, 16, 15, 15, 15, /* 10 - 19 */
75 14, 14, 14, 14, 13, 13, 13, 13, 13, 13, /* 20 - 29 */
76 13, 12, 12, 12, 12, 12, 12}; /* 30 - 36 */
77#else
78#error "Need table for SIZEOF_LONG"
79#endif
Thomas Wouters477c8d52006-05-27 19:21:47 +000080
Guido van Rossumbe0e9421993-12-24 10:32:00 +000081/*
82** strtoul
83** This is a general purpose routine for converting
84** an ascii string to an integer in an arbitrary base.
85** Leading white space is ignored. If 'base' is zero
Guido van Rossumcd16bf62007-06-13 18:07:49 +000086** it looks for a leading 0b, 0o or 0x to tell which
Guido van Rossumbe0e9421993-12-24 10:32:00 +000087** base. If these are absent it defaults to 10.
88** Base must be 0 or between 2 and 36 (inclusive).
89** If 'ptr' is non-NULL it will contain a pointer to
90** the end of the scan.
91** Errors due to bad pointers will probably result in
92** exceptions - we don't check for them.
93*/
Guido van Rossumbe0e9421993-12-24 10:32:00 +000094unsigned long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +000095PyOS_strtoul(register char *str, char **ptr, int base)
Guido van Rossumbe0e9421993-12-24 10:32:00 +000096{
Thomas Wouters477c8d52006-05-27 19:21:47 +000097 register unsigned long result = 0; /* return value of the function */
98 register int c; /* current input character */
99 register int ovlimit; /* required digits to overflow */
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000100
Thomas Wouters477c8d52006-05-27 19:21:47 +0000101 /* skip leading white space */
102 while (*str && isspace(Py_CHARMASK(*str)))
103 ++str;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000104
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000105 /* check for leading 0b, 0o or 0x for auto-base or base 16 */
Thomas Wouters477c8d52006-05-27 19:21:47 +0000106 switch (base) {
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000107 case 0: /* look for leading 0b, 0o or 0x */
108 if (*str == '0') {
109 ++str;
110 if (*str == 'x' || *str == 'X') {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000111 /* there must be at least one digit after 0x */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000112 if (_PyLong_DigitValue[Py_CHARMASK(str[1])] >= 16) {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000113 if (ptr)
114 *ptr = str;
115 return 0;
116 }
Thomas Wouters477c8d52006-05-27 19:21:47 +0000117 ++str;
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000118 base = 16;
119 } else if (*str == 'o' || *str == 'O') {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000120 /* there must be at least one digit after 0o */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000121 if (_PyLong_DigitValue[Py_CHARMASK(str[1])] >= 8) {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000122 if (ptr)
123 *ptr = str;
124 return 0;
125 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000126 ++str;
127 base = 8;
128 } else if (*str == 'b' || *str == 'B') {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000129 /* there must be at least one digit after 0b */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000130 if (_PyLong_DigitValue[Py_CHARMASK(str[1])] >= 2) {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000131 if (ptr)
132 *ptr = str;
133 return 0;
134 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000135 ++str;
136 base = 2;
137 } else {
138 /* skip all zeroes... */
139 while (*str == '0')
Thomas Wouters477c8d52006-05-27 19:21:47 +0000140 ++str;
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000141 while (isspace(Py_CHARMASK(*str)))
142 ++str;
143 if (ptr)
144 *ptr = str;
145 return 0;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000146 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000147 }
148 else
149 base = 10;
150 break;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000151
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000152 /* even with explicit base, skip leading 0? prefix */
153 case 16:
154 if (*str == '0') {
155 ++str;
Georg Brandlfceab5a2008-01-19 20:08:23 +0000156 if (*str == 'x' || *str == 'X') {
157 /* there must be at least one digit after 0x */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000158 if (_PyLong_DigitValue[Py_CHARMASK(str[1])] >= 16) {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000159 if (ptr)
160 *ptr = str;
161 return 0;
162 }
Thomas Wouters477c8d52006-05-27 19:21:47 +0000163 ++str;
Georg Brandlfceab5a2008-01-19 20:08:23 +0000164 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000165 }
166 break;
167 case 8:
168 if (*str == '0') {
169 ++str;
Georg Brandlfceab5a2008-01-19 20:08:23 +0000170 if (*str == 'o' || *str == 'O') {
171 /* there must be at least one digit after 0o */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000172 if (_PyLong_DigitValue[Py_CHARMASK(str[1])] >= 8) {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000173 if (ptr)
174 *ptr = str;
175 return 0;
176 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000177 ++str;
Georg Brandlfceab5a2008-01-19 20:08:23 +0000178 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000179 }
180 break;
181 case 2:
182 if(*str == '0') {
183 ++str;
Georg Brandlfceab5a2008-01-19 20:08:23 +0000184 if (*str == 'b' || *str == 'B') {
185 /* there must be at least one digit after 0b */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000186 if (_PyLong_DigitValue[Py_CHARMASK(str[1])] >= 2) {
Georg Brandlfceab5a2008-01-19 20:08:23 +0000187 if (ptr)
188 *ptr = str;
189 return 0;
190 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000191 ++str;
Georg Brandlfceab5a2008-01-19 20:08:23 +0000192 }
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000193 }
194 break;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000195 }
196
197 /* catch silly bases */
198 if (base < 2 || base > 36) {
199 if (ptr)
200 *ptr = str;
201 return 0;
202 }
203
204 /* skip leading zeroes */
205 while (*str == '0')
206 ++str;
207
208 /* base is guaranteed to be in [2, 36] at this point */
209 ovlimit = digitlimit[base];
210
211 /* do the conversion until non-digit character encountered */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000212 while ((c = _PyLong_DigitValue[Py_CHARMASK(*str)]) < base) {
Thomas Wouters477c8d52006-05-27 19:21:47 +0000213 if (ovlimit > 0) /* no overflow check required */
214 result = result * base + c;
215 else { /* requires overflow check */
216 register unsigned long temp_result;
217
218 if (ovlimit < 0) /* guaranteed overflow */
219 goto overflowed;
220
221 /* there could be an overflow */
222 /* check overflow just from shifting */
223 if (result > smallmax[base])
224 goto overflowed;
225
226 result *= base;
227
228 /* check overflow from the digit's value */
229 temp_result = result + c;
230 if (temp_result < result)
231 goto overflowed;
232
233 result = temp_result;
234 }
235
236 ++str;
237 --ovlimit;
238 }
239
240 /* set pointer to point to the last character scanned */
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000241 if (ptr)
Thomas Wouters477c8d52006-05-27 19:21:47 +0000242 *ptr = str;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000243
Thomas Wouters477c8d52006-05-27 19:21:47 +0000244 return result;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000245
Thomas Wouters477c8d52006-05-27 19:21:47 +0000246overflowed:
247 if (ptr) {
248 /* spool through remaining digit characters */
Christian Heimesbbe741d2008-03-28 10:53:29 +0000249 while (_PyLong_DigitValue[Py_CHARMASK(*str)] < base)
Thomas Wouters477c8d52006-05-27 19:21:47 +0000250 ++str;
251 *ptr = str;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000252 }
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000253 errno = ERANGE;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000254 return (unsigned long)-1;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000255}
256
Thomas Wouters89f507f2006-12-13 04:49:30 +0000257/* Checking for overflow in PyOS_strtol is a PITA; see comments
258 * about PY_ABS_LONG_MIN in longobject.c.
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000259 */
Thomas Wouters89f507f2006-12-13 04:49:30 +0000260#define PY_ABS_LONG_MIN (0-(unsigned long)LONG_MIN)
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000261
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000262long
Thomas Woutersf70ef4f2000-07-22 18:47:25 +0000263PyOS_strtol(char *str, char **ptr, int base)
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000264{
265 long result;
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000266 unsigned long uresult;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000267 char sign;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000268
Guido van Rossum7f7f2741995-02-10 17:01:56 +0000269 while (*str && isspace(Py_CHARMASK(*str)))
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000270 str++;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000271
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000272 sign = *str;
273 if (sign == '+' || sign == '-')
274 str++;
Thomas Wouters477c8d52006-05-27 19:21:47 +0000275
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000276 uresult = PyOS_strtoul(str, ptr, base);
Thomas Wouters477c8d52006-05-27 19:21:47 +0000277
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000278 if (uresult <= (unsigned long)LONG_MAX) {
279 result = (long)uresult;
280 if (sign == '-')
281 result = -result;
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000282 }
Thomas Wouters89f507f2006-12-13 04:49:30 +0000283 else if (sign == '-' && uresult == PY_ABS_LONG_MIN) {
Thomas Wouters0e3f5912006-08-11 14:57:12 +0000284 result = LONG_MIN;
285 }
286 else {
287 errno = ERANGE;
288 result = LONG_MAX;
289 }
Guido van Rossumbe0e9421993-12-24 10:32:00 +0000290 return result;
291}