xref: /freebsd/lib/libc/stdlib/strtoimax.c (revision 8a16b7a18f5d0b031f09832fd7752fba717e2a97)
19c5cbc30SBill Fenner /*-
2*8a16b7a1SPedro F. Giffuni  * SPDX-License-Identifier: BSD-3-Clause
3*8a16b7a1SPedro 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
83c87aa1dSDavid Chisnall  * All rights reserved.
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>
41333fc21eSDavid E. O'Brien __FBSDID("$FreeBSD$");
429c5cbc30SBill Fenner 
439c5cbc30SBill Fenner #include <ctype.h>
449c5cbc30SBill Fenner #include <errno.h>
459c5cbc30SBill Fenner #include <stdlib.h>
469c5cbc30SBill Fenner #include <inttypes.h>
473c87aa1dSDavid Chisnall #include "xlocale_private.h"
489c5cbc30SBill Fenner 
499c5cbc30SBill Fenner /*
509d5abbddSJens Schweikhardt  * Convert a string to an intmax_t integer.
519c5cbc30SBill Fenner  *
529c5cbc30SBill Fenner  * Assumes that the upper and lower case
539c5cbc30SBill Fenner  * alphabets and digits are each contiguous.
549c5cbc30SBill Fenner  */
559c5cbc30SBill Fenner intmax_t
563c87aa1dSDavid Chisnall strtoimax_l(const char * __restrict nptr, char ** __restrict endptr, int base,
573c87aa1dSDavid Chisnall 		locale_t locale)
589c5cbc30SBill Fenner {
599c5cbc30SBill Fenner 	const char *s;
609c5cbc30SBill Fenner 	uintmax_t acc;
61f34b139cSAndrey A. Chernov 	char c;
629c5cbc30SBill Fenner 	uintmax_t cutoff;
63f34b139cSAndrey A. Chernov 	int neg, any, cutlim;
643c87aa1dSDavid Chisnall 	FIX_LOCALE(locale);
659c5cbc30SBill Fenner 
669c5cbc30SBill Fenner 	/*
679c5cbc30SBill Fenner 	 * Skip white space and pick up leading +/- sign if any.
689c5cbc30SBill Fenner 	 * If base is 0, allow 0x for hex and 0 for octal, else
699c5cbc30SBill Fenner 	 * assume decimal; if base is already 16, allow 0x.
709c5cbc30SBill Fenner 	 */
719c5cbc30SBill Fenner 	s = nptr;
729c5cbc30SBill Fenner 	do {
739c5cbc30SBill Fenner 		c = *s++;
743c87aa1dSDavid Chisnall 	} while (isspace_l((unsigned char)c, locale));
759c5cbc30SBill Fenner 	if (c == '-') {
769c5cbc30SBill Fenner 		neg = 1;
779c5cbc30SBill Fenner 		c = *s++;
789c5cbc30SBill Fenner 	} else {
799c5cbc30SBill Fenner 		neg = 0;
809c5cbc30SBill Fenner 		if (c == '+')
819c5cbc30SBill Fenner 			c = *s++;
829c5cbc30SBill Fenner 	}
839c5cbc30SBill Fenner 	if ((base == 0 || base == 16) &&
842571c7f7SAndrey A. Chernov 	    c == '0' && (*s == 'x' || *s == 'X') &&
85db0e25eeSAndrey A. Chernov 	    ((s[1] >= '0' && s[1] <= '9') ||
862571c7f7SAndrey A. Chernov 	    (s[1] >= 'A' && s[1] <= 'F') ||
87db0e25eeSAndrey A. Chernov 	    (s[1] >= 'a' && s[1] <= 'f'))) {
889c5cbc30SBill Fenner 		c = s[1];
899c5cbc30SBill Fenner 		s += 2;
909c5cbc30SBill Fenner 		base = 16;
919c5cbc30SBill Fenner 	}
929c5cbc30SBill Fenner 	if (base == 0)
939c5cbc30SBill Fenner 		base = c == '0' ? 8 : 10;
949c5cbc30SBill Fenner 	acc = any = 0;
959c5cbc30SBill Fenner 	if (base < 2 || base > 36)
969c5cbc30SBill Fenner 		goto noconv;
979c5cbc30SBill Fenner 
989c5cbc30SBill Fenner 	/*
999c5cbc30SBill Fenner 	 * Compute the cutoff value between legal numbers and illegal
1009c5cbc30SBill Fenner 	 * numbers.  That is the largest legal value, divided by the
1019c5cbc30SBill Fenner 	 * base.  An input number that is greater than this value, if
1029c5cbc30SBill Fenner 	 * followed by a legal input character, is too big.  One that
1039c5cbc30SBill Fenner 	 * is equal to this value may be valid or not; the limit
1049c5cbc30SBill Fenner 	 * between valid and invalid numbers is then based on the last
1059c5cbc30SBill Fenner 	 * digit.  For instance, if the range for intmax_t is
1069c5cbc30SBill Fenner 	 * [-9223372036854775808..9223372036854775807] and the input base
1079c5cbc30SBill Fenner 	 * is 10, cutoff will be set to 922337203685477580 and cutlim to
1089c5cbc30SBill Fenner 	 * either 7 (neg==0) or 8 (neg==1), meaning that if we have
1099c5cbc30SBill Fenner 	 * accumulated a value > 922337203685477580, or equal but the
1109c5cbc30SBill Fenner 	 * next digit is > 7 (or 8), the number is too big, and we will
1119c5cbc30SBill Fenner 	 * return a range error.
1129c5cbc30SBill Fenner 	 *
1139c5cbc30SBill Fenner 	 * Set 'any' if any `digits' consumed; make it negative to indicate
1149c5cbc30SBill Fenner 	 * overflow.
1159c5cbc30SBill Fenner 	 */
1169c5cbc30SBill Fenner 	cutoff = neg ? (uintmax_t)-(INTMAX_MIN + INTMAX_MAX) + INTMAX_MAX
1179c5cbc30SBill Fenner 	    : INTMAX_MAX;
1189c5cbc30SBill Fenner 	cutlim = cutoff % base;
1199c5cbc30SBill Fenner 	cutoff /= base;
1209c5cbc30SBill Fenner 	for ( ; ; c = *s++) {
121f34b139cSAndrey A. Chernov 		if (c >= '0' && c <= '9')
122f34b139cSAndrey A. Chernov 			c -= '0';
123f34b139cSAndrey A. Chernov 		else if (c >= 'A' && c <= 'Z')
124f34b139cSAndrey A. Chernov 			c -= 'A' - 10;
125f34b139cSAndrey A. Chernov 		else if (c >= 'a' && c <= 'z')
126f34b139cSAndrey A. Chernov 			c -= 'a' - 10;
1279c5cbc30SBill Fenner 		else
1289c5cbc30SBill Fenner 			break;
129f34b139cSAndrey A. Chernov 		if (c >= base)
1309c5cbc30SBill Fenner 			break;
131f34b139cSAndrey A. Chernov 		if (any < 0 || acc > cutoff || (acc == cutoff && c > cutlim))
1329c5cbc30SBill Fenner 			any = -1;
1339c5cbc30SBill Fenner 		else {
1349c5cbc30SBill Fenner 			any = 1;
1359c5cbc30SBill Fenner 			acc *= base;
136f34b139cSAndrey A. Chernov 			acc += c;
1379c5cbc30SBill Fenner 		}
1389c5cbc30SBill Fenner 	}
1399c5cbc30SBill Fenner 	if (any < 0) {
1409c5cbc30SBill Fenner 		acc = neg ? INTMAX_MIN : INTMAX_MAX;
1419c5cbc30SBill Fenner 		errno = ERANGE;
1429c5cbc30SBill Fenner 	} else if (!any) {
1439c5cbc30SBill Fenner noconv:
1449c5cbc30SBill Fenner 		errno = EINVAL;
1459c5cbc30SBill Fenner 	} else if (neg)
1469c5cbc30SBill Fenner 		acc = -acc;
1479c5cbc30SBill Fenner 	if (endptr != NULL)
1489c5cbc30SBill Fenner 		*endptr = (char *)(any ? s - 1 : nptr);
1499c5cbc30SBill Fenner 	return (acc);
1509c5cbc30SBill Fenner }
1513c87aa1dSDavid Chisnall intmax_t
1523c87aa1dSDavid Chisnall strtoimax(const char * __restrict nptr, char ** __restrict endptr, int base)
1533c87aa1dSDavid Chisnall {
1543c87aa1dSDavid Chisnall 	return strtoimax_l(nptr, endptr, base, __get_locale());
1553c87aa1dSDavid Chisnall }
156