X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-strtod.c;h=f23bf6b8175f7cea39026810c8f80fd86bd097b3;hb=23eecb48e39afd0d267d64d40ba6bf97aa865e13;hp=996e3da560d9a484746271bead0f17437dce4f0c;hpb=17959d7c83195b5568ac4c311d2754971efd4b90;p=gnulib.git

diff --git a/tests/test-strtod.c b/tests/test-strtod.c
index 996e3da56..f23bf6b81 100644
--- a/tests/test-strtod.c
+++ b/tests/test-strtod.c
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008 Free Software Foundation
+ * Copyright (C) 2008-2013 Free Software Foundation, Inc.
  * Written by Eric Blake
  *
  * This program is free software: you can redistribute it and/or modify
@@ -19,103 +19,109 @@
 
 #include <stdlib.h>
 
+#include "signature.h"
+SIGNATURE_CHECK (strtod, double, (char const *, char **));
+
 #include <errno.h>
 #include <float.h>
 #include <math.h>
-#include <stdio.h>
 #include <string.h>
 
-#define ASSERT(expr) \
-  do									     \
-    {									     \
-      if (!(expr))							     \
-	{								     \
-	  fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
-	  /* FIXME abort ();*/status = 1;                               \
-	}								     \
-    }									     \
-  while (0)
+#include "isnand-nolibm.h"
+#include "minus-zero.h"
+#include "macros.h"
+
+/* Avoid requiring -lm just for fabs.  */
+#define FABS(d) ((d) < 0.0 ? -(d) : (d))
 
 int
-main ()
+main (void)
 {
   int status = 0;
   /* Subject sequence empty or invalid.  */
   {
-    errno = 0;
     const char input[] = "";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input);
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " ";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input);
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " +";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input);
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " .";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input);
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " .e0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input);
+    ASSERT (ptr == input);              /* IRIX 6.5, OSF/1 5.1 */
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " +.e-0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input);
+    ASSERT (ptr == input);              /* IRIX 6.5, OSF/1 5.1 */
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " in";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input);
     ASSERT (errno == 0 || errno == EINVAL);
   }
   {
-    errno = 0;
     const char input[] = " na";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input);
@@ -124,317 +130,377 @@ main ()
 
   /* Simple floating point values.  */
   {
-    errno = 0;
     const char input[] = "1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1.";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = ".5";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 0.5);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    /* FIXME - gnulib's version is rather inaccurate.  It would be
+       nice to guarantee an exact result, but for now, we settle for a
+       1-ulp error.  */
+    ASSERT (FABS (result - 0.5) < DBL_EPSILON);
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = " 1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "+1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "-1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == -1.0);
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 3);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e+0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 4);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e-0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 4);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 10.0);
     ASSERT (ptr == input + 3);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "5e-1";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 0.5);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    /* FIXME - gnulib's version is rather inaccurate.  It would be
+       nice to guarantee an exact result, but for now, we settle for a
+       1-ulp error.  */
+    ASSERT (FABS (result - 0.5) < DBL_EPSILON);
     ASSERT (ptr == input + 4);
     ASSERT (errno == 0);
   }
 
   /* Zero.  */
   {
-    errno = 0;
     const char input[] = "0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = ".0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0e0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 3);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0e+9999999";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 10);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0e-9999999";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 10);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "-0";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
-    ASSERT (signbit (result) == signbit (-0.0));
+    ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* IRIX 6.5, OSF/1 4.0 */
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
 
   /* Suffixes.  */
   {
-    errno = 0;
     const char input[] = "1f";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1.f";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e+";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1e-";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1E 2";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 1.0);
-    ASSERT (ptr == input + 1);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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);
   }
   {
-    errno = 0;
     const char input[] = "0x";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "00x1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 2);
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "-0x";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
-    ASSERT (signbit (result) == signbit (-0.0));
-    ASSERT (ptr == input + 2);
+    ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* 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);
   }
   {
-    errno = 0;
     const char input[] = "0xg";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0xp";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    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;
+    double result;
     errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 0.0);
+    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;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0xp+";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0xp+1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "0x.p+1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 0.0);
     ASSERT (!signbit (result));
-    ASSERT (ptr == input + 1);
+    ASSERT (ptr == input + 1);          /* glibc-2.3.6, Mac OS X 10.3, FreeBSD 6.2, AIX 7.1 */
     ASSERT (errno == 0);
   }
   {
-    errno = 0;
     const char input[] = "1p+1";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);
+    ASSERT (ptr == input + 1);
+    ASSERT (errno == 0);
+  }
+  {
+    const char input[] = "1P+1";
+    char *ptr;
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == 1.0);
     ASSERT (ptr == input + 1);
     ASSERT (errno == 0);
@@ -442,117 +508,148 @@ main ()
 
   /* Overflow/underflow.  */
   {
-    errno = 0;
     const char input[] = "1E1000000";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == HUGE_VAL);
-    ASSERT (ptr == input + 8);
+    ASSERT (ptr == input + 9);          /* OSF/1 5.1 */
     ASSERT (errno == ERANGE);
   }
   {
-    errno = 0;
     const char input[] = "-1E1000000";
     char *ptr;
-    double result = strtod (input, &ptr);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
     ASSERT (result == -HUGE_VAL);
-    ASSERT (ptr == input + 9);
+    ASSERT (ptr == input + 10);
     ASSERT (errno == ERANGE);
   }
   {
-    errno = 0;
     const char input[] = "1E-100000";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (0.0 <= result && result <= FLT_MIN);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (0.0 <= result && result <= DBL_MIN);
     ASSERT (!signbit (result));
     ASSERT (ptr == input + 9);
     ASSERT (errno == ERANGE);
   }
   {
-    errno = 0;
     const char input[] = "-1E-100000";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (-FLT_MIN <= result && result <= 0.0);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (-DBL_MIN <= result && result <= 0.0);
 #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 (-0.0));
+    ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* glibc-2.3.6, mingw */
 #endif
     ASSERT (ptr == input + 10);
     ASSERT (errno == ERANGE);
   }
-
-  /* Infinity.  */
   {
+    const char input[] = "1E 1000000";
+    char *ptr;
+    double result;
     errno = 0;
-    const char input[] = "iNf";
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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;
-    double result = strtod (input, &ptr);
-    ASSERT (result == HUGE_VAL);
-    ASSERT (ptr == input + 3);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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;
+    double result;
     errno = 0;
+    result = strtod (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;
-    double result = strtod (input, &ptr);
-    ASSERT (result == -HUGE_VAL);
-    ASSERT (ptr == input + 4);
-    ASSERT (errno == 0);
+    double result;
+    errno = 0;
+    result = strtod (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 */
   }
   {
-    errno = 0;
     const char input[] = "infinite";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == HUGE_VAL);
-    ASSERT (ptr == input + 3);
-    ASSERT (errno == 0);
+    double result;
+    errno = 0;
+    result = strtod (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 */
   }
   {
-    errno = 0;
     const char input[] = "infinitY";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == HUGE_VAL);
-    ASSERT (ptr == input + 8);
-    ASSERT (errno == 0);
+    double result;
+    errno = 0;
+    result = strtod (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 */
   }
   {
-    errno = 0;
     const char input[] = "infinitY.";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == HUGE_VAL);
-    ASSERT (ptr == input + 8);
-    ASSERT (errno == 0);
+    double result;
+    errno = 0;
+    result = strtod (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.  */
   {
-    errno = 0;
     const char input[] = "-nan";
     char *ptr1;
     char *ptr2;
-    double result1 = strtod (input, &ptr1);
-    double result2 = strtod (input + 1, &ptr2);
-#ifdef NAN
-    ASSERT (isnan (result1));
-    ASSERT (isnan (result2));
+    double result1;
+    double result2;
+    errno = 0;
+    result1 = strtod (input, &ptr1);
+    result2 = strtod (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnand (result1));          /* OpenBSD 4.0, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnand (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));
+    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
 # endif
-    ASSERT (ptr1 == input + 4);
-    ASSERT (ptr2 == input + 4);
-    ASSERT (errno == 0);
+    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.0);
     ASSERT (result2 == 0.0);
@@ -564,18 +661,20 @@ main ()
 #endif
   }
   {
-    errno = 0;
     const char input[] = "+nan(";
     char *ptr1;
     char *ptr2;
-    double result1 = strtod (input, &ptr1);
-    double result2 = strtod (input + 1, &ptr2);
-#ifdef NAN
-    ASSERT (isnan (result1));
-    ASSERT (isnan (result2));
-    ASSERT (signbit (result1) == signbit (result2));
-    ASSERT (ptr1 == input + 4);
-    ASSERT (ptr2 == input + 4);
+    double result1;
+    double result2;
+    errno = 0;
+    result1 = strtod (input, &ptr1);
+    result2 = strtod (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnand (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnand (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.0);
@@ -588,22 +687,24 @@ main ()
 #endif
   }
   {
-    errno = 0;
     const char input[] = "-nan()";
     char *ptr1;
     char *ptr2;
-    double result1 = strtod (input, &ptr1);
-    double result2 = strtod (input + 1, &ptr2);
-#ifdef NAN
-    ASSERT (isnan (result1));
-    ASSERT (isnan (result2));
+    double result1;
+    double result2;
+    errno = 0;
+    result1 = strtod (input, &ptr1);
+    result2 = strtod (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnand (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnand (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));
+    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
 # endif
-    ASSERT (ptr1 == input + 6);
-    ASSERT (ptr2 == input + 6);
+    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.0);
@@ -616,13 +717,14 @@ main ()
 #endif
   }
   {
-    errno = 0;
     const char input[] = " nan().";
     char *ptr;
-    double result = strtod (input, &ptr);
-#ifdef NAN
-    ASSERT (isnan (result));
-    ASSERT (ptr == input + 6);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnand (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.0);
@@ -632,25 +734,27 @@ main ()
 #endif
   }
   {
-    errno = 0;
     /* 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;
-    double result1 = strtod (input, &ptr1);
-    double result2 = strtod (input + 1, &ptr2);
-#ifdef NAN
-    ASSERT (isnan (result1));
-    ASSERT (isnan (result2));
+    double result1;
+    double result2;
+    errno = 0;
+    result1 = strtod (input, &ptr1);
+    result2 = strtod (input + 1, &ptr2);
+#if 1 /* All known CPUs support NaNs.  */
+    ASSERT (isnand (result1));          /* OpenBSD 4.0, HP-UX 11.11, IRIX 6.5, OSF/1 5.1, mingw */
+    ASSERT (isnand (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));
+    ASSERT (!!signbit (result1) != !!signbit (result2)); /* glibc-2.3.6, IRIX 6.5, OSF/1 5.1, mingw */
 # endif
-    ASSERT (ptr1 == input + 7);
-    ASSERT (ptr2 == input + 7);
+    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.0);
@@ -665,94 +769,130 @@ main ()
 
   /* Hex.  */
   {
-    errno = 0;
     const char input[] = "0xa";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 10.0);
-    ASSERT (ptr == input + 3);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 10.0);            /* 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);
   }
   {
-    errno = 0;
     const char input[] = "0XA";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 10.0);
-    ASSERT (ptr == input + 3);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 10.0);            /* 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);
   }
   {
-    errno = 0;
     const char input[] = "0x1p";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 1.0);
-    ASSERT (ptr == input + 3);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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);
   }
   {
-    errno = 0;
     const char input[] = "0x1p+";
     char *ptr;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 1.0);
-    ASSERT (ptr == input + 3);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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;
+    double result;
     errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 2.0);
-    ASSERT (ptr == input + 6);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 2.0);             /* 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;
+    double result;
     errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 2.0);             /* 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;
-    double result = strtod (input, &ptr);
-    ASSERT (result == 2.0);
-    ASSERT (ptr == input + 6);
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 2.0);             /* 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;
+    double result;
+    errno = 0;
+    result = strtod (input, &ptr);
+    ASSERT (result == 1.0);             /* 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.  */
   {
-    errno = 0;
     size_t m = 1000000;
     char *input = malloc (m + 1);
     if (input)
       {
-	char *ptr;
-	double result;
-	memset (input, '\t', m - 1);
-	input[m - 1] = '1';
-	input[m] = '\0';
-	result = strtod (input, &ptr);
-	ASSERT (result == 1.0);
-	ASSERT (ptr == input + m);
-	ASSERT (errno == 0);
+        char *ptr;
+        double result;
+        memset (input, '\t', m - 1);
+        input[m - 1] = '1';
+        input[m] = '\0';
+        errno = 0;
+        result = strtod (input, &ptr);
+        ASSERT (result == 1.0);
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
       }
     free (input);
   }
   {
-    errno = 0;
     size_t m = 1000000;
     char *input = malloc (m + 1);
     if (input)
       {
-	char *ptr;
-	double result;
-	memset (input, '0', m - 1);
-	input[m - 1] = '1';
-	input[m] = '\0';
-	result = strtod (input, &ptr);
-	ASSERT (result == 1.0);
-	ASSERT (ptr == input + m);
-	ASSERT (errno == 0);
+        char *ptr;
+        double result;
+        memset (input, '0', m - 1);
+        input[m - 1] = '1';
+        input[m] = '\0';
+        errno = 0;
+        result = strtod (input, &ptr);
+        ASSERT (result == 1.0);
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
       }
     free (input);
   }
@@ -760,78 +900,78 @@ main ()
   /* Newlib has an artificial limit of 20000 for the exponent.  TODO -
      gnulib should fix this.  */
   {
-    errno = 0;
     size_t m = 1000000;
     char *input = malloc (m + 1);
     if (input)
       {
-	char *ptr;
-	double result;
-	input[0] = '.';
-	memset (input + 1, '0', m - 10);
-	input[m - 9] = '1';
-	input[m - 8] = 'e';
-	input[m - 7] = '+';
-	input[m - 6] = '9';
-	input[m - 5] = '9';
-	input[m - 4] = '9';
-	input[m - 3] = '9';
-	input[m - 2] = '9';
-	input[m - 1] = '1';
-	input[m] = '\0';
-	result = strtod (input, &ptr);
-	ASSERT (result == 1.0);
-	ASSERT (ptr == input + m);
-	ASSERT (errno == 0);
+        char *ptr;
+        double result;
+        input[0] = '.';
+        memset (input + 1, '0', m - 10);
+        input[m - 9] = '1';
+        input[m - 8] = 'e';
+        input[m - 7] = '+';
+        input[m - 6] = '9';
+        input[m - 5] = '9';
+        input[m - 4] = '9';
+        input[m - 3] = '9';
+        input[m - 2] = '9';
+        input[m - 1] = '1';
+        input[m] = '\0';
+        errno = 0;
+        result = strtod (input, &ptr);
+        ASSERT (result == 1.0);         /* 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);
   }
   {
-    errno = 0;
     size_t m = 1000000;
     char *input = malloc (m + 1);
     if (input)
       {
-	char *ptr;
-	double result;
-	input[0] = '1';
-	memset (input + 1, '0', m - 9);
-	input[m - 8] = 'e';
-	input[m - 7] = '-';
-	input[m - 6] = '9';
-	input[m - 5] = '9';
-	input[m - 4] = '9';
-	input[m - 3] = '9';
-	input[m - 2] = '9';
-	input[m - 1] = '1';
-	input[m] = '\0';
-	result = strtod (input, &ptr);
-	ASSERT (result == 1.0);
-	ASSERT (ptr == input + m);
-	ASSERT (errno == 0);
+        char *ptr;
+        double result;
+        input[0] = '1';
+        memset (input + 1, '0', m - 9);
+        input[m - 8] = 'e';
+        input[m - 7] = '-';
+        input[m - 6] = '9';
+        input[m - 5] = '9';
+        input[m - 4] = '9';
+        input[m - 3] = '9';
+        input[m - 2] = '9';
+        input[m - 1] = '1';
+        input[m] = '\0';
+        errno = 0;
+        result = strtod (input, &ptr);
+        ASSERT (result == 1.0);         /* 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
   {
-    errno = 0;
     size_t m = 1000000;
     char *input = malloc (m + 1);
     if (input)
       {
-	char *ptr;
-	double result;
-	input[0] = '-';
-	input[1] = '0';
-	input[2] = 'e';
-	input[3] = '1';
-	memset (input + 4, '0', m - 3);
-	input[m] = '\0';
-	result = strtod (input, &ptr);
-	ASSERT (result == 0.0);
-	ASSERT (signbit (result) == signbit (-0.0));
-	ASSERT (ptr == input + m);
-	ASSERT (errno == 0);
+        char *ptr;
+        double result;
+        input[0] = '-';
+        input[1] = '0';
+        input[2] = 'e';
+        input[3] = '1';
+        memset (input + 4, '0', m - 3);
+        input[m] = '\0';
+        errno = 0;
+        result = strtod (input, &ptr);
+        ASSERT (result == 0.0);
+        ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* IRIX 6.5, OSF/1 4.0 */
+        ASSERT (ptr == input + m);
+        ASSERT (errno == 0);
       }
     free (input);
   }
@@ -839,7 +979,7 @@ main ()
   /* 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
+     not causing underflow, or DBL_MIN - .5 ULP not causing an
      infinite loop?  */
 
   return status;