xref: /freebsd/lib/libc/stdlib/strtoimax.c (revision d9dc1603d6e48cca84cad3ebe859129131b8387c)
19c5cbc30SBill Fenner /*-
28a16b7a1SPedro F. Giffuni  * SPDX-License-Identifier: BSD-3-Clause
38a16b7a1SPedro F. Giffuni  *
49c5cbc30SBill Fenner  * Copyright (c) 1992, 1993
59c5cbc30SBill Fenner  *	The Regents of the University of California.  All rights reserved.
69c5cbc30SBill Fenner  *
73c87aa1dSDavid Chisnall  * Copyright (c) 2011 The FreeBSD Foundation
85b5fa75aSEd Maste  *
93c87aa1dSDavid Chisnall  * Portions of this software were developed by David Chisnall
103c87aa1dSDavid Chisnall  * under sponsorship from the FreeBSD Foundation.
113c87aa1dSDavid Chisnall  *
129c5cbc30SBill Fenner  * Redistribution and use in source and binary forms, with or without
139c5cbc30SBill Fenner  * modification, are permitted provided that the following conditions
149c5cbc30SBill Fenner  * are met:
159c5cbc30SBill Fenner  * 1. Redistributions of source code must retain the above copyright
169c5cbc30SBill Fenner  *    notice, this list of conditions and the following disclaimer.
179c5cbc30SBill Fenner  * 2. Redistributions in binary form must reproduce the above copyright
189c5cbc30SBill Fenner  *    notice, this list of conditions and the following disclaimer in the
199c5cbc30SBill Fenner  *    documentation and/or other materials provided with the distribution.
20580b4d18SEd Maste  * 3. Neither the name of the University nor the names of its contributors
219c5cbc30SBill Fenner  *    may be used to endorse or promote products derived from this software
229c5cbc30SBill Fenner  *    without specific prior written permission.
239c5cbc30SBill Fenner  *
249c5cbc30SBill Fenner  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
259c5cbc30SBill Fenner  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
269c5cbc30SBill Fenner  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
279c5cbc30SBill Fenner  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
289c5cbc30SBill Fenner  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
299c5cbc30SBill Fenner  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
309c5cbc30SBill Fenner  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
319c5cbc30SBill Fenner  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
329c5cbc30SBill Fenner  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
339c5cbc30SBill Fenner  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
349c5cbc30SBill Fenner  * SUCH DAMAGE.
359c5cbc30SBill Fenner  */
369c5cbc30SBill Fenner 
379c5cbc30SBill Fenner #if defined(LIBC_SCCS) && !defined(lint)
389c5cbc30SBill Fenner static char sccsid[] = "from @(#)strtol.c	8.1 (Berkeley) 6/4/93";
399c5cbc30SBill Fenner #endif /* LIBC_SCCS and not lint */
40333fc21eSDavid E. O'Brien #include <sys/cdefs.h>
419c5cbc30SBill Fenner #include <ctype.h>
429c5cbc30SBill Fenner #include <errno.h>
439c5cbc30SBill Fenner #include <stdlib.h>
449c5cbc30SBill Fenner #include <inttypes.h>
453c87aa1dSDavid Chisnall #include "xlocale_private.h"
469c5cbc30SBill Fenner 
479c5cbc30SBill Fenner /*
489d5abbddSJens Schweikhardt  * Convert a string to an intmax_t integer.
499c5cbc30SBill Fenner  *
509c5cbc30SBill Fenner  * Assumes that the upper and lower case
519c5cbc30SBill Fenner  * alphabets and digits are each contiguous.
529c5cbc30SBill Fenner  */
539c5cbc30SBill Fenner intmax_t
543c87aa1dSDavid Chisnall strtoimax_l(const char * __restrict nptr, char ** __restrict endptr, int base,
553c87aa1dSDavid Chisnall 		locale_t locale)
569c5cbc30SBill Fenner {
579c5cbc30SBill Fenner 	const char *s;
589c5cbc30SBill Fenner 	uintmax_t acc;
59f34b139cSAndrey A. Chernov 	char c;
609c5cbc30SBill Fenner 	uintmax_t cutoff;
61f34b139cSAndrey A. Chernov 	int neg, any, cutlim;
623c87aa1dSDavid Chisnall 	FIX_LOCALE(locale);
639c5cbc30SBill Fenner 
649c5cbc30SBill Fenner 	/*
659c5cbc30SBill Fenner 	 * Skip white space and pick up leading +/- sign if any.
669c5cbc30SBill Fenner 	 * If base is 0, allow 0x for hex and 0 for octal, else
679c5cbc30SBill Fenner 	 * assume decimal; if base is already 16, allow 0x.
689c5cbc30SBill Fenner 	 */
699c5cbc30SBill Fenner 	s = nptr;
709c5cbc30SBill Fenner 	do {
719c5cbc30SBill Fenner 		c = *s++;
723c87aa1dSDavid Chisnall 	} while (isspace_l((unsigned char)c, locale));
739c5cbc30SBill Fenner 	if (c == '-') {
749c5cbc30SBill Fenner 		neg = 1;
759c5cbc30SBill Fenner 		c = *s++;
769c5cbc30SBill Fenner 	} else {
779c5cbc30SBill Fenner 		neg = 0;
789c5cbc30SBill Fenner 		if (c == '+')
799c5cbc30SBill Fenner 			c = *s++;
809c5cbc30SBill Fenner 	}
819c5cbc30SBill Fenner 	if ((base == 0 || base == 16) &&
822571c7f7SAndrey A. Chernov 	    c == '0' && (*s == 'x' || *s == 'X') &&
83db0e25eeSAndrey A. Chernov 	    ((s[1] >= '0' && s[1] <= '9') ||
842571c7f7SAndrey A. Chernov 	    (s[1] >= 'A' && s[1] <= 'F') ||
85db0e25eeSAndrey A. Chernov 	    (s[1] >= 'a' && s[1] <= 'f'))) {
869c5cbc30SBill Fenner 		c = s[1];
879c5cbc30SBill Fenner 		s += 2;
889c5cbc30SBill Fenner 		base = 16;
899c5cbc30SBill Fenner 	}
90*d9dc1603SDag-Erling Smørgrav 	if ((base == 0 || base == 2) &&
91*d9dc1603SDag-Erling Smørgrav 	    c == '0' && (*s == 'b' || *s == 'B') &&
92*d9dc1603SDag-Erling Smørgrav 	    (s[1] >= '0' && s[1] <= '1')) {
93*d9dc1603SDag-Erling Smørgrav 		c = s[1];
94*d9dc1603SDag-Erling Smørgrav 		s += 2;
95*d9dc1603SDag-Erling Smørgrav 		base = 2;
96*d9dc1603SDag-Erling Smørgrav 	}
979c5cbc30SBill Fenner 	if (base == 0)
989c5cbc30SBill Fenner 		base = c == '0' ? 8 : 10;
999c5cbc30SBill Fenner 	acc = any = 0;
1009c5cbc30SBill Fenner 	if (base < 2 || base > 36)
1019c5cbc30SBill Fenner 		goto noconv;
1029c5cbc30SBill Fenner 
1039c5cbc30SBill Fenner 	/*
1049c5cbc30SBill Fenner 	 * Compute the cutoff value between legal numbers and illegal
1059c5cbc30SBill Fenner 	 * numbers.  That is the largest legal value, divided by the
1069c5cbc30SBill Fenner 	 * base.  An input number that is greater than this value, if
1079c5cbc30SBill Fenner 	 * followed by a legal input character, is too big.  One that
1089c5cbc30SBill Fenner 	 * is equal to this value may be valid or not; the limit
1099c5cbc30SBill Fenner 	 * between valid and invalid numbers is then based on the last
1109c5cbc30SBill Fenner 	 * digit.  For instance, if the range for intmax_t is
1119c5cbc30SBill Fenner 	 * [-9223372036854775808..9223372036854775807] and the input base
1129c5cbc30SBill Fenner 	 * is 10, cutoff will be set to 922337203685477580 and cutlim to
1139c5cbc30SBill Fenner 	 * either 7 (neg==0) or 8 (neg==1), meaning that if we have
1149c5cbc30SBill Fenner 	 * accumulated a value > 922337203685477580, or equal but the
1159c5cbc30SBill Fenner 	 * next digit is > 7 (or 8), the number is too big, and we will
1169c5cbc30SBill Fenner 	 * return a range error.
1179c5cbc30SBill Fenner 	 *
1189c5cbc30SBill Fenner 	 * Set 'any' if any `digits' consumed; make it negative to indicate
1199c5cbc30SBill Fenner 	 * overflow.
1209c5cbc30SBill Fenner 	 */
1219c5cbc30SBill Fenner 	cutoff = neg ? (uintmax_t)-(INTMAX_MIN + INTMAX_MAX) + INTMAX_MAX
1229c5cbc30SBill Fenner 	    : INTMAX_MAX;
1239c5cbc30SBill Fenner 	cutlim = cutoff % base;
1249c5cbc30SBill Fenner 	cutoff /= base;
1259c5cbc30SBill Fenner 	for ( ; ; c = *s++) {
126f34b139cSAndrey A. Chernov 		if (c >= '0' && c <= '9')
127f34b139cSAndrey A. Chernov 			c -= '0';
128f34b139cSAndrey A. Chernov 		else if (c >= 'A' && c <= 'Z')
129f34b139cSAndrey A. Chernov 			c -= 'A' - 10;
130f34b139cSAndrey A. Chernov 		else if (c >= 'a' && c <= 'z')
131f34b139cSAndrey A. Chernov 			c -= 'a' - 10;
1329c5cbc30SBill Fenner 		else
1339c5cbc30SBill Fenner 			break;
134f34b139cSAndrey A. Chernov 		if (c >= base)
1359c5cbc30SBill Fenner 			break;
136f34b139cSAndrey A. Chernov 		if (any < 0 || acc > cutoff || (acc == cutoff && c > cutlim))
1379c5cbc30SBill Fenner 			any = -1;
1389c5cbc30SBill Fenner 		else {
1399c5cbc30SBill Fenner 			any = 1;
1409c5cbc30SBill Fenner 			acc *= base;
141f34b139cSAndrey A. Chernov 			acc += c;
1429c5cbc30SBill Fenner 		}
1439c5cbc30SBill Fenner 	}
1449c5cbc30SBill Fenner 	if (any < 0) {
1459c5cbc30SBill Fenner 		acc = neg ? INTMAX_MIN : INTMAX_MAX;
1469c5cbc30SBill Fenner 		errno = ERANGE;
1479c5cbc30SBill Fenner 	} else if (!any) {
1489c5cbc30SBill Fenner noconv:
1499c5cbc30SBill Fenner 		errno = EINVAL;
1509c5cbc30SBill Fenner 	} else if (neg)
1519c5cbc30SBill Fenner 		acc = -acc;
1529c5cbc30SBill Fenner 	if (endptr != NULL)
1539c5cbc30SBill Fenner 		*endptr = (char *)(any ? s - 1 : nptr);
1549c5cbc30SBill Fenner 	return (acc);
1559c5cbc30SBill Fenner }
1563c87aa1dSDavid Chisnall intmax_t
1573c87aa1dSDavid Chisnall strtoimax(const char * __restrict nptr, char ** __restrict endptr, int base)
1583c87aa1dSDavid Chisnall {
1593c87aa1dSDavid Chisnall 	return strtoimax_l(nptr, endptr, base, __get_locale());
1603c87aa1dSDavid Chisnall }
161