From c15fb7730c5f388fd3b7147abebfa6bb62bdc250 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 5 Mar 2024 12:21:36 +0100 Subject: [PATCH] c-strtold: Add tests. * tests/test-strtold.h: New file, extracted from tests/test-strtold.c. * tests/test-strtold.c: Include test-strtold.h. (FABSL): Remove unused macro. (main): Just invoke test_function. * tests/test-strtold1.c: Add comment. * modules/strtold-tests (Files): Add tests/test-strtold.h. * tests/test-c-strtold.c: New file, based on tests/test-strtold.c. * tests/test-c-strtold1.c: New file, based on tests/test-strtold1.c. * tests/test-c-strtold1.sh: New file, based on tests/test-strtold1.sh. * modules/c-strtold-tests: New file, based on modules/strtold-tests. --- ChangeLog | 14 + modules/c-strtold-tests | 31 ++ modules/strtold-tests | 1 + tests/test-c-strtold.c | 40 ++ tests/test-c-strtold1.c | 98 ++++ tests/test-c-strtold1.sh | 30 ++ tests/test-strtold.c | 978 +-------------------------------------- tests/test-strtold.h | 959 ++++++++++++++++++++++++++++++++++++++ tests/test-strtold1.c | 1 + 9 files changed, 1195 insertions(+), 957 deletions(-) create mode 100644 modules/c-strtold-tests create mode 100644 tests/test-c-strtold.c create mode 100644 tests/test-c-strtold1.c create mode 100755 tests/test-c-strtold1.sh create mode 100644 tests/test-strtold.h diff --git a/ChangeLog b/ChangeLog index 92b39a3cff..51cd8dd3e2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,17 @@ +2024-03-05 Bruno Haible + + c-strtold: Add tests. + * tests/test-strtold.h: New file, extracted from tests/test-strtold.c. + * tests/test-strtold.c: Include test-strtold.h. + (FABSL): Remove unused macro. + (main): Just invoke test_function. + * tests/test-strtold1.c: Add comment. + * modules/strtold-tests (Files): Add tests/test-strtold.h. + * tests/test-c-strtold.c: New file, based on tests/test-strtold.c. + * tests/test-c-strtold1.c: New file, based on tests/test-strtold1.c. + * tests/test-c-strtold1.sh: New file, based on tests/test-strtold1.sh. + * modules/c-strtold-tests: New file, based on modules/strtold-tests. + 2024-03-05 Bruno Haible c-strtod: Add tests. diff --git a/modules/c-strtold-tests b/modules/c-strtold-tests new file mode 100644 index 0000000000..9eff4dde43 --- /dev/null +++ b/modules/c-strtold-tests @@ -0,0 +1,31 @@ +Files: +tests/test-c-strtold.c +tests/test-strtold.h +tests/test-c-strtold1.sh +tests/test-c-strtold1.c +tests/minus-zero.h +tests/macros.h +m4/locale-fr.m4 +m4/codeset.m4 + +Depends-on: +float +isnanl-nolibm +signbit +setlocale + +configure.ac: +gt_LOCALE_FR +gt_LOCALE_FR_UTF8 + +Makefile.am: +TESTS += test-c-strtold +check_PROGRAMS += test-c-strtold + +TESTS += test-c-strtold1.sh +TESTS_ENVIRONMENT += \ + LOCALE_FR='@LOCALE_FR@' \ + LOCALE_FR_UTF8='@LOCALE_FR_UTF8@' \ + LC_NUMERIC_IMPLEMENTED='@LC_NUMERIC_IMPLEMENTED@' +check_PROGRAMS += test-c-strtold1 +test_c_strtold1_LDADD = $(LDADD) $(SETLOCALE_LIB) diff --git a/modules/strtold-tests b/modules/strtold-tests index 66774147d3..abe35ae82a 100644 --- a/modules/strtold-tests +++ b/modules/strtold-tests @@ -1,5 +1,6 @@ Files: tests/test-strtold.c +tests/test-strtold.h tests/test-strtold1.sh tests/test-strtold1.c tests/signature.h diff --git a/tests/test-c-strtold.c b/tests/test-c-strtold.c new file mode 100644 index 0000000000..46283df0d3 --- /dev/null +++ b/tests/test-c-strtold.c @@ -0,0 +1,40 @@ +/* Test of c_strtold() in the "C" locale. + Copyright (C) 2008-2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +#include + +/* Specification. */ +#include "c-strtod.h" + +#include +#include +#include +#include +#include + +#include "isnanl-nolibm.h" +#include "minus-zero.h" +#include "macros.h" + +#include "test-strtold.h" + +int +main (void) +{ + test_function (c_strtold); + + return 0; +} diff --git a/tests/test-c-strtold1.c b/tests/test-c-strtold1.c new file mode 100644 index 0000000000..c6227d94ed --- /dev/null +++ b/tests/test-c-strtold1.c @@ -0,0 +1,98 @@ +/* Test of c_strtold() in a French locale. + Copyright (C) 2019-2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +#include + +/* Specification. */ +#include "c-strtod.h" + +#include +#include + +#include "macros.h" + +int +main (int argc, char *argv[]) +{ + /* Try to set the locale by implicitly looking at the LC_ALL environment + variable. + configure should already have checked that the locale is supported. */ + if (setlocale (LC_ALL, "") == NULL) + return 1; + + { + const char input[] = "1."; + char *ptr; + long double result; + errno = 0; + result = c_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = ".5"; + char *ptr; + long double result; + errno = 0; + result = c_strtold (input, &ptr); + ASSERT (result == 0.5L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "1.5"; + char *ptr; + long double result; + errno = 0; + result = c_strtold (input, &ptr); + ASSERT (result == 1.5L); + ASSERT (ptr == input + 3); + ASSERT (errno == 0); + } + { + const char input[] = "1,5"; + char *ptr; + long double result; + errno = 0; + result = c_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "123,456.789"; + char *ptr; + long double result; + errno = 0; + result = c_strtold (input, &ptr); + ASSERT (result == 123.0L); + ASSERT (ptr == input + 3); + ASSERT (errno == 0); + } + { + const char input[] = "123.456,789"; + char *ptr; + long double result; + errno = 0; + result = c_strtold (input, &ptr); + ASSERT (result > 123.45L && result < 123.46L); + ASSERT (ptr == input + 7); + ASSERT (errno == 0); + } + + return 0; +} diff --git a/tests/test-c-strtold1.sh b/tests/test-c-strtold1.sh new file mode 100755 index 0000000000..adef13d5ab --- /dev/null +++ b/tests/test-c-strtold1.sh @@ -0,0 +1,30 @@ +#!/bin/sh + +: "${LOCALE_FR=fr_FR}" +: "${LOCALE_FR_UTF8=fr_FR.UTF-8}" + +if test $LOCALE_FR = none && test $LOCALE_FR_UTF8 = none; then + if test -f /usr/bin/localedef; then + echo "Skipping test: no locale for testing is installed" + else + echo "Skipping test: no locale for testing is supported" + fi + exit 77 +fi + +if $LC_NUMERIC_IMPLEMENTED; then + : +else + echo "Skipping test: LC_NUMERIC category of locales is not implemented" + exit 77 +fi + +if test $LOCALE_FR != none; then + LC_ALL=$LOCALE_FR ${CHECKER} ./test-c-strtold1${EXEEXT} || exit 1 +fi + +if test $LOCALE_FR_UTF8 != none; then + LC_ALL=$LOCALE_FR_UTF8 ${CHECKER} ./test-c-strtold1${EXEEXT} || exit 1 +fi + +exit 0 diff --git a/tests/test-strtold.c b/tests/test-strtold.c index b2672dc9cf..33e9b6f971 100644 --- a/tests/test-strtold.c +++ b/tests/test-strtold.c @@ -1,22 +1,24 @@ -/* - * Copyright (C) 2008-2024 Free Software Foundation, Inc. - * Written by Eric Blake - * - * This program is free software: you can redistribute it and/or modify - * it under the terms of the GNU General Public License as published by - * the Free Software Foundation, either version 3 of the License, or - * (at your option) any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program. If not, see . */ +/* Test of strtold() in the "C" locale. + Copyright (C) 2008-2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* Written by Eric Blake. */ #include +/* Specification. */ #include #include "signature.h" @@ -31,950 +33,12 @@ SIGNATURE_CHECK (strtold, long double, (char const *, char **)); #include "minus-zero.h" #include "macros.h" -/* Avoid requiring -lm just for fabsl. */ -#define FABSL(d) ((d) < 0.0L ? -(d) : (d)) +#include "test-strtold.h" int main (void) { - int status = 0; - /* Subject sequence empty or invalid. */ - { - const char input[] = ""; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " "; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " +"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " ."; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " .e0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); /* IRIX 6.5 */ - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " +.e-0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); /* IRIX 6.5 */ - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " in"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); - } - { - const char input[] = " na"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); - } - - /* Simple floating point values. */ - { - const char input[] = "1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = "1."; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = ".5"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.5L); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = " 1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = "+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = "-1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == -1.0L); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = "1e0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 3); - ASSERT (errno == 0); - } - { - const char input[] = "1e+0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 4); - ASSERT (errno == 0); - } - { - const char input[] = "1e-0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 4); - ASSERT (errno == 0); - } - { - const char input[] = "1e1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 10.0L); - ASSERT (ptr == input + 3); - ASSERT (errno == 0); - } - { - const char input[] = "5e-1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.5L); - ASSERT (ptr == input + 4); - ASSERT (errno == 0); - } - - /* Zero. */ - { - const char input[] = "0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = ".0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = "0e0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 3); - ASSERT (errno == 0); - } - { - const char input[] = "0e+9999999"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 10); - ASSERT (errno == 0); - } - { - const char input[] = "0e-9999999"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 10); - ASSERT (errno == 0); - } - { - const char input[] = "-0"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* IRIX 6.5 */ - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - - /* Suffixes. */ - { - const char input[] = "1f"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = "1.f"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = "1e"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = "1e+"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = "1e-"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = "1E 2"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5 */ - ASSERT (ptr == input + 1); /* HP-UX 11.31/ia64, IRIX 6.5 */ - ASSERT (errno == 0); - } - { - const char input[] = "0x"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "00x1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 2); - ASSERT (errno == 0); - } - { - const char input[] = "-0x"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* Mac OS X 10.5, IRIX 6.5 */ - ASSERT (ptr == input + 2); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0xg"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0xp"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0XP"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0x."; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0xp+"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0xp+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "0x.p+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ - ASSERT (errno == 0); - } - { - const char input[] = "1p+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - { - const char input[] = "1P+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + 1); - ASSERT (errno == 0); - } - - /* Overflow/underflow. */ - { - const char input[] = "1E1000000"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == HUGE_VALL); - ASSERT (ptr == input + 9); - ASSERT (errno == ERANGE); - } - { - const char input[] = "-1E1000000"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == -HUGE_VALL); - ASSERT (ptr == input + 10); - ASSERT (errno == ERANGE); - } - { - const char input[] = "1E-100000"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (0.0L <= result && result <= LDBL_MIN); - ASSERT (!signbit (result)); - ASSERT (ptr == input + 9); - ASSERT (errno == ERANGE); - } - { - const char input[] = "-1E-100000"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (-LDBL_MIN <= result && result <= 0.0L); -#if 0 - /* FIXME - this is glibc bug 5995; POSIX allows returning positive - 0 on negative underflow, even though quality of implementation - demands preserving the sign. Disable this test until fixed - glibc is more prevalent. */ - ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* glibc-2.3.2, Haiku */ -#endif - ASSERT (ptr == input + 10); - ASSERT (errno == ERANGE); - } - { - const char input[] = "1E 1000000"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5 */ - ASSERT (ptr == input + 1); /* HP-UX 11.31/ia64, IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64, IRIX 6.5 */ - } - { - const char input[] = "0x1P 1000000"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - - /* Infinity. */ - { - const char input[] = "iNf"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ - ASSERT (ptr == input + 3); /* IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ - } - { - const char input[] = "-InF"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == -HUGE_VALL); /* IRIX 6.5 */ - ASSERT (ptr == input + 4); /* IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ - } - { - const char input[] = "infinite"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ - ASSERT (ptr == input + 3); /* IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ - } - { - const char input[] = "infinitY"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ - ASSERT (ptr == input + 8); /* IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ - } - { - const char input[] = "infinitY."; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ - ASSERT (ptr == input + 8); /* IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ - } - - /* NaN. Some processors set the sign bit of the default NaN, so all - we check is that using a sign changes the result. */ - { - const char input[] = "-nan"; - char *ptr1; - char *ptr2; - long double result1; - long double result2; - errno = 0; - result1 = strtold (input, &ptr1); - result2 = strtold (input + 1, &ptr2); -#if 1 /* All known CPUs support NaNs. */ - ASSERT (isnanl (result1)); /* IRIX 6.5 */ - ASSERT (isnanl (result2)); /* IRIX 6.5 */ -# if 0 - /* Sign bits of NaN is a portability sticking point, not worth - worrying about. */ - ASSERT (!!signbit (result1) != !!signbit (result2)); -# endif - ASSERT (ptr1 == input + 4); /* IRIX 6.5 */ - ASSERT (ptr2 == input + 4); /* IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ -#else - ASSERT (result1 == 0.0L); - ASSERT (result2 == 0.0L); - ASSERT (!signbit (result1)); - ASSERT (!signbit (result2)); - ASSERT (ptr1 == input); - ASSERT (ptr2 == input + 1); - ASSERT (errno == 0 || errno == EINVAL); -#endif - } - { - const char input[] = "+nan("; - char *ptr1; - char *ptr2; - long double result1; - long double result2; - errno = 0; - result1 = strtold (input, &ptr1); - result2 = strtold (input + 1, &ptr2); -#if 1 /* All known CPUs support NaNs. */ - ASSERT (isnanl (result1)); /* IRIX 6.5 */ - ASSERT (isnanl (result2)); /* IRIX 6.5 */ - ASSERT (!!signbit (result1) == !!signbit (result2)); - ASSERT (ptr1 == input + 4); /* Mac OS X 10.5, IRIX 6.5 */ - ASSERT (ptr2 == input + 4); /* Mac OS X 10.5, IRIX 6.5 */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ -#else - ASSERT (result1 == 0.0L); - ASSERT (result2 == 0.0L); - ASSERT (!signbit (result1)); - ASSERT (!signbit (result2)); - ASSERT (ptr1 == input); - ASSERT (ptr2 == input + 1); - ASSERT (errno == 0 || errno == EINVAL); -#endif - } - { - const char input[] = "-nan()"; - char *ptr1; - char *ptr2; - long double result1; - long double result2; - errno = 0; - result1 = strtold (input, &ptr1); - result2 = strtold (input + 1, &ptr2); -#if 1 /* All known CPUs support NaNs. */ - ASSERT (isnanl (result1)); /* IRIX 6.5 */ - ASSERT (isnanl (result2)); /* IRIX 6.5 */ -# if 0 - /* Sign bits of NaN is a portability sticking point, not worth - worrying about. */ - ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.2, musl libc, OpenBSD 6.0, IRIX 6.5, mingw, Haiku */ -# endif - ASSERT (ptr1 == input + 6); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ - ASSERT (ptr2 == input + 6); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64, Haiku */ -#else - ASSERT (result1 == 0.0L); - ASSERT (result2 == 0.0L); - ASSERT (!signbit (result1)); - ASSERT (!signbit (result2)); - ASSERT (ptr1 == input); - ASSERT (ptr2 == input + 1); - ASSERT (errno == 0 || errno == EINVAL); -#endif - } - { - const char input[] = " nan()."; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); -#if 1 /* All known CPUs support NaNs. */ - ASSERT (isnanl (result)); /* IRIX 6.5 */ - ASSERT (ptr == input + 6); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64, Haiku */ -#else - ASSERT (result == 0.0L); - ASSERT (!signbit (result)); - ASSERT (ptr == input); - ASSERT (errno == 0 || errno == EINVAL); -#endif - } - { - /* The behavior of nan(0) is implementation-defined, but all - implementations we know of which handle optional - n-char-sequences handle nan(0) the same as nan(). */ - const char input[] = "-nan(0)."; - char *ptr1; - char *ptr2; - long double result1; - long double result2; - errno = 0; - result1 = strtold (input, &ptr1); - result2 = strtold (input + 1, &ptr2); -#if 1 /* All known CPUs support NaNs. */ - ASSERT (isnanl (result1)); /* IRIX 6.5 */ - ASSERT (isnanl (result2)); /* IRIX 6.5 */ -# if 0 - /* Sign bits of NaN is a portability sticking point, not worth - worrying about. */ - ASSERT (!!signbit (result1) != !!signbit (result2)); -# endif - ASSERT (ptr1 == input + 7); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ - ASSERT (ptr2 == input + 7); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ - ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ -#else - ASSERT (result1 == 0.0L); - ASSERT (result2 == 0.0L); - ASSERT (!signbit (result1)); - ASSERT (!signbit (result2)); - ASSERT (ptr1 == input); - ASSERT (ptr2 == input + 1); - ASSERT (errno == 0 || errno == EINVAL); -#endif - } - - /* Hex. */ - { - const char input[] = "0xa"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 10.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0XA"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 10.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0x1p"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0x1p+"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0x1P+"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0x1p+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 2.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 6); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0X1P+1"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 2.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 6); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0x1p+1a"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 2.0L); /* IRIX 6.5, mingw */ - ASSERT (ptr == input + 6); /* IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - { - const char input[] = "0x1p 2"; - char *ptr; - long double result; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ - ASSERT (ptr == input + 3); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ - ASSERT (errno == 0); - } - - /* Large buffers. */ - { - size_t m = 1000000; - char *input = malloc (m + 1); - if (input) - { - char *ptr; - long double result; - memset (input, '\t', m - 1); - input[m - 1] = '1'; - input[m] = '\0'; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + m); - ASSERT (errno == 0); - } - free (input); - } - { - size_t m = 1000000; - char *input = malloc (m + 1); - if (input) - { - char *ptr; - long double result; - memset (input, '0', m - 1); - input[m - 1] = '1'; - input[m] = '\0'; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); - ASSERT (ptr == input + m); - ASSERT (errno == 0); - } - free (input); - } -#if 0 - /* Newlib has an artificial limit of 20000 for the exponent. TODO - - gnulib should fix this. */ - { - size_t m = 1000000; - char *input = malloc (m + 1); - if (input) - { - char *ptr; - long double result; - input[0] = '.'; - memset (input + 1, '0', m - 10); - input[m - 9] = '1'; - input[m - 8] = 'e'; - input[m - 7] = '+'; - input[m - 6] = '9'; - input[m - 5] = '9'; - input[m - 4] = '9'; - input[m - 3] = '9'; - input[m - 2] = '9'; - input[m - 1] = '1'; - input[m] = '\0'; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ - ASSERT (ptr == input + m); - ASSERT (errno == 0); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ - } - free (input); - } - { - size_t m = 1000000; - char *input = malloc (m + 1); - if (input) - { - char *ptr; - long double result; - input[0] = '1'; - memset (input + 1, '0', m - 9); - input[m - 8] = 'e'; - input[m - 7] = '-'; - input[m - 6] = '9'; - input[m - 5] = '9'; - input[m - 4] = '9'; - input[m - 3] = '9'; - input[m - 2] = '9'; - input[m - 1] = '1'; - input[m] = '\0'; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 1.0L); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ - ASSERT (ptr == input + m); - ASSERT (errno == 0); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ - } - free (input); - } -#endif - { - size_t m = 1000000; - char *input = malloc (m + 1); - if (input) - { - char *ptr; - long double result; - input[0] = '-'; - input[1] = '0'; - input[2] = 'e'; - input[3] = '1'; - memset (input + 4, '0', m - 3); - input[m] = '\0'; - errno = 0; - result = strtold (input, &ptr); - ASSERT (result == 0.0L); - ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* IRIX 6.5 */ - ASSERT (ptr == input + m); - ASSERT (errno == 0); - } - free (input); - } - - /* Rounding. */ - /* TODO - is it worth some tests of rounding for typical IEEE corner - cases, such as .5 ULP rounding up to the smallest denormal and - not causing underflow, or LDBL_MIN - .5 ULP not causing an - infinite loop? */ + test_function (strtold); - return status; + return 0; } diff --git a/tests/test-strtold.h b/tests/test-strtold.h new file mode 100644 index 0000000000..b5d79dc07b --- /dev/null +++ b/tests/test-strtold.h @@ -0,0 +1,959 @@ +/* Test of strtold() and c_strtold() in the "C" locale. + Copyright (C) 2008-2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* Written by Eric Blake. */ + +static void +test_function (long double (*my_strtold) (const char *, char **)) +{ + /* Subject sequence empty or invalid. */ + { + const char input[] = ""; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " "; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " +"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " ."; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " .e0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); /* IRIX 6.5 */ + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " +.e-0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); /* IRIX 6.5 */ + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " in"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); + } + { + const char input[] = " na"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); + } + + /* Simple floating point values. */ + { + const char input[] = "1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "1."; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = ".5"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.5L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = " 1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "-1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == -1.0L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "1e0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 3); + ASSERT (errno == 0); + } + { + const char input[] = "1e+0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 4); + ASSERT (errno == 0); + } + { + const char input[] = "1e-0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 4); + ASSERT (errno == 0); + } + { + const char input[] = "1e1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 10.0L); + ASSERT (ptr == input + 3); + ASSERT (errno == 0); + } + { + const char input[] = "5e-1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.5L); + ASSERT (ptr == input + 4); + ASSERT (errno == 0); + } + + /* Zero. */ + { + const char input[] = "0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = ".0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "0e0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 3); + ASSERT (errno == 0); + } + { + const char input[] = "0e+9999999"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 10); + ASSERT (errno == 0); + } + { + const char input[] = "0e-9999999"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 10); + ASSERT (errno == 0); + } + { + const char input[] = "-0"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* IRIX 6.5 */ + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + + /* Suffixes. */ + { + const char input[] = "1f"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "1.f"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "1e"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "1e+"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "1e-"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "1E 2"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5 */ + ASSERT (ptr == input + 1); /* HP-UX 11.31/ia64, IRIX 6.5 */ + ASSERT (errno == 0); + } + { + const char input[] = "0x"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "00x1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 2); + ASSERT (errno == 0); + } + { + const char input[] = "-0x"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* Mac OS X 10.5, IRIX 6.5 */ + ASSERT (ptr == input + 2); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0xg"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0xp"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0XP"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0x."; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0xp+"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0xp+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "0x.p+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 1); /* glibc-2.3.2, Mac OS X 10.5, Haiku */ + ASSERT (errno == 0); + } + { + const char input[] = "1p+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + { + const char input[] = "1P+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + 1); + ASSERT (errno == 0); + } + + /* Overflow/underflow. */ + { + const char input[] = "1E1000000"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == HUGE_VALL); + ASSERT (ptr == input + 9); + ASSERT (errno == ERANGE); + } + { + const char input[] = "-1E1000000"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == -HUGE_VALL); + ASSERT (ptr == input + 10); + ASSERT (errno == ERANGE); + } + { + const char input[] = "1E-100000"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (0.0L <= result && result <= LDBL_MIN); + ASSERT (!signbit (result)); + ASSERT (ptr == input + 9); + ASSERT (errno == ERANGE); + } + { + const char input[] = "-1E-100000"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (-LDBL_MIN <= result && result <= 0.0L); +#if 0 + /* FIXME - this is glibc bug 5995; POSIX allows returning positive + 0 on negative underflow, even though quality of implementation + demands preserving the sign. Disable this test until fixed + glibc is more prevalent. */ + ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* glibc-2.3.2, Haiku */ +#endif + ASSERT (ptr == input + 10); + ASSERT (errno == ERANGE); + } + { + const char input[] = "1E 1000000"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5 */ + ASSERT (ptr == input + 1); /* HP-UX 11.31/ia64, IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64, IRIX 6.5 */ + } + { + const char input[] = "0x1P 1000000"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + + /* Infinity. */ + { + const char input[] = "iNf"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ + ASSERT (ptr == input + 3); /* IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ + } + { + const char input[] = "-InF"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == -HUGE_VALL); /* IRIX 6.5 */ + ASSERT (ptr == input + 4); /* IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ + } + { + const char input[] = "infinite"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ + ASSERT (ptr == input + 3); /* IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ + } + { + const char input[] = "infinitY"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ + ASSERT (ptr == input + 8); /* IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ + } + { + const char input[] = "infinitY."; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == HUGE_VALL); /* IRIX 6.5 */ + ASSERT (ptr == input + 8); /* IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ + } + + /* NaN. Some processors set the sign bit of the default NaN, so all + we check is that using a sign changes the result. */ + { + const char input[] = "-nan"; + char *ptr1; + char *ptr2; + long double result1; + long double result2; + errno = 0; + result1 = my_strtold (input, &ptr1); + result2 = my_strtold (input + 1, &ptr2); +#if 1 /* All known CPUs support NaNs. */ + ASSERT (isnanl (result1)); /* IRIX 6.5 */ + ASSERT (isnanl (result2)); /* IRIX 6.5 */ +# if 0 + /* Sign bits of NaN is a portability sticking point, not worth + worrying about. */ + ASSERT (!!signbit (result1) != !!signbit (result2)); +# endif + ASSERT (ptr1 == input + 4); /* IRIX 6.5 */ + ASSERT (ptr2 == input + 4); /* IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ +#else + ASSERT (result1 == 0.0L); + ASSERT (result2 == 0.0L); + ASSERT (!signbit (result1)); + ASSERT (!signbit (result2)); + ASSERT (ptr1 == input); + ASSERT (ptr2 == input + 1); + ASSERT (errno == 0 || errno == EINVAL); +#endif + } + { + const char input[] = "+nan("; + char *ptr1; + char *ptr2; + long double result1; + long double result2; + errno = 0; + result1 = my_strtold (input, &ptr1); + result2 = my_strtold (input + 1, &ptr2); +#if 1 /* All known CPUs support NaNs. */ + ASSERT (isnanl (result1)); /* IRIX 6.5 */ + ASSERT (isnanl (result2)); /* IRIX 6.5 */ + ASSERT (!!signbit (result1) == !!signbit (result2)); + ASSERT (ptr1 == input + 4); /* Mac OS X 10.5, IRIX 6.5 */ + ASSERT (ptr2 == input + 4); /* Mac OS X 10.5, IRIX 6.5 */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ +#else + ASSERT (result1 == 0.0L); + ASSERT (result2 == 0.0L); + ASSERT (!signbit (result1)); + ASSERT (!signbit (result2)); + ASSERT (ptr1 == input); + ASSERT (ptr2 == input + 1); + ASSERT (errno == 0 || errno == EINVAL); +#endif + } + { + const char input[] = "-nan()"; + char *ptr1; + char *ptr2; + long double result1; + long double result2; + errno = 0; + result1 = my_strtold (input, &ptr1); + result2 = my_strtold (input + 1, &ptr2); +#if 1 /* All known CPUs support NaNs. */ + ASSERT (isnanl (result1)); /* IRIX 6.5 */ + ASSERT (isnanl (result2)); /* IRIX 6.5 */ +# if 0 + /* Sign bits of NaN is a portability sticking point, not worth + worrying about. */ + ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.2, musl libc, OpenBSD 6.0, IRIX 6.5, mingw, Haiku */ +# endif + ASSERT (ptr1 == input + 6); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ + ASSERT (ptr2 == input + 6); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64, Haiku */ +#else + ASSERT (result1 == 0.0L); + ASSERT (result2 == 0.0L); + ASSERT (!signbit (result1)); + ASSERT (!signbit (result2)); + ASSERT (ptr1 == input); + ASSERT (ptr2 == input + 1); + ASSERT (errno == 0 || errno == EINVAL); +#endif + } + { + const char input[] = " nan()."; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); +#if 1 /* All known CPUs support NaNs. */ + ASSERT (isnanl (result)); /* IRIX 6.5 */ + ASSERT (ptr == input + 6); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64, Haiku */ +#else + ASSERT (result == 0.0L); + ASSERT (!signbit (result)); + ASSERT (ptr == input); + ASSERT (errno == 0 || errno == EINVAL); +#endif + } + { + /* The behavior of nan(0) is implementation-defined, but all + implementations we know of which handle optional + n-char-sequences handle nan(0) the same as nan(). */ + const char input[] = "-nan(0)."; + char *ptr1; + char *ptr2; + long double result1; + long double result2; + errno = 0; + result1 = my_strtold (input, &ptr1); + result2 = my_strtold (input + 1, &ptr2); +#if 1 /* All known CPUs support NaNs. */ + ASSERT (isnanl (result1)); /* IRIX 6.5 */ + ASSERT (isnanl (result2)); /* IRIX 6.5 */ +# if 0 + /* Sign bits of NaN is a portability sticking point, not worth + worrying about. */ + ASSERT (!!signbit (result1) != !!signbit (result2)); +# endif + ASSERT (ptr1 == input + 7); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ + ASSERT (ptr2 == input + 7); /* glibc-2.3.2, IRIX 6.5, mingw, Haiku */ + ASSERT (errno == 0); /* HP-UX 11.31/ia64 */ +#else + ASSERT (result1 == 0.0L); + ASSERT (result2 == 0.0L); + ASSERT (!signbit (result1)); + ASSERT (!signbit (result2)); + ASSERT (ptr1 == input); + ASSERT (ptr2 == input + 1); + ASSERT (errno == 0 || errno == EINVAL); +#endif + } + + /* Hex. */ + { + const char input[] = "0xa"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 10.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0XA"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 10.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0x1p"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0x1p+"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0x1P+"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0x1p+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 2.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 6); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0X1P+1"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 2.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 6); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0x1p+1a"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 2.0L); /* IRIX 6.5, mingw */ + ASSERT (ptr == input + 6); /* IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + { + const char input[] = "0x1p 2"; + char *ptr; + long double result; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ + ASSERT (ptr == input + 3); /* HP-UX 11.31/ia64, IRIX 6.5, mingw */ + ASSERT (errno == 0); + } + + /* Large buffers. */ + { + size_t m = 1000000; + char *input = malloc (m + 1); + if (input) + { + char *ptr; + long double result; + memset (input, '\t', m - 1); + input[m - 1] = '1'; + input[m] = '\0'; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + m); + ASSERT (errno == 0); + } + free (input); + } + { + size_t m = 1000000; + char *input = malloc (m + 1); + if (input) + { + char *ptr; + long double result; + memset (input, '0', m - 1); + input[m - 1] = '1'; + input[m] = '\0'; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); + ASSERT (ptr == input + m); + ASSERT (errno == 0); + } + free (input); + } +#if 0 + /* Newlib has an artificial limit of 20000 for the exponent. TODO - + gnulib should fix this. */ + { + size_t m = 1000000; + char *input = malloc (m + 1); + if (input) + { + char *ptr; + long double result; + input[0] = '.'; + memset (input + 1, '0', m - 10); + input[m - 9] = '1'; + input[m - 8] = 'e'; + input[m - 7] = '+'; + input[m - 6] = '9'; + input[m - 5] = '9'; + input[m - 4] = '9'; + input[m - 3] = '9'; + input[m - 2] = '9'; + input[m - 1] = '1'; + input[m] = '\0'; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ + ASSERT (ptr == input + m); + ASSERT (errno == 0); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ + } + free (input); + } + { + size_t m = 1000000; + char *input = malloc (m + 1); + if (input) + { + char *ptr; + long double result; + input[0] = '1'; + memset (input + 1, '0', m - 9); + input[m - 8] = 'e'; + input[m - 7] = '-'; + input[m - 6] = '9'; + input[m - 5] = '9'; + input[m - 4] = '9'; + input[m - 3] = '9'; + input[m - 2] = '9'; + input[m - 1] = '1'; + input[m] = '\0'; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 1.0L); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ + ASSERT (ptr == input + m); + ASSERT (errno == 0); /* Mac OS X 10.5, FreeBSD 11.0, NetBSD 7.1, OpenBSD 6.0, Minix 3.3, IRIX 6.5, mingw */ + } + free (input); + } +#endif + { + size_t m = 1000000; + char *input = malloc (m + 1); + if (input) + { + char *ptr; + long double result; + input[0] = '-'; + input[1] = '0'; + input[2] = 'e'; + input[3] = '1'; + memset (input + 4, '0', m - 3); + input[m] = '\0'; + errno = 0; + result = my_strtold (input, &ptr); + ASSERT (result == 0.0L); + ASSERT (!!signbit (result) == !!signbit (minus_zerol)); /* IRIX 6.5 */ + ASSERT (ptr == input + m); + ASSERT (errno == 0); + } + free (input); + } + + /* Rounding. */ + /* TODO - is it worth some tests of rounding for typical IEEE corner + cases, such as .5 ULP rounding up to the smallest denormal and + not causing underflow, or LDBL_MIN - .5 ULP not causing an + infinite loop? */ +} diff --git a/tests/test-strtold1.c b/tests/test-strtold1.c index 5bcf996ab7..64a567fcb4 100644 --- a/tests/test-strtold1.c +++ b/tests/test-strtold1.c @@ -16,6 +16,7 @@ #include +/* Specification. */ #include #include -- 2.39.5