xstrtold: Add tests.
authorBruno Haible <bruno@clisp.org>
Tue, 23 Jul 2024 17:11:00 +0000 (19:11 +0200)
committerBruno Haible <bruno@clisp.org>
Tue, 23 Jul 2024 18:19:16 +0000 (20:19 +0200)
* tests/test-xstrtold.c: New file, based on tests/test-strtold.h.
* modules/xstrtold-tests: New file.

ChangeLog
modules/xstrtold-tests [new file with mode: 0644]
tests/test-xstrtold.c [new file with mode: 0644]

index e42f98e9e97a3d9b2c934ef691b3aad7630a40af..890cd57c2f1938d50497fc906b23c8558a3fd6d2 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2024-07-23  Bruno Haible  <bruno@clisp.org>
+
+       xstrtold: Add tests.
+       * tests/test-xstrtold.c: New file, based on tests/test-strtold.h.
+       * modules/xstrtold-tests: New file.
+
 2024-07-23  Bruno Haible  <bruno@clisp.org>
 
        xstrtod: Add tests.
diff --git a/modules/xstrtold-tests b/modules/xstrtold-tests
new file mode 100644 (file)
index 0000000..57f25b9
--- /dev/null
@@ -0,0 +1,16 @@
+Files:
+tests/test-xstrtold.c
+tests/minus-zero.h
+tests/macros.h
+
+Depends-on:
+strtold
+float
+isnanl-nolibm
+signbit
+
+configure.ac:
+
+Makefile.am:
+TESTS += test-xstrtold
+check_PROGRAMS += test-xstrtold
diff --git a/tests/test-xstrtold.c b/tests/test-xstrtold.c
new file mode 100644 (file)
index 0000000..b83e780
--- /dev/null
@@ -0,0 +1,1154 @@
+/* Test of xstrtold() 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 "xstrtod.h"
+
+#include <errno.h>
+#include <float.h>
+#include <math.h>
+#include <string.h>
+
+#include "isnanl-nolibm.h"
+#include "minus-zero.h"
+#include "macros.h"
+
+#define UNINIT 0.26149721284764278375542683860869586L
+
+int
+main ()
+{
+  /* Subject sequence empty or invalid.  */
+  {
+    const char input[] = "";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " ";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " +";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " .";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " .e0";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " +.e-0";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " in";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+  {
+    const char input[] = " na";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (ptr == input);
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 0.0L);
+      ASSERT (!signbit (result));
+      ASSERT (errno == 0 || errno == EINVAL);
+    }
+  }
+
+  /* Simple floating point values.  */
+  {
+    const char input[] = "1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1.";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = ".5";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.5L);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = " 1";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (ok);
+      ASSERT (result == 1.0L);
+      ASSERT (ptr == input + 2);
+      ASSERT (errno == 0);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (ok);
+      ASSERT (result == 1.0L);
+      ASSERT (errno == 0);
+    }
+  }
+  {
+    const char input[] = "+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == -1.0L);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e+0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e-0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 10.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "5e-1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.5L);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+
+  /* Zero.  */
+  {
+    const char input[] = "0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = ".0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0e0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0e+9999999";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0e-9999999";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-0";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!!signbit (result) == !!signbit (minus_zerol));
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+
+  /* Suffixes.  */
+  {
+    const char input[] = "1f";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1.f";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1e";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (ok);
+      ASSERT (result == 1.0L);
+      ASSERT (ptr == input + 1);
+      ASSERT (errno == 0);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 1.0L);
+      ASSERT (errno == 0);
+    }
+  }
+  {
+    const char input[] = "1e+";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (ok);
+      ASSERT (result == 1.0L);
+      ASSERT (ptr == input + 1);
+      ASSERT (errno == 0);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 1.0L);
+      ASSERT (errno == 0);
+    }
+  }
+  {
+    const char input[] = "1e-";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (ok);
+      ASSERT (result == 1.0L);
+      ASSERT (ptr == input + 1);
+      ASSERT (errno == 0);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 1.0L);
+      ASSERT (errno == 0);
+    }
+  }
+  {
+    const char input[] = "1E 2";
+    {
+      const char *ptr;
+      long double result = UNINIT;
+      bool ok = xstrtold (input, &ptr, &result, strtold);
+      ASSERT (ok);
+      ASSERT (result == 1.0L);
+      ASSERT (ptr == input + 1);
+      ASSERT (errno == 0);
+    }
+    {
+      long double result = UNINIT;
+      bool ok = xstrtold (input, NULL, &result, strtold);
+      ASSERT (!ok);
+      ASSERT (result == 1.0L);
+      ASSERT (errno == 0);
+    }
+  }
+  {
+    const char input[] = "0x";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "00x1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-0x";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!!signbit (result) == !!signbit (minus_zerol));
+    ASSERT (ptr == input + 2);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xg";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xp";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0XP";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x.";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xp+";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0xp+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x.p+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1p+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1P+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+
+  /* Overflow.  */
+  {
+    const char input[] = "1e6000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (!ok);
+    ASSERT (result == HUGE_VALL);
+    ASSERT (ptr == input + 6);
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "1E1000000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (!ok);
+    ASSERT (result == HUGE_VALL);
+    ASSERT (ptr == input + 9);
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "-1E1000000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (!ok);
+    ASSERT (result == -HUGE_VALL);
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == ERANGE);
+  }
+
+  /* Gradual underflow, resulting in a denormalized number.  */
+  {
+#if LDBL_MAX_EXP > 10000
+    const char input[] = "1e-4950";
+#else
+    const char input[] = "1e-320";
+#endif
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+#if defined _MSC_VER
+    ASSERT (ok);
+#else
+    ASSERT (!ok);
+#endif
+    ASSERT (0.0L < result && result <= LDBL_MIN);
+    ASSERT (ptr == input + strlen (input));
+#if defined _MSC_VER
+    ASSERT (errno == 0);
+#else
+    ASSERT (errno == ERANGE);
+#endif
+  }
+  {
+#if LDBL_MAX_EXP > 10000
+    const char input[] = "-1e-4950";
+#else
+    const char input[] = "-1e-320";
+#endif
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+#if defined _MSC_VER
+    ASSERT (ok);
+#else
+    ASSERT (!ok);
+#endif
+    ASSERT (-LDBL_MIN <= result && result < 0.0L);
+    ASSERT (ptr == input + strlen (input));
+#if defined _MSC_VER
+    ASSERT (errno == 0);
+#else
+    ASSERT (errno == ERANGE);
+#endif
+  }
+
+  /* Flush-to-zero underflow.  */
+  {
+    const char input[] = "1E-100000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    ASSERT (!signbit (result));
+    ASSERT (ptr == input + 9);
+    ASSERT (errno == ERANGE);
+  }
+  {
+    const char input[] = "-1E-100000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 0.0L);
+    /* Negative underflow.  Expect a negative sign, although POSIX allows +0.0L.
+       See also <https://sourceware.org/bugzilla/show_bug.cgi?id=5995>.  */
+    ASSERT (!!signbit (result) == !!signbit (minus_zerol));
+    ASSERT (ptr == input + 10);
+    ASSERT (errno == ERANGE);
+  }
+
+  /* Space before the exponent.  */
+  {
+    const char input[] = "1E 1000000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1P 1000000";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+
+  /* Infinity.  */
+  {
+    const char input[] = "iNf";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == HUGE_VALL);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "-InF";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == -HUGE_VALL);
+    ASSERT (ptr == input + 4);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "infinite";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == HUGE_VALL);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "infinitY";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == HUGE_VALL);
+    ASSERT (ptr == input + 8);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "infinitY.";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == HUGE_VALL);
+    ASSERT (ptr == input + 8);
+    ASSERT (errno == 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";
+    const char *ptr1;
+    const char *ptr2;
+    long double result1 = UNINIT;
+    long double result2 = UNINIT;
+    bool ok1 = xstrtold (input, &ptr1, &result1, strtold);
+    bool ok2 = xstrtold (input + 1, &ptr2, &result2, strtold);
+    ASSERT (ok1);
+    ASSERT (ok2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanl (result1));
+    ASSERT (isnanl (result2));
+# 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);
+    ASSERT (ptr2 == input + 4);
+    ASSERT (errno == 0);
+#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(";
+    const char *ptr1;
+    const char *ptr2;
+    long double result1 = UNINIT;
+    long double result2 = UNINIT;
+    bool ok1 = xstrtold (input, &ptr1, &result1, strtold);
+    bool ok2 = xstrtold (input + 1, &ptr2, &result2, strtold);
+    ASSERT (ok1);
+    ASSERT (ok2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanl (result1));
+    ASSERT (isnanl (result2));
+    ASSERT (!!signbit (result1) == !!signbit (result2));
+    ASSERT (ptr1 == input + 4);
+    ASSERT (ptr2 == input + 4);
+    ASSERT (errno == 0);
+#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()";
+    const char *ptr1;
+    const char *ptr2;
+    long double result1 = UNINIT;
+    long double result2 = UNINIT;
+    bool ok1 = xstrtold (input, &ptr1, &result1, strtold);
+    bool ok2 = xstrtold (input + 1, &ptr2, &result2, strtold);
+    ASSERT (ok1);
+    ASSERT (ok2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanl (result1));
+    ASSERT (isnanl (result2));
+# if 0
+    /* Sign bits of NaN is a portability sticking point, not worth
+       worrying about.  */
+    ASSERT (!!signbit (result1) != !!signbit (result2));
+# endif
+    ASSERT (ptr1 == input + 6);
+    ASSERT (ptr2 == input + 6);
+    ASSERT (errno == 0);
+#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().";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanl (result));
+    ASSERT (ptr == input + 6);
+    ASSERT (errno == 0);
+#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).";
+    const char *ptr1;
+    const char *ptr2;
+    long double result1 = UNINIT;
+    long double result2 = UNINIT;
+    bool ok1 = xstrtold (input, &ptr1, &result1, strtold);
+    bool ok2 = xstrtold (input + 1, &ptr2, &result2, strtold);
+    ASSERT (ok1);
+    ASSERT (ok2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnanl (result1));
+    ASSERT (isnanl (result2));
+# 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);
+    ASSERT (ptr2 == input + 7);
+    ASSERT (errno == 0);
+#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";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 10.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0XA";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 10.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p+";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1P+";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 2.0L);
+    ASSERT (ptr == input + 6);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0X1P+1";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 2.0L);
+    ASSERT (ptr == input + 6);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p+1a";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 2.0L);
+    ASSERT (ptr == input + 6);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "0x1p 2";
+    const char *ptr;
+    long double result = UNINIT;
+    bool ok = xstrtold (input, &ptr, &result, strtold);
+    ASSERT (ok);
+    ASSERT (result == 1.0L);
+    ASSERT (ptr == input + 3);
+    ASSERT (errno == 0);
+  }
+
+  /* Large buffers.  */
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        const char *ptr;
+        long double result = UNINIT;
+        memset (input, '\t', m - 1);
+        input[m - 1] = '1';
+        input[m] = '\0';
+        bool ok = xstrtold (input, &ptr, &result, strtold);
+        ASSERT (ok);
+        ASSERT (result == 1.0L);
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
+      }
+    free (input);
+  }
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        const char *ptr;
+        long double result = UNINIT;
+        memset (input, '0', m - 1);
+        input[m - 1] = '1';
+        input[m] = '\0';
+        bool ok = xstrtold (input, &ptr, &result, strtold);
+        ASSERT (ok);
+        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)
+      {
+        const char *ptr;
+        long double result = UNINIT;
+        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';
+        bool ok = xstrtold (input, &ptr, &result, strtold);
+        ASSERT (ok);
+        ASSERT (result == 1.0L);
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
+      }
+    free (input);
+  }
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        const char *ptr;
+        long double result = UNINIT;
+        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';
+        bool ok = xstrtold (input, &ptr, &result, strtold);
+        ASSERT (ok);
+        ASSERT (result == 1.0L);
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
+      }
+    free (input);
+  }
+#endif
+  {
+    size_t m = 1000000;
+    char *input = malloc (m + 1);
+    if (input)
+      {
+        const char *ptr;
+        long double result = UNINIT;
+        input[0] = '-';
+        input[1] = '0';
+        input[2] = 'e';
+        input[3] = '1';
+        memset (input + 4, '0', m - 3);
+        input[m] = '\0';
+        bool ok = xstrtold (input, &ptr, &result, strtold);
+        ASSERT (ok);
+        ASSERT (result == 0.0L);
+        ASSERT (!!signbit (result) == !!signbit (minus_zerol));
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
+      }
+    free (input);
+  }
+
+  return test_exit_status;
+}