ada: Implement new aspect Always_Terminates for SPARK
[official-gcc.git] / libiberty / strtoull.c
blob2f580fb34544faebad430d3e8934f4b0e6b4e071
1 /*
2 * Copyright (c) 2014 Regents of the University of California.
3 * All rights reserved.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * 2. Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in the
12 * documentation and/or other materials provided with the distribution.
13 * 3. [rescinded 22 July 1999]
14 * 4. Neither the name of the University nor the names of its contributors
15 * may be used to endorse or promote products derived from this software
16 * without specific prior written permission.
18 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
19 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
22 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28 * SUCH DAMAGE.
31 #ifdef HAVE_CONFIG_H
32 #include "config.h"
33 #endif
34 #ifdef HAVE_LIMITS_H
35 #include <limits.h>
36 #endif
37 #ifdef HAVE_SYS_PARAM_H
38 #include <sys/param.h>
39 #endif
40 #include <errno.h>
41 #ifdef NEED_DECLARATION_ERRNO
42 extern int errno;
43 #endif
44 #if 0
45 #include <stdlib.h>
46 #endif
47 #include "ansidecl.h"
48 #include "safe-ctype.h"
50 #ifdef HAVE_LONG_LONG
52 __extension__
53 typedef unsigned long long ullong_type;
55 #ifndef ULLONG_MAX
56 #define ULLONG_MAX (~(ullong_type)0) /* 0xFFFFFFFFFFFFFFFF */
57 #endif
60 * Convert a string to an unsigned long long integer.
62 * Ignores `locale' stuff. Assumes that the upper and lower case
63 * alphabets and digits are each contiguous.
65 ullong_type
66 strtoull(const char *nptr, char **endptr, register int base)
68 register const char *s = nptr;
69 register ullong_type acc;
70 register int c;
71 register ullong_type cutoff;
72 register int neg = 0, any, cutlim;
75 * See strtol for comments as to the logic used.
77 do {
78 c = *s++;
79 } while (ISSPACE(c));
80 if (c == '-') {
81 neg = 1;
82 c = *s++;
83 } else if (c == '+')
84 c = *s++;
85 if ((base == 0 || base == 16) &&
86 c == '0' && (*s == 'x' || *s == 'X')) {
87 c = s[1];
88 s += 2;
89 base = 16;
91 if (base == 0)
92 base = c == '0' ? 8 : 10;
93 cutoff = (ullong_type)ULLONG_MAX / (ullong_type)base;
94 cutlim = (ullong_type)ULLONG_MAX % (ullong_type)base;
95 for (acc = 0, any = 0;; c = *s++) {
96 if (ISDIGIT(c))
97 c -= '0';
98 else if (ISALPHA(c))
99 c -= ISUPPER(c) ? 'A' - 10 : 'a' - 10;
100 else
101 break;
102 if (c >= base)
103 break;
104 if (any < 0 || acc > cutoff || (acc == cutoff && c > cutlim))
105 any = -1;
106 else {
107 any = 1;
108 acc *= base;
109 acc += c;
112 if (any < 0) {
113 acc = ULLONG_MAX;
114 errno = ERANGE;
115 } else if (neg)
116 acc = -acc;
117 if (endptr != 0)
118 *endptr = (char *) (any ? s - 1 : nptr);
119 return (acc);
122 #endif /* ifdef HAVE_LONG_LONG */