]> Savannah Git Hosting - gnulib.git/commitdiff
c-strtof: Add tests.
authorBruno Haible <bruno@clisp.org>
Tue, 5 Mar 2024 11:18:01 +0000 (12:18 +0100)
committerBruno Haible <bruno@clisp.org>
Tue, 5 Mar 2024 11:18:01 +0000 (12:18 +0100)
* tests/test-strtof.h: New file, extracted from tests/test-strtof.c.
* tests/test-strtof.c: Include test-strtof.h.
(FABS): Remove unused macro.
(main): Just invoke test_function.
* tests/test-strtof1.c: Add comment.
* modules/strtof-tests (Files): Add tests/test-strtof.h.
* tests/test-c-strtof.c: New file, based on tests/test-strtof.c.
* tests/test-c-strtof1.c: New file, based on tests/test-strtof1.c.
* tests/test-c-strtof1.sh: New file, based on tests/test-strtof1.sh.
* modules/c-strtof-tests: New file, based on modules/strtof-tests.

ChangeLog
modules/c-strtof-tests [new file with mode: 0644]
modules/strtof-tests
tests/test-c-strtof.c [new file with mode: 0644]
tests/test-c-strtof1.c [new file with mode: 0644]
tests/test-c-strtof1.sh [new file with mode: 0755]
tests/test-strtof.c
tests/test-strtof.h [new file with mode: 0644]
tests/test-strtof1.c

index e6393e213d24ebdbd2ee0fbd6c517c591452833b..48335bd8d2e98e0a6042730a96837d0716c39f63 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,17 @@
+2024-03-05  Bruno Haible  <bruno@clisp.org>
+
+       c-strtof: Add tests.
+       * tests/test-strtof.h: New file, extracted from tests/test-strtof.c.
+       * tests/test-strtof.c: Include test-strtof.h.
+       (FABS): Remove unused macro.
+       (main): Just invoke test_function.
+       * tests/test-strtof1.c: Add comment.
+       * modules/strtof-tests (Files): Add tests/test-strtof.h.
+       * tests/test-c-strtof.c: New file, based on tests/test-strtof.c.
+       * tests/test-c-strtof1.c: New file, based on tests/test-strtof1.c.
+       * tests/test-c-strtof1.sh: New file, based on tests/test-strtof1.sh.
+       * modules/c-strtof-tests: New file, based on modules/strtof-tests.
+
 2024-03-04  Collin Funk  <collin.funk1@gmail.com>
 
        gnulib-tool.py: Follow gnulib-tool changes, part 39.
diff --git a/modules/c-strtof-tests b/modules/c-strtof-tests
new file mode 100644 (file)
index 0000000..c8f3dbf
--- /dev/null
@@ -0,0 +1,31 @@
+Files:
+tests/test-c-strtof.c
+tests/test-strtof.h
+tests/test-c-strtof1.sh
+tests/test-c-strtof1.c
+tests/minus-zero.h
+tests/macros.h
+m4/locale-fr.m4
+m4/codeset.m4
+
+Depends-on:
+float
+isnanf-nolibm
+signbit
+setlocale
+
+configure.ac:
+gt_LOCALE_FR
+gt_LOCALE_FR_UTF8
+
+Makefile.am:
+TESTS += test-c-strtof
+check_PROGRAMS += test-c-strtof
+
+TESTS += test-c-strtof1.sh
+TESTS_ENVIRONMENT += \
+  LOCALE_FR='@LOCALE_FR@' \
+  LOCALE_FR_UTF8='@LOCALE_FR_UTF8@' \
+  LC_NUMERIC_IMPLEMENTED='@LC_NUMERIC_IMPLEMENTED@'
+check_PROGRAMS += test-c-strtof1
+test_c_strtof1_LDADD = $(LDADD) $(SETLOCALE_LIB)
index 00e5df709b35ddd3c71df0362f52e14639c4287f..e32bac4973d529d0535fc90ea9d2362c122354a0 100644 (file)
@@ -1,5 +1,6 @@
 Files:
 tests/test-strtof.c
+tests/test-strtof.h
 tests/test-strtof1.sh
 tests/test-strtof1.c
 tests/signature.h
diff --git a/tests/test-c-strtof.c b/tests/test-c-strtof.c
new file mode 100644 (file)
index 0000000..dc3a2cd
--- /dev/null
@@ -0,0 +1,40 @@
+/* Test of c_strtof() 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 <https://www.gnu.org/licenses/>.  */
+
+#include <config.h>
+
+/* Specification.  */
+#include "c-strtod.h"
+
+#include <errno.h>
+#include <float.h>
+#include <math.h>
+#include <stdlib.h>
+#include <string.h>
+
+#include "isnanf-nolibm.h"
+#include "minus-zero.h"
+#include "macros.h"
+
+#include "test-strtof.h"
+
+int
+main (void)
+{
+  test_function (c_strtof);
+
+  return 0;
+}
diff --git a/tests/test-c-strtof1.c b/tests/test-c-strtof1.c
new file mode 100644 (file)
index 0000000..bd40856
--- /dev/null
@@ -0,0 +1,98 @@
+/* Test of c_strtof() 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 <https://www.gnu.org/licenses/>.  */
+
+#include <config.h>
+
+/* Specification.  */
+#include "c-strtod.h"
+
+#include <errno.h>
+#include <locale.h>
+
+#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;
+    float result;
+    errno = 0;
+    result = c_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = ".5";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = c_strtof (input, &ptr);
+    ASSERT (result == 0.5f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1.5";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = c_strtof (input, &ptr);
+    ASSERT (result == 1.5f);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1,5";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = c_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "123,456.789";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = c_strtof (input, &ptr);
+    ASSERT (result == 123.0f);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "123.456,789";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = c_strtof (input, &ptr);
+    ASSERT (result > 123.45f && result < 123.46f);
+    ASSERT (ptr == input + 7);
+    ASSERT (errno == 0);
+  }
+
+  return 0;
+}
diff --git a/tests/test-c-strtof1.sh b/tests/test-c-strtof1.sh
new file mode 100755 (executable)
index 0000000..9c82b78
--- /dev/null
@@ -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-strtof1${EXEEXT} || exit 1
+fi
+
+if test $LOCALE_FR_UTF8 != none; then
+  LC_ALL=$LOCALE_FR_UTF8 ${CHECKER} ./test-c-strtof1${EXEEXT} || exit 1
+fi
+
+exit 0
index 84f60dbcd7d143e9e5abbd97f2064283aeb21048..e4f1c836934d85224ac5db427f4e7fad99a84423 100644 (file)
@@ -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 <https://www.gnu.org/licenses/>.  */
+/* Test of strtof() 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 <https://www.gnu.org/licenses/>.  */
+
+/* Written by Eric Blake.  */
 
 #include <config.h>
 
+/* Specification.  */
 #include <stdlib.h>
 
 #include "signature.h"
@@ -31,950 +33,12 @@ SIGNATURE_CHECK (strtof, float, (char const *, char **));
 #include "minus-zero.h"
 #include "macros.h"
 
-/* Avoid requiring -lm just for fabsf.  */
-#define FABS(f) ((f) < 0.0f ? -(f) : (f))
+#include "test-strtof.h"
 
 int
 main (void)
 {
-  int status = 0;
-  /* Subject sequence empty or invalid.  */
-  {
-    const char input[] = "";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " ";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " +";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " .";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " .e0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);              /* IRIX 6.5, OSF/1 5.1 */
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " +.e-0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);              /* IRIX 6.5, OSF/1 5.1 */
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " in";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-  {
-    const char input[] = " na";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input);
-    ASSERT (errno == 0 || errno == EINVAL);
-  }
-
-  /* Simple floating point values.  */
-  {
-    const char input[] = "1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1.";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = ".5";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.5f);
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = " 1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "-1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == -1.0f);
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 3);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e+0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 4);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e-0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 4);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 10.0f);
-    ASSERT (ptr == input + 3);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "5e-1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.5f);
-    ASSERT (ptr == input + 4);
-    ASSERT (errno == 0);
-  }
-
-  /* Zero.  */
-  {
-    const char input[] = "0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = ".0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0e0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 3);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0e+9999999";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 10);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0e-9999999";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 10);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "-0";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!!signbit (result) == !!signbit (minus_zerof)); /* IRIX 6.5, OSF/1 4.0 */
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-
-  /* Suffixes.  */
-  {
-    const char input[] = "1f";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1.f";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e+";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1e-";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1E 2";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* HP-UX 11.11, IRIX 6.5, OSF/1 4.0 */
-    ASSERT (ptr == input + 1);          /* HP-UX 11.11, IRIX 6.5 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "00x1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 2);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "-0x";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!!signbit (result) == !!signbit (minus_zerof)); /* Mac OS X 10.3, FreeBSD 6.2, IRIX 6.5, OSF/1 4.0 */
-    ASSERT (ptr == input + 2);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0xg";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0xp";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0XP";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x.";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0xp+";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0xp+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x.p+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 0.0f);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1p+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "1P+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);
-    ASSERT (ptr == input + 1);
-    ASSERT (errno == 0);
-  }
-
-  /* Overflow/underflow.  */
-  {
-    const char input[] = "1E1000000";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == HUGE_VAL);
-    ASSERT (ptr == input + 9);          /* OSF/1 5.1 */
-    ASSERT (errno == ERANGE);
-  }
-  {
-    const char input[] = "-1E1000000";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == -HUGE_VAL);
-    ASSERT (ptr == input + 10);
-    ASSERT (errno == ERANGE);
-  }
-  {
-    const char input[] = "1E-100000";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (0.0f <= result && result <= FLT_MIN);
-    ASSERT (!signbit (result));
-    ASSERT (ptr == input + 9);
-    ASSERT (errno == ERANGE);
-  }
-  {
-    const char input[] = "-1E-100000";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (-FLT_MIN <= result && result <= 0.0f);
-#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_zerof)); /* glibc-2.3.6, mingw */
-#endif
-    ASSERT (ptr == input + 10);
-    ASSERT (errno == ERANGE);
-  }
-  {
-    const char input[] = "1E 1000000";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* HP-UX 11.11, IRIX 6.5, OSF/1 4.0 */
-    ASSERT (ptr == input + 1);          /* HP-UX 11.11, IRIX 6.5 */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1P 1000000";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-
-  /* Infinity.  */
-  {
-    const char input[] = "iNf";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr == input + 3);          /* OpenBSD 4.0, HP-UX 11.00, IRIX 6.5, OSF/1 5.1, Solaris 9, mingw */
-    ASSERT (errno == 0);                /* HP-UX 11.11, OSF/1 4.0 */
-  }
-  {
-    const char input[] = "-InF";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == -HUGE_VAL);       /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr == input + 4);          /* OpenBSD 4.0, HP-UX 11.00, IRIX 6.5, OSF/1 4.0, Solaris 9, mingw */
-    ASSERT (errno == 0);                /* HP-UX 11.11, OSF/1 4.0 */
-  }
-  {
-    const char input[] = "infinite";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr == input + 3);          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (errno == 0);                /* OSF/1 4.0 */
-  }
-  {
-    const char input[] = "infinitY";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr == input + 8);          /* OpenBSD 4.0, HP-UX 11.00, IRIX 6.5, OSF/1 5.1, Solaris 9, mingw */
-    ASSERT (errno == 0);                /* HP-UX 11.11, OSF/1 4.0 */
-  }
-  {
-    const char input[] = "infinitY.";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr == input + 8);          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (errno == 0);                /* OSF/1 4.0 */
-  }
-
-  /* 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;
-    float result1;
-    float result2;
-    errno = 0;
-    result1 = strtof (input, &ptr1);
-    result2 = strtof (input + 1, &ptr2);
-#if 1 /* All known CPUs support NaNs.  */
-    ASSERT (isnanf (result1));          /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (isnanf (result2));          /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-# if 0
-    /* Sign bits of NaN is a portability sticking point, not worth
-       worrying about.  */
-    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
-# endif
-    ASSERT (ptr1 == input + 4);         /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
-    ASSERT (ptr2 == input + 4);         /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
-    ASSERT (errno == 0);                /* HP-UX 11.11 */
-#else
-    ASSERT (result1 == 0.0f);
-    ASSERT (result2 == 0.0f);
-    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;
-    float result1;
-    float result2;
-    errno = 0;
-    result1 = strtof (input, &ptr1);
-    result2 = strtof (input + 1, &ptr2);
-#if 1 /* All known CPUs support NaNs.  */
-    ASSERT (isnanf (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (isnanf (result2));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (!!signbit (result1) == !!signbit (result2));
-    ASSERT (ptr1 == input + 4);         /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
-    ASSERT (ptr2 == input + 4);         /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
-    ASSERT (errno == 0);
-#else
-    ASSERT (result1 == 0.0f);
-    ASSERT (result2 == 0.0f);
-    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;
-    float result1;
-    float result2;
-    errno = 0;
-    result1 = strtof (input, &ptr1);
-    result2 = strtof (input + 1, &ptr2);
-#if 1 /* All known CPUs support NaNs.  */
-    ASSERT (isnanf (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (isnanf (result2));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-# if 0
-    /* Sign bits of NaN is a portability sticking point, not worth
-       worrying about.  */
-    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
-# endif
-    ASSERT (ptr1 == input + 6);         /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr2 == input + 6);         /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (errno == 0);
-#else
-    ASSERT (result1 == 0.0f);
-    ASSERT (result2 == 0.0f);
-    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;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-#if 1 /* All known CPUs support NaNs.  */
-    ASSERT (isnanf (result));           /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr == input + 6);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (errno == 0);
-#else
-    ASSERT (result == 0.0f);
-    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;
-    float result1;
-    float result2;
-    errno = 0;
-    result1 = strtof (input, &ptr1);
-    result2 = strtof (input + 1, &ptr2);
-#if 1 /* All known CPUs support NaNs.  */
-    ASSERT (isnanf (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (isnanf (result2));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-# if 0
-    /* Sign bits of NaN is a portability sticking point, not worth
-       worrying about.  */
-    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
-# endif
-    ASSERT (ptr1 == input + 7);         /* glibc-2.3.6, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (ptr2 == input + 7);         /* glibc-2.3.6, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
-    ASSERT (errno == 0);
-#else
-    ASSERT (result1 == 0.0f);
-    ASSERT (result2 == 0.0f);
-    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;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 10.0f);           /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0XA";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 10.0f);           /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1p";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1p+";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1P+";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1p+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 2.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 6);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0X1P+1";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 2.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 6);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1p+1a";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 2.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 6);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-  {
-    const char input[] = "0x1p 2";
-    char *ptr;
-    float result;
-    errno = 0;
-    result = strtof (input, &ptr);
-    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
-    ASSERT (errno == 0);
-  }
-
-  /* Large buffers.  */
-  {
-    size_t m = 1000000;
-    char *input = malloc (m + 1);
-    if (input)
-      {
-        char *ptr;
-        float result;
-        memset (input, '\t', m - 1);
-        input[m - 1] = '1';
-        input[m] = '\0';
-        errno = 0;
-        result = strtof (input, &ptr);
-        ASSERT (result == 1.0f);
-        ASSERT (ptr == input + m);
-        ASSERT (errno == 0);
-      }
-    free (input);
-  }
-  {
-    size_t m = 1000000;
-    char *input = malloc (m + 1);
-    if (input)
-      {
-        char *ptr;
-        float result;
-        memset (input, '0', m - 1);
-        input[m - 1] = '1';
-        input[m] = '\0';
-        errno = 0;
-        result = strtof (input, &ptr);
-        ASSERT (result == 1.0f);
-        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;
-        float 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 = strtof (input, &ptr);
-        ASSERT (result == 1.0f);        /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-        ASSERT (ptr == input + m);      /* OSF/1 5.1 */
-        ASSERT (errno == 0);            /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-      }
-    free (input);
-  }
-  {
-    size_t m = 1000000;
-    char *input = malloc (m + 1);
-    if (input)
-      {
-        char *ptr;
-        float 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 = strtof (input, &ptr);
-        ASSERT (result == 1.0f);        /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-        ASSERT (ptr == input + m);
-        ASSERT (errno == 0);            /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
-      }
-    free (input);
-  }
-#endif
-  {
-    size_t m = 1000000;
-    char *input = malloc (m + 1);
-    if (input)
-      {
-        char *ptr;
-        float result;
-        input[0] = '-';
-        input[1] = '0';
-        input[2] = 'e';
-        input[3] = '1';
-        memset (input + 4, '0', m - 3);
-        input[m] = '\0';
-        errno = 0;
-        result = strtof (input, &ptr);
-        ASSERT (result == 0.0f);
-        ASSERT (!!signbit (result) == !!signbit (minus_zerof)); /* IRIX 6.5, OSF/1 4.0 */
-        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 FLT_MIN - .5 ULP not causing an
-     infinite loop?  */
+  test_function (strtof);
 
-  return status;
+  return 0;
 }
diff --git a/tests/test-strtof.h b/tests/test-strtof.h
new file mode 100644 (file)
index 0000000..1a7588f
--- /dev/null
@@ -0,0 +1,959 @@
+/* Test of strtof() and c_strtof() 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 <https://www.gnu.org/licenses/>.  */
+
+/* Written by Eric Blake.  */
+
+static void
+test_function (float (*my_strtof) (const char *, char **))
+{
+  /* Subject sequence empty or invalid.  */
+  {
+    const char input[] = "";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " ";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " +";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " .";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " .e0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);              /* IRIX 6.5, OSF/1 5.1 */
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " +.e-0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);              /* IRIX 6.5, OSF/1 5.1 */
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " in";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+  {
+    const char input[] = " na";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input);
+    ASSERT (errno == 0 || errno == EINVAL);
+  }
+
+  /* Simple floating point values.  */
+  {
+    const char input[] = "1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1.";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = ".5";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.5f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = " 1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == -1.0f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e+0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e-0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 10.0f);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "5e-1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.5f);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+
+  /* Zero.  */
+  {
+    const char input[] = "0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = ".0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0e0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0e+9999999";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0e-9999999";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-0";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!!signbit (result) == !!signbit (minus_zerof)); /* IRIX 6.5, OSF/1 4.0 */
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+
+  /* Suffixes.  */
+  {
+    const char input[] = "1f";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1.f";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e+";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e-";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1E 2";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* HP-UX 11.11, IRIX 6.5, OSF/1 4.0 */
+    ASSERT (ptr == input + 1);          /* HP-UX 11.11, IRIX 6.5 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "00x1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-0x";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!!signbit (result) == !!signbit (minus_zerof)); /* Mac OS X 10.3, FreeBSD 6.2, IRIX 6.5, OSF/1 4.0 */
+    ASSERT (ptr == input + 2);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xg";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xp";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0XP";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x.";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xp+";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xp+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x.p+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 0.0f);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1p+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1P+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+
+  /* Overflow/underflow.  */
+  {
+    const char input[] = "1E1000000";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == HUGE_VAL);
+    ASSERT (ptr == input + 9);          /* OSF/1 5.1 */
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "-1E1000000";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == -HUGE_VAL);
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "1E-100000";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (0.0f <= result && result <= FLT_MIN);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 9);
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "-1E-100000";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (-FLT_MIN <= result && result <= 0.0f);
+#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_zerof)); /* glibc-2.3.6, mingw */
+#endif
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "1E 1000000";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* HP-UX 11.11, IRIX 6.5, OSF/1 4.0 */
+    ASSERT (ptr == input + 1);          /* HP-UX 11.11, IRIX 6.5 */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1P 1000000";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+
+  /* Infinity.  */
+  {
+    const char input[] = "iNf";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr == input + 3);          /* OpenBSD 4.0, HP-UX 11.00, IRIX 6.5, OSF/1 5.1, Solaris 9, mingw */
+    ASSERT (errno == 0);                /* HP-UX 11.11, OSF/1 4.0 */
+  }
+  {
+    const char input[] = "-InF";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == -HUGE_VAL);       /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr == input + 4);          /* OpenBSD 4.0, HP-UX 11.00, IRIX 6.5, OSF/1 4.0, Solaris 9, mingw */
+    ASSERT (errno == 0);                /* HP-UX 11.11, OSF/1 4.0 */
+  }
+  {
+    const char input[] = "infinite";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr == input + 3);          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (errno == 0);                /* OSF/1 4.0 */
+  }
+  {
+    const char input[] = "infinitY";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr == input + 8);          /* OpenBSD 4.0, HP-UX 11.00, IRIX 6.5, OSF/1 5.1, Solaris 9, mingw */
+    ASSERT (errno == 0);                /* HP-UX 11.11, OSF/1 4.0 */
+  }
+  {
+    const char input[] = "infinitY.";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == HUGE_VAL);        /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr == input + 8);          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (errno == 0);                /* OSF/1 4.0 */
+  }
+
+  /* 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;
+    float result1;
+    float result2;
+    errno = 0;
+    result1 = my_strtof (input, &ptr1);
+    result2 = my_strtof (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanf (result1));          /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnanf (result2));          /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+# if 0
+    /* Sign bits of NaN is a portability sticking point, not worth
+       worrying about.  */
+    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
+# endif
+    ASSERT (ptr1 == input + 4);         /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
+    ASSERT (ptr2 == input + 4);         /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
+    ASSERT (errno == 0);                /* HP-UX 11.11 */
+#else
+    ASSERT (result1 == 0.0f);
+    ASSERT (result2 == 0.0f);
+    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;
+    float result1;
+    float result2;
+    errno = 0;
+    result1 = my_strtof (input, &ptr1);
+    result2 = my_strtof (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanf (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnanf (result2));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (!!signbit (result1) == !!signbit (result2));
+    ASSERT (ptr1 == input + 4);         /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
+    ASSERT (ptr2 == input + 4);         /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 2.5.1, mingw */
+    ASSERT (errno == 0);
+#else
+    ASSERT (result1 == 0.0f);
+    ASSERT (result2 == 0.0f);
+    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;
+    float result1;
+    float result2;
+    errno = 0;
+    result1 = my_strtof (input, &ptr1);
+    result2 = my_strtof (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanf (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnanf (result2));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+# if 0
+    /* Sign bits of NaN is a portability sticking point, not worth
+       worrying about.  */
+    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
+# endif
+    ASSERT (ptr1 == input + 6);         /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr2 == input + 6);         /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (errno == 0);
+#else
+    ASSERT (result1 == 0.0f);
+    ASSERT (result2 == 0.0f);
+    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;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanf (result));           /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr == input + 6);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (errno == 0);
+#else
+    ASSERT (result == 0.0f);
+    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;
+    float result1;
+    float result2;
+    errno = 0;
+    result1 = my_strtof (input, &ptr1);
+    result2 = my_strtof (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanf (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnanf (result2));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+# if 0
+    /* Sign bits of NaN is a portability sticking point, not worth
+       worrying about.  */
+    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
+# endif
+    ASSERT (ptr1 == input + 7);         /* glibc-2.3.6, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (ptr2 == input + 7);         /* glibc-2.3.6, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (errno == 0);
+#else
+    ASSERT (result1 == 0.0f);
+    ASSERT (result2 == 0.0f);
+    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;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 10.0f);           /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0XA";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 10.0f);           /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p+";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1P+";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 2.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 6);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0X1P+1";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 2.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 6);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p+1a";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 2.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 6);          /* NetBSD 3.0, OpenBSD 4.0, AIX 5.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p 2";
+    char *ptr;
+    float result;
+    errno = 0;
+    result = my_strtof (input, &ptr);
+    ASSERT (result == 1.0f);            /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (ptr == input + 3);          /* NetBSD 3.0, OpenBSD 4.0, AIX 7.1, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, Solaris 10, mingw */
+    ASSERT (errno == 0);
+  }
+
+  /* Large buffers.  */
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        char *ptr;
+        float result;
+        memset (input, '\t', m - 1);
+        input[m - 1] = '1';
+        input[m] = '\0';
+        errno = 0;
+        result = my_strtof (input, &ptr);
+        ASSERT (result == 1.0f);
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
+      }
+    free (input);
+  }
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        char *ptr;
+        float result;
+        memset (input, '0', m - 1);
+        input[m - 1] = '1';
+        input[m] = '\0';
+        errno = 0;
+        result = my_strtof (input, &ptr);
+        ASSERT (result == 1.0f);
+        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;
+        float 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_strtof (input, &ptr);
+        ASSERT (result == 1.0f);        /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+        ASSERT (ptr == input + m);      /* OSF/1 5.1 */
+        ASSERT (errno == 0);            /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+      }
+    free (input);
+  }
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        char *ptr;
+        float 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_strtof (input, &ptr);
+        ASSERT (result == 1.0f);        /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);            /* Mac OS X 10.3, FreeBSD 6.2, NetBSD 3.0, OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+      }
+    free (input);
+  }
+#endif
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        char *ptr;
+        float 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_strtof (input, &ptr);
+        ASSERT (result == 0.0f);
+        ASSERT (!!signbit (result) == !!signbit (minus_zerof)); /* IRIX 6.5, OSF/1 4.0 */
+        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 FLT_MIN - .5 ULP not causing an
+     infinite loop?  */
+}
index bde446405a6339577f6286537408a6fbea4422b3..668d1a31d482d4a7a5b53cc01a82772dac2a45d9 100644 (file)
@@ -16,6 +16,7 @@
 
 #include <config.h>
 
+/* Specification.  */
 #include <stdlib.h>
 
 #include <errno.h>