tests/test-vasprintf-posix.c

   1 /* Test of POSIX compatible vasprintf() and asprintf() functions.
   2    Copyright (C) 2007-2016 Free Software Foundation, Inc.
   3
   4    This program is free software: you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 3 of the License, or
   7    (at your option) any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  16
  17 /* Written by Bruno Haible <bruno@clisp.org>, 2007.  */
  18
  19 #include <config.h>
  20
  21 #include <stdio.h>
  22
  23 #include <float.h>
  24 #include <stdarg.h>
  25 #include <stddef.h>
  26 #include <stdint.h>
  27 #include <stdlib.h>
  28 #include <string.h>
  29
  30 #include "macros.h"
  31 #include "minus-zero.h"
  32 #include "infinity.h"
  33 #include "nan.h"
  34
  35 /* The SGI MIPS floating-point format does not distinguish 0.0 and -0.0.  */
  36 static int
  37 have_minus_zero ()
  38 {
  39   static double plus_zero = 0.0;
  40   double minus_zero = minus_zerod;
  41   return memcmp (&plus_zero, &minus_zero, sizeof (double)) != 0;
  42 }
  43
  44 /* Representation of an 80-bit 'long double' as an initializer for a sequence
  45    of 'unsigned int' words.  */
  46 #ifdef WORDS_BIGENDIAN
  47 # define LDBL80_WORDS(exponent,manthi,mantlo) \
  48     { ((unsigned int) (exponent) << 16) | ((unsigned int) (manthi) >> 16), \
  49       ((unsigned int) (manthi) << 16) | ((unsigned int) (mantlo) >> 16),   \
  50       (unsigned int) (mantlo) << 16                                        \
  51     }
  52 #else
  53 # define LDBL80_WORDS(exponent,manthi,mantlo) \
  54     { mantlo, manthi, exponent }
  55 #endif
  56
  57 static int
  58 strmatch (const char *pattern, const char *string)
  59 {
  60   if (strlen (pattern) != strlen (string))
  61     return 0;
  62   for (; *pattern != '\0'; pattern++, string++)
  63     if (*pattern != '*' && *string != *pattern)
  64       return 0;
  65   return 1;
  66 }
  67
  68 /* Test whether string[start_index..end_index-1] is a valid textual
  69    representation of NaN.  */
  70 static int
  71 strisnan (const char *string, size_t start_index, size_t end_index, int uppercase)
  72 {
  73   if (start_index < end_index)
  74     {
  75       if (string[start_index] == '-')
  76         start_index++;
  77       if (start_index + 3 <= end_index
  78           && memcmp (string + start_index, uppercase ? "NAN" : "nan", 3) == 0)
  79         {
  80           start_index += 3;
  81           if (start_index == end_index
  82               || (string[start_index] == '(' && string[end_index - 1] == ')'))
  83             return 1;
  84         }
  85     }
  86   return 0;
  87 }
  88
  89 static void
  90 test_function (int (*my_asprintf) (char **, const char *, ...))
  91 {
  92   int repeat;
  93
  94   /* Test return value convention.  */
  95
  96   for (repeat = 0; repeat <= 8; repeat++)
  97     {
  98       char *result;
  99       int retval = asprintf (&result, "%d", 12345);
 100       ASSERT (retval == 5);
 101       ASSERT (result != NULL);
 102       ASSERT (strcmp (result, "12345") == 0);
 103       free (result);
 104     }
 105
 106   /* Test support of size specifiers as in C99.  */
 107
 108   {
 109     char *result;
 110     int retval =
 111       my_asprintf (&result, "%ju %d", (uintmax_t) 12345671, 33, 44, 55);
 112     ASSERT (result != NULL);
 113     ASSERT (strcmp (result, "12345671 33") == 0);
 114     ASSERT (retval == strlen (result));
 115     free (result);
 116   }
 117
 118   {
 119     char *result;
 120     int retval =
 121       my_asprintf (&result, "%zu %d", (size_t) 12345672, 33, 44, 55);
 122     ASSERT (result != NULL);
 123     ASSERT (strcmp (result, "12345672 33") == 0);
 124     ASSERT (retval == strlen (result));
 125     free (result);
 126   }
 127
 128   {
 129     char *result;
 130     int retval =
 131       my_asprintf (&result, "%tu %d", (ptrdiff_t) 12345673, 33, 44, 55);
 132     ASSERT (result != NULL);
 133     ASSERT (strcmp (result, "12345673 33") == 0);
 134     ASSERT (retval == strlen (result));
 135     free (result);
 136   }
 137
 138   {
 139     char *result;
 140     int retval =
 141       my_asprintf (&result, "%Lg %d", (long double) 1.5, 33, 44, 55);
 142     ASSERT (result != NULL);
 143     ASSERT (strcmp (result, "1.5 33") == 0);
 144     ASSERT (retval == strlen (result));
 145     free (result);
 146   }
 147
 148   /* Test the support of the 'a' and 'A' conversion specifier for hexadecimal
 149      output of floating-point numbers.  */
 150
 151   { /* A positive number.  */
 152     char *result;
 153     int retval =
 154       my_asprintf (&result, "%a %d", 3.1416015625, 33, 44, 55);
 155     ASSERT (result != NULL);
 156     ASSERT (strcmp (result, "0x1.922p+1 33") == 0
 157             || strcmp (result, "0x3.244p+0 33") == 0
 158             || strcmp (result, "0x6.488p-1 33") == 0
 159             || strcmp (result, "0xc.91p-2 33") == 0);
 160     ASSERT (retval == strlen (result));
 161     free (result);
 162   }
 163
 164   { /* A negative number.  */
 165     char *result;
 166     int retval =
 167       my_asprintf (&result, "%A %d", -3.1416015625, 33, 44, 55);
 168     ASSERT (result != NULL);
 169     ASSERT (strcmp (result, "-0X1.922P+1 33") == 0
 170             || strcmp (result, "-0X3.244P+0 33") == 0
 171             || strcmp (result, "-0X6.488P-1 33") == 0
 172             || strcmp (result, "-0XC.91P-2 33") == 0);
 173     ASSERT (retval == strlen (result));
 174     free (result);
 175   }
 176
 177   { /* Positive zero.  */
 178     char *result;
 179     int retval =
 180       my_asprintf (&result, "%a %d", 0.0, 33, 44, 55);
 181     ASSERT (result != NULL);
 182     ASSERT (strcmp (result, "0x0p+0 33") == 0);
 183     ASSERT (retval == strlen (result));
 184     free (result);
 185   }
 186
 187   { /* Negative zero.  */
 188     char *result;
 189     int retval =
 190       my_asprintf (&result, "%a %d", minus_zerod, 33, 44, 55);
 191     ASSERT (result != NULL);
 192     if (have_minus_zero ())
 193       ASSERT (strcmp (result, "-0x0p+0 33") == 0);
 194     ASSERT (retval == strlen (result));
 195     free (result);
 196   }
 197
 198   { /* Positive infinity.  */
 199     char *result;
 200     int retval =
 201       my_asprintf (&result, "%a %d", Infinityd (), 33, 44, 55);
 202     ASSERT (result != NULL);
 203     ASSERT (strcmp (result, "inf 33") == 0);
 204     ASSERT (retval == strlen (result));
 205     free (result);
 206   }
 207
 208   { /* Negative infinity.  */
 209     char *result;
 210     int retval =
 211       my_asprintf (&result, "%a %d", - Infinityd (), 33, 44, 55);
 212     ASSERT (result != NULL);
 213     ASSERT (strcmp (result, "-inf 33") == 0);
 214     ASSERT (retval == strlen (result));
 215     free (result);
 216   }
 217
 218   { /* NaN.  */
 219     char *result;
 220     int retval =
 221       my_asprintf (&result, "%a %d", NaNd (), 33, 44, 55);
 222     ASSERT (result != NULL);
 223     ASSERT (strlen (result) >= 3 + 3
 224             && strisnan (result, 0, strlen (result) - 3, 0)
 225             && strcmp (result + strlen (result) - 3, " 33") == 0);
 226     ASSERT (retval == strlen (result));
 227     free (result);
 228   }
 229
 230   { /* Rounding near the decimal point.  */
 231     char *result;
 232     int retval =
 233       my_asprintf (&result, "%.0a %d", 1.5, 33, 44, 55);
 234     ASSERT (result != NULL);
 235     ASSERT (strcmp (result, "0x1p+0 33") == 0
 236             || strcmp (result, "0x2p+0 33") == 0
 237             || strcmp (result, "0x3p-1 33") == 0
 238             || strcmp (result, "0x6p-2 33") == 0
 239             || strcmp (result, "0xcp-3 33") == 0);
 240     ASSERT (retval == strlen (result));
 241     free (result);
 242   }
 243
 244   { /* Rounding with precision 0.  */
 245     char *result;
 246     int retval =
 247       my_asprintf (&result, "%.0a %d", 1.51, 33, 44, 55);
 248     ASSERT (result != NULL);
 249     ASSERT (strcmp (result, "0x1p+0 33") == 0
 250             || strcmp (result, "0x2p+0 33") == 0
 251             || strcmp (result, "0x3p-1 33") == 0
 252             || strcmp (result, "0x6p-2 33") == 0
 253             || strcmp (result, "0xcp-3 33") == 0);
 254     ASSERT (retval == strlen (result));
 255     free (result);
 256   }
 257
 258   { /* Rounding with precision 1.  */
 259     char *result;
 260     int retval =
 261       my_asprintf (&result, "%.1a %d", 1.51, 33, 44, 55);
 262     ASSERT (result != NULL);
 263     ASSERT (strcmp (result, "0x1.8p+0 33") == 0
 264             || strcmp (result, "0x3.0p-1 33") == 0
 265             || strcmp (result, "0x6.1p-2 33") == 0
 266             || strcmp (result, "0xc.1p-3 33") == 0);
 267     ASSERT (retval == strlen (result));
 268     free (result);
 269   }
 270
 271   { /* Rounding with precision 2.  */
 272     char *result;
 273     int retval =
 274       my_asprintf (&result, "%.2a %d", 1.51, 33, 44, 55);
 275     ASSERT (result != NULL);
 276     ASSERT (strcmp (result, "0x1.83p+0 33") == 0
 277             || strcmp (result, "0x3.05p-1 33") == 0
 278             || strcmp (result, "0x6.0ap-2 33") == 0
 279             || strcmp (result, "0xc.14p-3 33") == 0);
 280     ASSERT (retval == strlen (result));
 281     free (result);
 282   }
 283
 284   { /* Rounding with precision 3.  */
 285     char *result;
 286     int retval =
 287       my_asprintf (&result, "%.3a %d", 1.51, 33, 44, 55);
 288     ASSERT (result != NULL);
 289     ASSERT (strcmp (result, "0x1.829p+0 33") == 0
 290             || strcmp (result, "0x3.052p-1 33") == 0
 291             || strcmp (result, "0x6.0a4p-2 33") == 0
 292             || strcmp (result, "0xc.148p-3 33") == 0);
 293     ASSERT (retval == strlen (result));
 294     free (result);
 295   }
 296
 297   { /* Rounding can turn a ...FFF into a ...000.  */
 298     char *result;
 299     int retval =
 300       my_asprintf (&result, "%.3a %d", 1.49999, 33, 44, 55);
 301     ASSERT (result != NULL);
 302     ASSERT (strcmp (result, "0x1.800p+0 33") == 0
 303             || strcmp (result, "0x3.000p-1 33") == 0
 304             || strcmp (result, "0x6.000p-2 33") == 0
 305             || strcmp (result, "0xc.000p-3 33") == 0);
 306     ASSERT (retval == strlen (result));
 307     free (result);
 308   }
 309
 310   { /* Rounding can turn a ...FFF into a ...000.
 311        This shows a Mac OS X 10.3.9 (Darwin 7.9) bug.  */
 312     char *result;
 313     int retval =
 314       my_asprintf (&result, "%.1a %d", 1.999, 33, 44, 55);
 315     ASSERT (result != NULL);
 316     ASSERT (strcmp (result, "0x1.0p+1 33") == 0
 317             || strcmp (result, "0x2.0p+0 33") == 0
 318             || strcmp (result, "0x4.0p-1 33") == 0
 319             || strcmp (result, "0x8.0p-2 33") == 0);
 320     ASSERT (retval == strlen (result));
 321     free (result);
 322   }
 323
 324   { /* Width.  */
 325     char *result;
 326     int retval =
 327       my_asprintf (&result, "%10a %d", 1.75, 33, 44, 55);
 328     ASSERT (result != NULL);
 329     ASSERT (strcmp (result, "  0x1.cp+0 33") == 0
 330             || strcmp (result, "  0x3.8p-1 33") == 0
 331             || strcmp (result, "    0x7p-2 33") == 0
 332             || strcmp (result, "    0xep-3 33") == 0);
 333     ASSERT (retval == strlen (result));
 334     free (result);
 335   }
 336
 337   { /* Small precision.  */
 338     char *result;
 339     int retval =
 340       my_asprintf (&result, "%.10a %d", 1.75, 33, 44, 55);
 341     ASSERT (result != NULL);
 342     ASSERT (strcmp (result, "0x1.c000000000p+0 33") == 0
 343             || strcmp (result, "0x3.8000000000p-1 33") == 0
 344             || strcmp (result, "0x7.0000000000p-2 33") == 0
 345             || strcmp (result, "0xe.0000000000p-3 33") == 0);
 346     ASSERT (retval == strlen (result));
 347     free (result);
 348   }
 349
 350   { /* Large precision.  */
 351     char *result;
 352     int retval =
 353       my_asprintf (&result, "%.50a %d", 1.75, 33, 44, 55);
 354     ASSERT (result != NULL);
 355     ASSERT (strcmp (result, "0x1.c0000000000000000000000000000000000000000000000000p+0 33") == 0
 356             || strcmp (result, "0x3.80000000000000000000000000000000000000000000000000p-1 33") == 0
 357             || strcmp (result, "0x7.00000000000000000000000000000000000000000000000000p-2 33") == 0
 358             || strcmp (result, "0xe.00000000000000000000000000000000000000000000000000p-3 33") == 0);
 359     ASSERT (retval == strlen (result));
 360     free (result);
 361   }
 362
 363   { /* FLAG_LEFT.  */
 364     char *result;
 365     int retval =
 366       my_asprintf (&result, "%-10a %d", 1.75, 33, 44, 55);
 367     ASSERT (result != NULL);
 368     ASSERT (strcmp (result, "0x1.cp+0   33") == 0
 369             || strcmp (result, "0x3.8p-1   33") == 0
 370             || strcmp (result, "0x7p-2     33") == 0
 371             || strcmp (result, "0xep-3     33") == 0);
 372     ASSERT (retval == strlen (result));
 373     free (result);
 374   }
 375
 376   { /* FLAG_SHOWSIGN.  */
 377     char *result;
 378     int retval =
 379       my_asprintf (&result, "%+a %d", 1.75, 33, 44, 55);
 380     ASSERT (result != NULL);
 381     ASSERT (strcmp (result, "+0x1.cp+0 33") == 0
 382             || strcmp (result, "+0x3.8p-1 33") == 0
 383             || strcmp (result, "+0x7p-2 33") == 0
 384             || strcmp (result, "+0xep-3 33") == 0);
 385     ASSERT (retval == strlen (result));
 386     free (result);
 387   }
 388
 389   { /* FLAG_SPACE.  */
 390     char *result;
 391     int retval =
 392       my_asprintf (&result, "% a %d", 1.75, 33, 44, 55);
 393     ASSERT (result != NULL);
 394     ASSERT (strcmp (result, " 0x1.cp+0 33") == 0
 395             || strcmp (result, " 0x3.8p-1 33") == 0
 396             || strcmp (result, " 0x7p-2 33") == 0
 397             || strcmp (result, " 0xep-3 33") == 0);
 398     ASSERT (retval == strlen (result));
 399     free (result);
 400   }
 401
 402   { /* FLAG_ALT.  */
 403     char *result;
 404     int retval =
 405       my_asprintf (&result, "%#a %d", 1.75, 33, 44, 55);
 406     ASSERT (result != NULL);
 407     ASSERT (strcmp (result, "0x1.cp+0 33") == 0
 408             || strcmp (result, "0x3.8p-1 33") == 0
 409             || strcmp (result, "0x7.p-2 33") == 0
 410             || strcmp (result, "0xe.p-3 33") == 0);
 411     ASSERT (retval == strlen (result));
 412     free (result);
 413   }
 414
 415   { /* FLAG_ALT.  */
 416     char *result;
 417     int retval =
 418       my_asprintf (&result, "%#a %d", 1.0, 33, 44, 55);
 419     ASSERT (result != NULL);
 420     ASSERT (strcmp (result, "0x1.p+0 33") == 0
 421             || strcmp (result, "0x2.p-1 33") == 0
 422             || strcmp (result, "0x4.p-2 33") == 0
 423             || strcmp (result, "0x8.p-3 33") == 0);
 424     ASSERT (retval == strlen (result));
 425     free (result);
 426   }
 427
 428   { /* FLAG_ZERO with finite number.  */
 429     char *result;
 430     int retval =
 431       my_asprintf (&result, "%010a %d", 1.75, 33, 44, 55);
 432     ASSERT (result != NULL);
 433     ASSERT (strcmp (result, "0x001.cp+0 33") == 0
 434             || strcmp (result, "0x003.8p-1 33") == 0
 435             || strcmp (result, "0x00007p-2 33") == 0
 436             || strcmp (result, "0x0000ep-3 33") == 0);
 437     ASSERT (retval == strlen (result));
 438     free (result);
 439   }
 440
 441   { /* FLAG_ZERO with infinite number.  */
 442     char *result;
 443     int retval =
 444       my_asprintf (&result, "%010a %d", Infinityd (), 33, 44, 55);
 445     ASSERT (result != NULL);
 446     /* "0000000inf 33" is not a valid result; see
 447        <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
 448     ASSERT (strcmp (result, "       inf 33") == 0);
 449     ASSERT (retval == strlen (result));
 450     free (result);
 451   }
 452
 453   { /* FLAG_ZERO with NaN.  */
 454     char *result;
 455     int retval =
 456       my_asprintf (&result, "%050a %d", NaNd (), 33, 44, 55);
 457     ASSERT (result != NULL);
 458     /* "0000000nan 33" is not a valid result; see
 459        <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
 460     ASSERT (strlen (result) == 50 + 3
 461             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
 462             && strcmp (result + strlen (result) - 3, " 33") == 0);
 463     ASSERT (retval == strlen (result));
 464     free (result);
 465   }
 466
 467   { /* A positive number.  */
 468     char *result;
 469     int retval =
 470       my_asprintf (&result, "%La %d", 3.1416015625L, 33, 44, 55);
 471     ASSERT (result != NULL);
 472     ASSERT (strcmp (result, "0x1.922p+1 33") == 0
 473             || strcmp (result, "0x3.244p+0 33") == 0
 474             || strcmp (result, "0x6.488p-1 33") == 0
 475             || strcmp (result, "0xc.91p-2 33") == 0);
 476     ASSERT (retval == strlen (result));
 477     free (result);
 478   }
 479
 480   { /* A negative number.  */
 481     char *result;
 482     int retval =
 483       my_asprintf (&result, "%LA %d", -3.1416015625L, 33, 44, 55);
 484     ASSERT (result != NULL);
 485     ASSERT (strcmp (result, "-0X1.922P+1 33") == 0
 486             || strcmp (result, "-0X3.244P+0 33") == 0
 487             || strcmp (result, "-0X6.488P-1 33") == 0
 488             || strcmp (result, "-0XC.91P-2 33") == 0);
 489     ASSERT (retval == strlen (result));
 490     free (result);
 491   }
 492
 493   { /* Positive zero.  */
 494     char *result;
 495     int retval =
 496       my_asprintf (&result, "%La %d", 0.0L, 33, 44, 55);
 497     ASSERT (result != NULL);
 498     ASSERT (strcmp (result, "0x0p+0 33") == 0);
 499     ASSERT (retval == strlen (result));
 500     free (result);
 501   }
 502
 503   { /* Negative zero.  */
 504     char *result;
 505     int retval =
 506       my_asprintf (&result, "%La %d", minus_zerol, 33, 44, 55);
 507     ASSERT (result != NULL);
 508     if (have_minus_zero ())
 509       ASSERT (strcmp (result, "-0x0p+0 33") == 0);
 510     ASSERT (retval == strlen (result));
 511     free (result);
 512   }
 513
 514   { /* Positive infinity.  */
 515     char *result;
 516     int retval =
 517       my_asprintf (&result, "%La %d", Infinityl (), 33, 44, 55);
 518     ASSERT (result != NULL);
 519     ASSERT (strcmp (result, "inf 33") == 0);
 520     ASSERT (retval == strlen (result));
 521     free (result);
 522   }
 523
 524   { /* Negative infinity.  */
 525     char *result;
 526     int retval =
 527       my_asprintf (&result, "%La %d", - Infinityl (), 33, 44, 55);
 528     ASSERT (result != NULL);
 529     ASSERT (strcmp (result, "-inf 33") == 0);
 530     ASSERT (retval == strlen (result));
 531     free (result);
 532   }
 533
 534   { /* NaN.  */
 535     char *result;
 536     int retval =
 537       my_asprintf (&result, "%La %d", NaNl (), 33, 44, 55);
 538     ASSERT (result != NULL);
 539     ASSERT (strlen (result) >= 3 + 3
 540             && strisnan (result, 0, strlen (result) - 3, 0)
 541             && strcmp (result + strlen (result) - 3, " 33") == 0);
 542     ASSERT (retval == strlen (result));
 543     free (result);
 544   }
 545 #if CHECK_PRINTF_SAFE && ((defined __ia64 && LDBL_MANT_DIG == 64) || (defined __x86_64__ || defined __amd64__) || (defined __i386 || defined __i386__ || defined _I386 || defined _M_IX86 || defined _X86_)) && !HAVE_SAME_LONG_DOUBLE_AS_DOUBLE
 546   { /* Quiet NaN.  */
 547     static union { unsigned int word[4]; long double value; } x =
 548       { LDBL80_WORDS (0xFFFF, 0xC3333333, 0x00000000) };
 549     char *result;
 550     int retval =
 551       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 552     ASSERT (result != NULL);
 553     ASSERT (strlen (result) >= 3 + 3
 554             && strisnan (result, 0, strlen (result) - 3, 0)
 555             && strcmp (result + strlen (result) - 3, " 33") == 0);
 556     ASSERT (retval == strlen (result));
 557     free (result);
 558   }
 559   {
 560     /* Signalling NaN.  */
 561     static union { unsigned int word[4]; long double value; } x =
 562       { LDBL80_WORDS (0xFFFF, 0x83333333, 0x00000000) };
 563     char *result;
 564     int retval =
 565       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 566     ASSERT (result != NULL);
 567     ASSERT (strlen (result) >= 3 + 3
 568             && strisnan (result, 0, strlen (result) - 3, 0)
 569             && strcmp (result + strlen (result) - 3, " 33") == 0);
 570     ASSERT (retval == strlen (result));
 571     free (result);
 572   }
 573   /* asprintf should print something for noncanonical values.  */
 574   { /* Pseudo-NaN.  */
 575     static union { unsigned int word[4]; long double value; } x =
 576       { LDBL80_WORDS (0xFFFF, 0x40000001, 0x00000000) };
 577     char *result;
 578     int retval =
 579       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 580     ASSERT (result != NULL);
 581     ASSERT (retval == strlen (result));
 582     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
 583     free (result);
 584   }
 585   { /* Pseudo-Infinity.  */
 586     static union { unsigned int word[4]; long double value; } x =
 587       { LDBL80_WORDS (0xFFFF, 0x00000000, 0x00000000) };
 588     char *result;
 589     int retval =
 590       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 591     ASSERT (result != NULL);
 592     ASSERT (retval == strlen (result));
 593     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
 594     free (result);
 595   }
 596   { /* Pseudo-Zero.  */
 597     static union { unsigned int word[4]; long double value; } x =
 598       { LDBL80_WORDS (0x4004, 0x00000000, 0x00000000) };
 599     char *result;
 600     int retval =
 601       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 602     ASSERT (result != NULL);
 603     ASSERT (retval == strlen (result));
 604     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
 605     free (result);
 606   }
 607   { /* Unnormalized number.  */
 608     static union { unsigned int word[4]; long double value; } x =
 609       { LDBL80_WORDS (0x4000, 0x63333333, 0x00000000) };
 610     char *result;
 611     int retval =
 612       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 613     ASSERT (result != NULL);
 614     ASSERT (retval == strlen (result));
 615     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
 616     free (result);
 617   }
 618   { /* Pseudo-Denormal.  */
 619     static union { unsigned int word[4]; long double value; } x =
 620       { LDBL80_WORDS (0x0000, 0x83333333, 0x00000000) };
 621     char *result;
 622     int retval =
 623       my_asprintf (&result, "%La %d", x.value, 33, 44, 55);
 624     ASSERT (result != NULL);
 625     ASSERT (retval == strlen (result));
 626     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
 627     free (result);
 628   }
 629 #endif
 630
 631   { /* Rounding near the decimal point.  */
 632     char *result;
 633     int retval =
 634       my_asprintf (&result, "%.0La %d", 1.5L, 33, 44, 55);
 635     ASSERT (result != NULL);
 636     ASSERT (strcmp (result, "0x2p+0 33") == 0
 637             || strcmp (result, "0x3p-1 33") == 0
 638             || strcmp (result, "0x6p-2 33") == 0
 639             || strcmp (result, "0xcp-3 33") == 0);
 640     ASSERT (retval == strlen (result));
 641     free (result);
 642   }
 643
 644   { /* Rounding with precision 0.  */
 645     char *result;
 646     int retval =
 647       my_asprintf (&result, "%.0La %d", 1.51L, 33, 44, 55);
 648     ASSERT (result != NULL);
 649     ASSERT (strcmp (result, "0x2p+0 33") == 0
 650             || strcmp (result, "0x3p-1 33") == 0
 651             || strcmp (result, "0x6p-2 33") == 0
 652             || strcmp (result, "0xcp-3 33") == 0);
 653     ASSERT (retval == strlen (result));
 654     free (result);
 655   }
 656
 657   { /* Rounding with precision 1.  */
 658     char *result;
 659     int retval =
 660       my_asprintf (&result, "%.1La %d", 1.51L, 33, 44, 55);
 661     ASSERT (result != NULL);
 662     ASSERT (strcmp (result, "0x1.8p+0 33") == 0
 663             || strcmp (result, "0x3.0p-1 33") == 0
 664             || strcmp (result, "0x6.1p-2 33") == 0
 665             || strcmp (result, "0xc.1p-3 33") == 0);
 666     ASSERT (retval == strlen (result));
 667     free (result);
 668   }
 669
 670   { /* Rounding with precision 2.  */
 671     char *result;
 672     int retval =
 673       my_asprintf (&result, "%.2La %d", 1.51L, 33, 44, 55);
 674     ASSERT (result != NULL);
 675     ASSERT (strcmp (result, "0x1.83p+0 33") == 0
 676             || strcmp (result, "0x3.05p-1 33") == 0
 677             || strcmp (result, "0x6.0ap-2 33") == 0
 678             || strcmp (result, "0xc.14p-3 33") == 0);
 679     ASSERT (retval == strlen (result));
 680     free (result);
 681   }
 682
 683   { /* Rounding with precision 3.  */
 684     char *result;
 685     int retval =
 686       my_asprintf (&result, "%.3La %d", 1.51L, 33, 44, 55);
 687     ASSERT (result != NULL);
 688     ASSERT (strcmp (result, "0x1.829p+0 33") == 0
 689             || strcmp (result, "0x3.052p-1 33") == 0
 690             || strcmp (result, "0x6.0a4p-2 33") == 0
 691             || strcmp (result, "0xc.148p-3 33") == 0);
 692     ASSERT (retval == strlen (result));
 693     free (result);
 694   }
 695
 696   { /* Rounding can turn a ...FFF into a ...000.  */
 697     char *result;
 698     int retval =
 699       my_asprintf (&result, "%.3La %d", 1.49999L, 33, 44, 55);
 700     ASSERT (result != NULL);
 701     ASSERT (strcmp (result, "0x1.800p+0 33") == 0
 702             || strcmp (result, "0x3.000p-1 33") == 0
 703             || strcmp (result, "0x6.000p-2 33") == 0
 704             || strcmp (result, "0xc.000p-3 33") == 0);
 705     ASSERT (retval == strlen (result));
 706     free (result);
 707   }
 708
 709   { /* Rounding can turn a ...FFF into a ...000.
 710        This shows a Mac OS X 10.3.9 (Darwin 7.9) bug and a
 711        glibc 2.4 bug <http://sourceware.org/bugzilla/show_bug.cgi?id=2908>.  */
 712     char *result;
 713     int retval =
 714       my_asprintf (&result, "%.1La %d", 1.999L, 33, 44, 55);
 715     ASSERT (result != NULL);
 716     ASSERT (strcmp (result, "0x1.0p+1 33") == 0
 717             || strcmp (result, "0x2.0p+0 33") == 0
 718             || strcmp (result, "0x4.0p-1 33") == 0
 719             || strcmp (result, "0x8.0p-2 33") == 0);
 720     ASSERT (retval == strlen (result));
 721     free (result);
 722   }
 723
 724   { /* Width.  */
 725     char *result;
 726     int retval =
 727       my_asprintf (&result, "%10La %d", 1.75L, 33, 44, 55);
 728     ASSERT (result != NULL);
 729     ASSERT (strcmp (result, "  0x1.cp+0 33") == 0
 730             || strcmp (result, "  0x3.8p-1 33") == 0
 731             || strcmp (result, "    0x7p-2 33") == 0
 732             || strcmp (result, "    0xep-3 33") == 0);
 733     ASSERT (retval == strlen (result));
 734     free (result);
 735   }
 736
 737   { /* Small precision.  */
 738     char *result;
 739     int retval =
 740       my_asprintf (&result, "%.10La %d", 1.75L, 33, 44, 55);
 741     ASSERT (result != NULL);
 742     ASSERT (strcmp (result, "0x1.c000000000p+0 33") == 0
 743             || strcmp (result, "0x3.8000000000p-1 33") == 0
 744             || strcmp (result, "0x7.0000000000p-2 33") == 0
 745             || strcmp (result, "0xe.0000000000p-3 33") == 0);
 746     ASSERT (retval == strlen (result));
 747     free (result);
 748   }
 749
 750   { /* Large precision.  */
 751     char *result;
 752     int retval =
 753       my_asprintf (&result, "%.50La %d", 1.75L, 33, 44, 55);
 754     ASSERT (result != NULL);
 755     ASSERT (strcmp (result, "0x1.c0000000000000000000000000000000000000000000000000p+0 33") == 0
 756             || strcmp (result, "0x3.80000000000000000000000000000000000000000000000000p-1 33") == 0
 757             || strcmp (result, "0x7.00000000000000000000000000000000000000000000000000p-2 33") == 0
 758             || strcmp (result, "0xe.00000000000000000000000000000000000000000000000000p-3 33") == 0);
 759     ASSERT (retval == strlen (result));
 760     free (result);
 761   }
 762
 763   { /* FLAG_LEFT.  */
 764     char *result;
 765     int retval =
 766       my_asprintf (&result, "%-10La %d", 1.75L, 33, 44, 55);
 767     ASSERT (result != NULL);
 768     ASSERT (strcmp (result, "0x1.cp+0   33") == 0
 769             || strcmp (result, "0x3.8p-1   33") == 0
 770             || strcmp (result, "0x7p-2     33") == 0
 771             || strcmp (result, "0xep-3     33") == 0);
 772     ASSERT (retval == strlen (result));
 773     free (result);
 774   }
 775
 776   { /* FLAG_SHOWSIGN.  */
 777     char *result;
 778     int retval =
 779       my_asprintf (&result, "%+La %d", 1.75L, 33, 44, 55);
 780     ASSERT (result != NULL);
 781     ASSERT (strcmp (result, "+0x1.cp+0 33") == 0
 782             || strcmp (result, "+0x3.8p-1 33") == 0
 783             || strcmp (result, "+0x7p-2 33") == 0
 784             || strcmp (result, "+0xep-3 33") == 0);
 785     ASSERT (retval == strlen (result));
 786     free (result);
 787   }
 788
 789   { /* FLAG_SPACE.  */
 790     char *result;
 791     int retval =
 792       my_asprintf (&result, "% La %d", 1.75L, 33, 44, 55);
 793     ASSERT (result != NULL);
 794     ASSERT (strcmp (result, " 0x1.cp+0 33") == 0
 795             || strcmp (result, " 0x3.8p-1 33") == 0
 796             || strcmp (result, " 0x7p-2 33") == 0
 797             || strcmp (result, " 0xep-3 33") == 0);
 798     ASSERT (retval == strlen (result));
 799     free (result);
 800   }
 801
 802   { /* FLAG_ALT.  */
 803     char *result;
 804     int retval =
 805       my_asprintf (&result, "%#La %d", 1.75L, 33, 44, 55);
 806     ASSERT (result != NULL);
 807     ASSERT (strcmp (result, "0x1.cp+0 33") == 0
 808             || strcmp (result, "0x3.8p-1 33") == 0
 809             || strcmp (result, "0x7.p-2 33") == 0
 810             || strcmp (result, "0xe.p-3 33") == 0);
 811     ASSERT (retval == strlen (result));
 812     free (result);
 813   }
 814
 815   { /* FLAG_ALT.  */
 816     char *result;
 817     int retval =
 818       my_asprintf (&result, "%#La %d", 1.0L, 33, 44, 55);
 819     ASSERT (result != NULL);
 820     ASSERT (strcmp (result, "0x1.p+0 33") == 0
 821             || strcmp (result, "0x2.p-1 33") == 0
 822             || strcmp (result, "0x4.p-2 33") == 0
 823             || strcmp (result, "0x8.p-3 33") == 0);
 824     ASSERT (retval == strlen (result));
 825     free (result);
 826   }
 827
 828   { /* FLAG_ZERO with finite number.  */
 829     char *result;
 830     int retval =
 831       my_asprintf (&result, "%010La %d", 1.75L, 33, 44, 55);
 832     ASSERT (result != NULL);
 833     ASSERT (strcmp (result, "0x001.cp+0 33") == 0
 834             || strcmp (result, "0x003.8p-1 33") == 0
 835             || strcmp (result, "0x00007p-2 33") == 0
 836             || strcmp (result, "0x0000ep-3 33") == 0);
 837     ASSERT (retval == strlen (result));
 838     free (result);
 839   }
 840
 841   { /* FLAG_ZERO with infinite number.  */
 842     char *result;
 843     int retval =
 844       my_asprintf (&result, "%010La %d", Infinityl (), 33, 44, 55);
 845     ASSERT (result != NULL);
 846     /* "0000000inf 33" is not a valid result; see
 847        <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
 848     ASSERT (strcmp (result, "       inf 33") == 0);
 849     ASSERT (retval == strlen (result));
 850     free (result);
 851   }
 852
 853   { /* FLAG_ZERO with NaN.  */
 854     char *result;
 855     int retval =
 856       my_asprintf (&result, "%050La %d", NaNl (), 33, 44, 55);
 857     ASSERT (result != NULL);
 858     /* "0000000nan 33" is not a valid result; see
 859        <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
 860     ASSERT (strlen (result) == 50 + 3
 861             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
 862             && strcmp (result + strlen (result) - 3, " 33") == 0);
 863     ASSERT (retval == strlen (result));
 864     free (result);
 865   }
 866
 867   /* Test the support of the %f format directive.  */
 868
 869   { /* A positive number.  */
 870     char *result;
 871     int retval =
 872       my_asprintf (&result, "%f %d", 12.75, 33, 44, 55);
 873     ASSERT (result != NULL);
 874     ASSERT (strcmp (result, "12.750000 33") == 0);
 875     ASSERT (retval == strlen (result));
 876     free (result);
 877   }
 878
 879   { /* A larger positive number.  */
 880     char *result;
 881     int retval =
 882       my_asprintf (&result, "%f %d", 1234567.0, 33, 44, 55);
 883     ASSERT (result != NULL);
 884     ASSERT (strcmp (result, "1234567.000000 33") == 0);
 885     ASSERT (retval == strlen (result));
 886     free (result);
 887   }
 888
 889   { /* Small and large positive numbers.  */
 890     static struct { double value; const char *string; } data[] =
 891       {
 892         { 1.234321234321234e-37, "0.000000" },
 893         { 1.234321234321234e-36, "0.000000" },
 894         { 1.234321234321234e-35, "0.000000" },
 895         { 1.234321234321234e-34, "0.000000" },
 896         { 1.234321234321234e-33, "0.000000" },
 897         { 1.234321234321234e-32, "0.000000" },
 898         { 1.234321234321234e-31, "0.000000" },
 899         { 1.234321234321234e-30, "0.000000" },
 900         { 1.234321234321234e-29, "0.000000" },
 901         { 1.234321234321234e-28, "0.000000" },
 902         { 1.234321234321234e-27, "0.000000" },
 903         { 1.234321234321234e-26, "0.000000" },
 904         { 1.234321234321234e-25, "0.000000" },
 905         { 1.234321234321234e-24, "0.000000" },
 906         { 1.234321234321234e-23, "0.000000" },
 907         { 1.234321234321234e-22, "0.000000" },
 908         { 1.234321234321234e-21, "0.000000" },
 909         { 1.234321234321234e-20, "0.000000" },
 910         { 1.234321234321234e-19, "0.000000" },
 911         { 1.234321234321234e-18, "0.000000" },
 912         { 1.234321234321234e-17, "0.000000" },
 913         { 1.234321234321234e-16, "0.000000" },
 914         { 1.234321234321234e-15, "0.000000" },
 915         { 1.234321234321234e-14, "0.000000" },
 916         { 1.234321234321234e-13, "0.000000" },
 917         { 1.234321234321234e-12, "0.000000" },
 918         { 1.234321234321234e-11, "0.000000" },
 919         { 1.234321234321234e-10, "0.000000" },
 920         { 1.234321234321234e-9, "0.000000" },
 921         { 1.234321234321234e-8, "0.000000" },
 922         { 1.234321234321234e-7, "0.000000" },
 923         { 1.234321234321234e-6, "0.000001" },
 924         { 1.234321234321234e-5, "0.000012" },
 925         { 1.234321234321234e-4, "0.000123" },
 926         { 1.234321234321234e-3, "0.001234" },
 927         { 1.234321234321234e-2, "0.012343" },
 928         { 1.234321234321234e-1, "0.123432" },
 929         { 1.234321234321234, "1.234321" },
 930         { 1.234321234321234e1, "12.343212" },
 931         { 1.234321234321234e2, "123.432123" },
 932         { 1.234321234321234e3, "1234.321234" },
 933         { 1.234321234321234e4, "12343.212343" },
 934         { 1.234321234321234e5, "123432.123432" },
 935         { 1.234321234321234e6, "1234321.234321" },
 936         { 1.234321234321234e7, "12343212.343212" },
 937         { 1.234321234321234e8, "123432123.432123" },
 938         { 1.234321234321234e9, "1234321234.321234" },
 939         { 1.234321234321234e10, "12343212343.2123**" },
 940         { 1.234321234321234e11, "123432123432.123***" },
 941         { 1.234321234321234e12, "1234321234321.23****" },
 942         { 1.234321234321234e13, "12343212343212.3*****" },
 943         { 1.234321234321234e14, "123432123432123.******" },
 944         { 1.234321234321234e15, "1234321234321234.000000" },
 945         { 1.234321234321234e16, "123432123432123**.000000" },
 946         { 1.234321234321234e17, "123432123432123***.000000" },
 947         { 1.234321234321234e18, "123432123432123****.000000" },
 948         { 1.234321234321234e19, "123432123432123*****.000000" },
 949         { 1.234321234321234e20, "123432123432123******.000000" },
 950         { 1.234321234321234e21, "123432123432123*******.000000" },
 951         { 1.234321234321234e22, "123432123432123********.000000" },
 952         { 1.234321234321234e23, "123432123432123*********.000000" },
 953         { 1.234321234321234e24, "123432123432123**********.000000" },
 954         { 1.234321234321234e25, "123432123432123***********.000000" },
 955         { 1.234321234321234e26, "123432123432123************.000000" },
 956         { 1.234321234321234e27, "123432123432123*************.000000" },
 957         { 1.234321234321234e28, "123432123432123**************.000000" },
 958         { 1.234321234321234e29, "123432123432123***************.000000" },
 959         { 1.234321234321234e30, "123432123432123****************.000000" },
 960         { 1.234321234321234e31, "123432123432123*****************.000000" },
 961         { 1.234321234321234e32, "123432123432123******************.000000" },
 962         { 1.234321234321234e33, "123432123432123*******************.000000" },
 963         { 1.234321234321234e34, "123432123432123********************.000000" },
 964         { 1.234321234321234e35, "123432123432123*********************.000000" },
 965         { 1.234321234321234e36, "123432123432123**********************.000000" }
 966       };
 967     size_t k;
 968     for (k = 0; k < SIZEOF (data); k++)
 969       {
 970         char *result;
 971         int retval =
 972           my_asprintf (&result, "%f", data[k].value);
 973         ASSERT (result != NULL);
 974         ASSERT (strmatch (data[k].string, result));
 975         ASSERT (retval == strlen (result));
 976         free (result);
 977       }
 978   }
 979
 980   { /* A negative number.  */
 981     char *result;
 982     int retval =
 983       my_asprintf (&result, "%f %d", -0.03125, 33, 44, 55);
 984     ASSERT (result != NULL);
 985     ASSERT (strcmp (result, "-0.031250 33") == 0);
 986     ASSERT (retval == strlen (result));
 987     free (result);
 988   }
 989
 990   { /* Positive zero.  */
 991     char *result;
 992     int retval =
 993       my_asprintf (&result, "%f %d", 0.0, 33, 44, 55);
 994     ASSERT (result != NULL);
 995     ASSERT (strcmp (result, "0.000000 33") == 0);
 996     ASSERT (retval == strlen (result));
 997     free (result);
 998   }
 999
1000   { /* Negative zero.  */
1001     char *result;
1002     int retval =
1003       my_asprintf (&result, "%f %d", minus_zerod, 33, 44, 55);
1004     ASSERT (result != NULL);
1005     if (have_minus_zero ())
1006       ASSERT (strcmp (result, "-0.000000 33") == 0);
1007     ASSERT (retval == strlen (result));
1008     free (result);
1009   }
1010
1011   { /* Positive infinity.  */
1012     char *result;
1013     int retval =
1014       my_asprintf (&result, "%f %d", Infinityd (), 33, 44, 55);
1015     ASSERT (result != NULL);
1016     ASSERT (strcmp (result, "inf 33") == 0
1017             || strcmp (result, "infinity 33") == 0);
1018     ASSERT (retval == strlen (result));
1019     free (result);
1020   }
1021
1022   { /* Negative infinity.  */
1023     char *result;
1024     int retval =
1025       my_asprintf (&result, "%f %d", - Infinityd (), 33, 44, 55);
1026     ASSERT (result != NULL);
1027     ASSERT (strcmp (result, "-inf 33") == 0
1028             || strcmp (result, "-infinity 33") == 0);
1029     ASSERT (retval == strlen (result));
1030     free (result);
1031   }
1032
1033   { /* NaN.  */
1034     char *result;
1035     int retval =
1036       my_asprintf (&result, "%f %d", NaNd (), 33, 44, 55);
1037     ASSERT (result != NULL);
1038     ASSERT (strlen (result) >= 3 + 3
1039             && strisnan (result, 0, strlen (result) - 3, 0)
1040             && strcmp (result + strlen (result) - 3, " 33") == 0);
1041     ASSERT (retval == strlen (result));
1042     free (result);
1043   }
1044
1045   { /* Width.  */
1046     char *result;
1047     int retval =
1048       my_asprintf (&result, "%10f %d", 1.75, 33, 44, 55);
1049     ASSERT (result != NULL);
1050     ASSERT (strcmp (result, "  1.750000 33") == 0);
1051     ASSERT (retval == strlen (result));
1052     free (result);
1053   }
1054
1055   { /* FLAG_LEFT.  */
1056     char *result;
1057     int retval =
1058       my_asprintf (&result, "%-10f %d", 1.75, 33, 44, 55);
1059     ASSERT (result != NULL);
1060     ASSERT (strcmp (result, "1.750000   33") == 0);
1061     ASSERT (retval == strlen (result));
1062     free (result);
1063   }
1064
1065   { /* FLAG_SHOWSIGN.  */
1066     char *result;
1067     int retval =
1068       my_asprintf (&result, "%+f %d", 1.75, 33, 44, 55);
1069     ASSERT (result != NULL);
1070     ASSERT (strcmp (result, "+1.750000 33") == 0);
1071     ASSERT (retval == strlen (result));
1072     free (result);
1073   }
1074
1075   { /* FLAG_SPACE.  */
1076     char *result;
1077     int retval =
1078       my_asprintf (&result, "% f %d", 1.75, 33, 44, 55);
1079     ASSERT (result != NULL);
1080     ASSERT (strcmp (result, " 1.750000 33") == 0);
1081     ASSERT (retval == strlen (result));
1082     free (result);
1083   }
1084
1085   { /* FLAG_ALT.  */
1086     char *result;
1087     int retval =
1088       my_asprintf (&result, "%#f %d", 1.75, 33, 44, 55);
1089     ASSERT (result != NULL);
1090     ASSERT (strcmp (result, "1.750000 33") == 0);
1091     ASSERT (retval == strlen (result));
1092     free (result);
1093   }
1094
1095   { /* FLAG_ALT.  */
1096     char *result;
1097     int retval =
1098       my_asprintf (&result, "%#.f %d", 1.75, 33, 44, 55);
1099     ASSERT (result != NULL);
1100     ASSERT (strcmp (result, "2. 33") == 0);
1101     ASSERT (retval == strlen (result));
1102     free (result);
1103   }
1104
1105   { /* FLAG_ZERO with finite number.  */
1106     char *result;
1107     int retval =
1108       my_asprintf (&result, "%015f %d", 1234.0, 33, 44, 55);
1109     ASSERT (result != NULL);
1110     ASSERT (strcmp (result, "00001234.000000 33") == 0);
1111     ASSERT (retval == strlen (result));
1112     free (result);
1113   }
1114
1115   { /* FLAG_ZERO with infinite number.  */
1116     char *result;
1117     int retval =
1118       my_asprintf (&result, "%015f %d", - Infinityd (), 33, 44, 55);
1119     ASSERT (result != NULL);
1120     ASSERT (strcmp (result, "           -inf 33") == 0
1121             || strcmp (result, "      -infinity 33") == 0);
1122     ASSERT (retval == strlen (result));
1123     free (result);
1124   }
1125
1126   { /* FLAG_ZERO with NaN.  */
1127     char *result;
1128     int retval =
1129       my_asprintf (&result, "%050f %d", NaNd (), 33, 44, 55);
1130     ASSERT (result != NULL);
1131     ASSERT (strlen (result) == 50 + 3
1132             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
1133             && strcmp (result + strlen (result) - 3, " 33") == 0);
1134     ASSERT (retval == strlen (result));
1135     free (result);
1136   }
1137
1138   { /* Precision.  */
1139     char *result;
1140     int retval =
1141       my_asprintf (&result, "%.f %d", 1234.0, 33, 44, 55);
1142     ASSERT (result != NULL);
1143     ASSERT (strcmp (result, "1234 33") == 0);
1144     ASSERT (retval == strlen (result));
1145     free (result);
1146   }
1147
1148   { /* Precision with no rounding.  */
1149     char *result;
1150     int retval =
1151       my_asprintf (&result, "%.2f %d", 999.951, 33, 44, 55);
1152     ASSERT (result != NULL);
1153     ASSERT (strcmp (result, "999.95 33") == 0);
1154     ASSERT (retval == strlen (result));
1155     free (result);
1156   }
1157
1158   { /* Precision with rounding.  */
1159     char *result;
1160     int retval =
1161       my_asprintf (&result, "%.2f %d", 999.996, 33, 44, 55);
1162     ASSERT (result != NULL);
1163     ASSERT (strcmp (result, "1000.00 33") == 0);
1164     ASSERT (retval == strlen (result));
1165     free (result);
1166   }
1167
1168   { /* A positive number.  */
1169     char *result;
1170     int retval =
1171       my_asprintf (&result, "%Lf %d", 12.75L, 33, 44, 55);
1172     ASSERT (result != NULL);
1173     ASSERT (strcmp (result, "12.750000 33") == 0);
1174     ASSERT (retval == strlen (result));
1175     free (result);
1176   }
1177
1178   { /* A larger positive number.  */
1179     char *result;
1180     int retval =
1181       my_asprintf (&result, "%Lf %d", 1234567.0L, 33, 44, 55);
1182     ASSERT (result != NULL);
1183     ASSERT (strcmp (result, "1234567.000000 33") == 0);
1184     ASSERT (retval == strlen (result));
1185     free (result);
1186   }
1187
1188   { /* Small and large positive numbers.  */
1189     static struct { long double value; const char *string; } data[] =
1190       {
1191         { 1.234321234321234e-37L, "0.000000" },
1192         { 1.234321234321234e-36L, "0.000000" },
1193         { 1.234321234321234e-35L, "0.000000" },
1194         { 1.234321234321234e-34L, "0.000000" },
1195         { 1.234321234321234e-33L, "0.000000" },
1196         { 1.234321234321234e-32L, "0.000000" },
1197         { 1.234321234321234e-31L, "0.000000" },
1198         { 1.234321234321234e-30L, "0.000000" },
1199         { 1.234321234321234e-29L, "0.000000" },
1200         { 1.234321234321234e-28L, "0.000000" },
1201         { 1.234321234321234e-27L, "0.000000" },
1202         { 1.234321234321234e-26L, "0.000000" },
1203         { 1.234321234321234e-25L, "0.000000" },
1204         { 1.234321234321234e-24L, "0.000000" },
1205         { 1.234321234321234e-23L, "0.000000" },
1206         { 1.234321234321234e-22L, "0.000000" },
1207         { 1.234321234321234e-21L, "0.000000" },
1208         { 1.234321234321234e-20L, "0.000000" },
1209         { 1.234321234321234e-19L, "0.000000" },
1210         { 1.234321234321234e-18L, "0.000000" },
1211         { 1.234321234321234e-17L, "0.000000" },
1212         { 1.234321234321234e-16L, "0.000000" },
1213         { 1.234321234321234e-15L, "0.000000" },
1214         { 1.234321234321234e-14L, "0.000000" },
1215         { 1.234321234321234e-13L, "0.000000" },
1216         { 1.234321234321234e-12L, "0.000000" },
1217         { 1.234321234321234e-11L, "0.000000" },
1218         { 1.234321234321234e-10L, "0.000000" },
1219         { 1.234321234321234e-9L, "0.000000" },
1220         { 1.234321234321234e-8L, "0.000000" },
1221         { 1.234321234321234e-7L, "0.000000" },
1222         { 1.234321234321234e-6L, "0.000001" },
1223         { 1.234321234321234e-5L, "0.000012" },
1224         { 1.234321234321234e-4L, "0.000123" },
1225         { 1.234321234321234e-3L, "0.001234" },
1226         { 1.234321234321234e-2L, "0.012343" },
1227         { 1.234321234321234e-1L, "0.123432" },
1228         { 1.234321234321234L, "1.234321" },
1229         { 1.234321234321234e1L, "12.343212" },
1230         { 1.234321234321234e2L, "123.432123" },
1231         { 1.234321234321234e3L, "1234.321234" },
1232         { 1.234321234321234e4L, "12343.212343" },
1233         { 1.234321234321234e5L, "123432.123432" },
1234         { 1.234321234321234e6L, "1234321.234321" },
1235         { 1.234321234321234e7L, "12343212.343212" },
1236         { 1.234321234321234e8L, "123432123.432123" },
1237         { 1.234321234321234e9L, "1234321234.321234" },
1238         { 1.234321234321234e10L, "12343212343.2123**" },
1239         { 1.234321234321234e11L, "123432123432.123***" },
1240         { 1.234321234321234e12L, "1234321234321.23****" },
1241         { 1.234321234321234e13L, "12343212343212.3*****" },
1242         { 1.234321234321234e14L, "123432123432123.******" },
1243         { 1.234321234321234e15L, "1234321234321234.000000" },
1244         { 1.234321234321234e16L, "123432123432123**.000000" },
1245         { 1.234321234321234e17L, "123432123432123***.000000" },
1246         { 1.234321234321234e18L, "123432123432123****.000000" },
1247         { 1.234321234321234e19L, "123432123432123*****.000000" },
1248         { 1.234321234321234e20L, "123432123432123******.000000" },
1249         { 1.234321234321234e21L, "123432123432123*******.000000" },
1250         { 1.234321234321234e22L, "123432123432123********.000000" },
1251         { 1.234321234321234e23L, "123432123432123*********.000000" },
1252         { 1.234321234321234e24L, "123432123432123**********.000000" },
1253         { 1.234321234321234e25L, "123432123432123***********.000000" },
1254         { 1.234321234321234e26L, "123432123432123************.000000" },
1255         { 1.234321234321234e27L, "123432123432123*************.000000" },
1256         { 1.234321234321234e28L, "123432123432123**************.000000" },
1257         { 1.234321234321234e29L, "123432123432123***************.000000" },
1258         { 1.234321234321234e30L, "123432123432123****************.000000" },
1259         { 1.234321234321234e31L, "123432123432123*****************.000000" },
1260         { 1.234321234321234e32L, "123432123432123******************.000000" },
1261         { 1.234321234321234e33L, "123432123432123*******************.000000" },
1262         { 1.234321234321234e34L, "123432123432123********************.000000" },
1263         { 1.234321234321234e35L, "123432123432123*********************.000000" },
1264         { 1.234321234321234e36L, "123432123432123**********************.000000" }
1265       };
1266     size_t k;
1267     for (k = 0; k < SIZEOF (data); k++)
1268       {
1269         char *result;
1270         int retval =
1271           my_asprintf (&result, "%Lf", data[k].value);
1272         ASSERT (result != NULL);
1273         ASSERT (strmatch (data[k].string, result));
1274         ASSERT (retval == strlen (result));
1275         free (result);
1276       }
1277   }
1278
1279   { /* A negative number.  */
1280     char *result;
1281     int retval =
1282       my_asprintf (&result, "%Lf %d", -0.03125L, 33, 44, 55);
1283     ASSERT (result != NULL);
1284     ASSERT (strcmp (result, "-0.031250 33") == 0);
1285     ASSERT (retval == strlen (result));
1286     free (result);
1287   }
1288
1289   { /* Positive zero.  */
1290     char *result;
1291     int retval =
1292       my_asprintf (&result, "%Lf %d", 0.0L, 33, 44, 55);
1293     ASSERT (result != NULL);
1294     ASSERT (strcmp (result, "0.000000 33") == 0);
1295     ASSERT (retval == strlen (result));
1296     free (result);
1297   }
1298
1299   { /* Negative zero.  */
1300     char *result;
1301     int retval =
1302       my_asprintf (&result, "%Lf %d", minus_zerol, 33, 44, 55);
1303     ASSERT (result != NULL);
1304     if (have_minus_zero ())
1305       ASSERT (strcmp (result, "-0.000000 33") == 0);
1306     ASSERT (retval == strlen (result));
1307     free (result);
1308   }
1309
1310   { /* Positive infinity.  */
1311     char *result;
1312     int retval =
1313       my_asprintf (&result, "%Lf %d", Infinityl (), 33, 44, 55);
1314     ASSERT (result != NULL);
1315     ASSERT (strcmp (result, "inf 33") == 0
1316             || strcmp (result, "infinity 33") == 0);
1317     ASSERT (retval == strlen (result));
1318     free (result);
1319   }
1320
1321   { /* Negative infinity.  */
1322     char *result;
1323     int retval =
1324       my_asprintf (&result, "%Lf %d", - Infinityl (), 33, 44, 55);
1325     ASSERT (result != NULL);
1326     ASSERT (strcmp (result, "-inf 33") == 0
1327             || strcmp (result, "-infinity 33") == 0);
1328     ASSERT (retval == strlen (result));
1329     free (result);
1330   }
1331
1332   { /* NaN.  */
1333     char *result;
1334     int retval =
1335       my_asprintf (&result, "%Lf %d", NaNl (), 33, 44, 55);
1336     ASSERT (result != NULL);
1337     ASSERT (strlen (result) >= 3 + 3
1338             && strisnan (result, 0, strlen (result) - 3, 0)
1339             && strcmp (result + strlen (result) - 3, " 33") == 0);
1340     ASSERT (retval == strlen (result));
1341     free (result);
1342   }
1343 #if CHECK_PRINTF_SAFE && ((defined __ia64 && LDBL_MANT_DIG == 64) || (defined __x86_64__ || defined __amd64__) || (defined __i386 || defined __i386__ || defined _I386 || defined _M_IX86 || defined _X86_)) && !HAVE_SAME_LONG_DOUBLE_AS_DOUBLE
1344   { /* Quiet NaN.  */
1345     static union { unsigned int word[4]; long double value; } x =
1346       { LDBL80_WORDS (0xFFFF, 0xC3333333, 0x00000000) };
1347     char *result;
1348     int retval =
1349       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1350     ASSERT (result != NULL);
1351     ASSERT (strlen (result) >= 3 + 3
1352             && strisnan (result, 0, strlen (result) - 3, 0)
1353             && strcmp (result + strlen (result) - 3, " 33") == 0);
1354     ASSERT (retval == strlen (result));
1355     free (result);
1356   }
1357   {
1358     /* Signalling NaN.  */
1359     static union { unsigned int word[4]; long double value; } x =
1360       { LDBL80_WORDS (0xFFFF, 0x83333333, 0x00000000) };
1361     char *result;
1362     int retval =
1363       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1364     ASSERT (result != NULL);
1365     ASSERT (strlen (result) >= 3 + 3
1366             && strisnan (result, 0, strlen (result) - 3, 0)
1367             && strcmp (result + strlen (result) - 3, " 33") == 0);
1368     ASSERT (retval == strlen (result));
1369     free (result);
1370   }
1371   /* asprintf should print something for noncanonical values.  */
1372   { /* Pseudo-NaN.  */
1373     static union { unsigned int word[4]; long double value; } x =
1374       { LDBL80_WORDS (0xFFFF, 0x40000001, 0x00000000) };
1375     char *result;
1376     int retval =
1377       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1378     ASSERT (result != NULL);
1379     ASSERT (retval == strlen (result));
1380     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
1381     free (result);
1382   }
1383   { /* Pseudo-Infinity.  */
1384     static union { unsigned int word[4]; long double value; } x =
1385       { LDBL80_WORDS (0xFFFF, 0x00000000, 0x00000000) };
1386     char *result;
1387     int retval =
1388       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1389     ASSERT (result != NULL);
1390     ASSERT (retval == strlen (result));
1391     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
1392     free (result);
1393   }
1394   { /* Pseudo-Zero.  */
1395     static union { unsigned int word[4]; long double value; } x =
1396       { LDBL80_WORDS (0x4004, 0x00000000, 0x00000000) };
1397     char *result;
1398     int retval =
1399       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1400     ASSERT (result != NULL);
1401     ASSERT (retval == strlen (result));
1402     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
1403     free (result);
1404   }
1405   { /* Unnormalized number.  */
1406     static union { unsigned int word[4]; long double value; } x =
1407       { LDBL80_WORDS (0x4000, 0x63333333, 0x00000000) };
1408     char *result;
1409     int retval =
1410       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1411     ASSERT (result != NULL);
1412     ASSERT (retval == strlen (result));
1413     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
1414     free (result);
1415   }
1416   { /* Pseudo-Denormal.  */
1417     static union { unsigned int word[4]; long double value; } x =
1418       { LDBL80_WORDS (0x0000, 0x83333333, 0x00000000) };
1419     char *result;
1420     int retval =
1421       my_asprintf (&result, "%Lf %d", x.value, 33, 44, 55);
1422     ASSERT (result != NULL);
1423     ASSERT (retval == strlen (result));
1424     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
1425     free (result);
1426   }
1427 #endif
1428
1429   { /* Width.  */
1430     char *result;
1431     int retval =
1432       my_asprintf (&result, "%10Lf %d", 1.75L, 33, 44, 55);
1433     ASSERT (result != NULL);
1434     ASSERT (strcmp (result, "  1.750000 33") == 0);
1435     ASSERT (retval == strlen (result));
1436     free (result);
1437   }
1438
1439   { /* FLAG_LEFT.  */
1440     char *result;
1441     int retval =
1442       my_asprintf (&result, "%-10Lf %d", 1.75L, 33, 44, 55);
1443     ASSERT (result != NULL);
1444     ASSERT (strcmp (result, "1.750000   33") == 0);
1445     ASSERT (retval == strlen (result));
1446     free (result);
1447   }
1448
1449   { /* FLAG_SHOWSIGN.  */
1450     char *result;
1451     int retval =
1452       my_asprintf (&result, "%+Lf %d", 1.75L, 33, 44, 55);
1453     ASSERT (result != NULL);
1454     ASSERT (strcmp (result, "+1.750000 33") == 0);
1455     ASSERT (retval == strlen (result));
1456     free (result);
1457   }
1458
1459   { /* FLAG_SPACE.  */
1460     char *result;
1461     int retval =
1462       my_asprintf (&result, "% Lf %d", 1.75L, 33, 44, 55);
1463     ASSERT (result != NULL);
1464     ASSERT (strcmp (result, " 1.750000 33") == 0);
1465     ASSERT (retval == strlen (result));
1466     free (result);
1467   }
1468
1469   { /* FLAG_ALT.  */
1470     char *result;
1471     int retval =
1472       my_asprintf (&result, "%#Lf %d", 1.75L, 33, 44, 55);
1473     ASSERT (result != NULL);
1474     ASSERT (strcmp (result, "1.750000 33") == 0);
1475     ASSERT (retval == strlen (result));
1476     free (result);
1477   }
1478
1479   { /* FLAG_ALT.  */
1480     char *result;
1481     int retval =
1482       my_asprintf (&result, "%#.Lf %d", 1.75L, 33, 44, 55);
1483     ASSERT (result != NULL);
1484     ASSERT (strcmp (result, "2. 33") == 0);
1485     ASSERT (retval == strlen (result));
1486     free (result);
1487   }
1488
1489   { /* FLAG_ZERO with finite number.  */
1490     char *result;
1491     int retval =
1492       my_asprintf (&result, "%015Lf %d", 1234.0L, 33, 44, 55);
1493     ASSERT (result != NULL);
1494     ASSERT (strcmp (result, "00001234.000000 33") == 0);
1495     ASSERT (retval == strlen (result));
1496     free (result);
1497   }
1498
1499   { /* FLAG_ZERO with infinite number.  */
1500     char *result;
1501     int retval =
1502       my_asprintf (&result, "%015Lf %d", - Infinityl (), 33, 44, 55);
1503     ASSERT (result != NULL);
1504     ASSERT (strcmp (result, "           -inf 33") == 0
1505             || strcmp (result, "      -infinity 33") == 0);
1506     ASSERT (retval == strlen (result));
1507     free (result);
1508   }
1509
1510   { /* FLAG_ZERO with NaN.  */
1511     char *result;
1512     int retval =
1513       my_asprintf (&result, "%050Lf %d", NaNl (), 33, 44, 55);
1514     ASSERT (result != NULL);
1515     ASSERT (strlen (result) == 50 + 3
1516             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
1517             && strcmp (result + strlen (result) - 3, " 33") == 0);
1518     ASSERT (retval == strlen (result));
1519     free (result);
1520   }
1521
1522   { /* Precision.  */
1523     char *result;
1524     int retval =
1525       my_asprintf (&result, "%.Lf %d", 1234.0L, 33, 44, 55);
1526     ASSERT (result != NULL);
1527     ASSERT (strcmp (result, "1234 33") == 0);
1528     ASSERT (retval == strlen (result));
1529     free (result);
1530   }
1531
1532   { /* Precision with no rounding.  */
1533     char *result;
1534     int retval =
1535       my_asprintf (&result, "%.2Lf %d", 999.951L, 33, 44, 55);
1536     ASSERT (result != NULL);
1537     ASSERT (strcmp (result, "999.95 33") == 0);
1538     ASSERT (retval == strlen (result));
1539     free (result);
1540   }
1541
1542   { /* Precision with rounding.  */
1543     char *result;
1544     int retval =
1545       my_asprintf (&result, "%.2Lf %d", 999.996L, 33, 44, 55);
1546     ASSERT (result != NULL);
1547     ASSERT (strcmp (result, "1000.00 33") == 0);
1548     ASSERT (retval == strlen (result));
1549     free (result);
1550   }
1551
1552   /* Test the support of the %F format directive.  */
1553
1554   { /* A positive number.  */
1555     char *result;
1556     int retval =
1557       my_asprintf (&result, "%F %d", 12.75, 33, 44, 55);
1558     ASSERT (result != NULL);
1559     ASSERT (strcmp (result, "12.750000 33") == 0);
1560     ASSERT (retval == strlen (result));
1561     free (result);
1562   }
1563
1564   { /* A larger positive number.  */
1565     char *result;
1566     int retval =
1567       my_asprintf (&result, "%F %d", 1234567.0, 33, 44, 55);
1568     ASSERT (result != NULL);
1569     ASSERT (strcmp (result, "1234567.000000 33") == 0);
1570     ASSERT (retval == strlen (result));
1571     free (result);
1572   }
1573
1574   { /* A negative number.  */
1575     char *result;
1576     int retval =
1577       my_asprintf (&result, "%F %d", -0.03125, 33, 44, 55);
1578     ASSERT (result != NULL);
1579     ASSERT (strcmp (result, "-0.031250 33") == 0);
1580     ASSERT (retval == strlen (result));
1581     free (result);
1582   }
1583
1584   { /* Positive zero.  */
1585     char *result;
1586     int retval =
1587       my_asprintf (&result, "%F %d", 0.0, 33, 44, 55);
1588     ASSERT (result != NULL);
1589     ASSERT (strcmp (result, "0.000000 33") == 0);
1590     ASSERT (retval == strlen (result));
1591     free (result);
1592   }
1593
1594   { /* Negative zero.  */
1595     char *result;
1596     int retval =
1597       my_asprintf (&result, "%F %d", minus_zerod, 33, 44, 55);
1598     ASSERT (result != NULL);
1599     if (have_minus_zero ())
1600       ASSERT (strcmp (result, "-0.000000 33") == 0);
1601     ASSERT (retval == strlen (result));
1602     free (result);
1603   }
1604
1605   { /* Positive infinity.  */
1606     char *result;
1607     int retval =
1608       my_asprintf (&result, "%F %d", Infinityd (), 33, 44, 55);
1609     ASSERT (result != NULL);
1610     ASSERT (strcmp (result, "INF 33") == 0
1611             || strcmp (result, "INFINITY 33") == 0);
1612     ASSERT (retval == strlen (result));
1613     free (result);
1614   }
1615
1616   { /* Negative infinity.  */
1617     char *result;
1618     int retval =
1619       my_asprintf (&result, "%F %d", - Infinityd (), 33, 44, 55);
1620     ASSERT (result != NULL);
1621     ASSERT (strcmp (result, "-INF 33") == 0
1622             || strcmp (result, "-INFINITY 33") == 0);
1623     ASSERT (retval == strlen (result));
1624     free (result);
1625   }
1626
1627   { /* NaN.  */
1628     char *result;
1629     int retval =
1630       my_asprintf (&result, "%F %d", NaNd (), 33, 44, 55);
1631     ASSERT (result != NULL);
1632     ASSERT (strlen (result) >= 3 + 3
1633             && strisnan (result, 0, strlen (result) - 3, 1)
1634             && strcmp (result + strlen (result) - 3, " 33") == 0);
1635     ASSERT (retval == strlen (result));
1636     free (result);
1637   }
1638
1639   { /* FLAG_ZERO.  */
1640     char *result;
1641     int retval =
1642       my_asprintf (&result, "%015F %d", 1234.0, 33, 44, 55);
1643     ASSERT (result != NULL);
1644     ASSERT (strcmp (result, "00001234.000000 33") == 0);
1645     ASSERT (retval == strlen (result));
1646     free (result);
1647   }
1648
1649   { /* FLAG_ZERO with infinite number.  */
1650     char *result;
1651     int retval =
1652       my_asprintf (&result, "%015F %d", - Infinityd (), 33, 44, 55);
1653     ASSERT (result != NULL);
1654     ASSERT (strcmp (result, "           -INF 33") == 0
1655             || strcmp (result, "      -INFINITY 33") == 0);
1656     ASSERT (retval == strlen (result));
1657     free (result);
1658   }
1659
1660   { /* Precision.  */
1661     char *result;
1662     int retval =
1663       my_asprintf (&result, "%.F %d", 1234.0, 33, 44, 55);
1664     ASSERT (result != NULL);
1665     ASSERT (strcmp (result, "1234 33") == 0);
1666     ASSERT (retval == strlen (result));
1667     free (result);
1668   }
1669
1670   { /* Precision with no rounding.  */
1671     char *result;
1672     int retval =
1673       my_asprintf (&result, "%.2F %d", 999.951, 33, 44, 55);
1674     ASSERT (result != NULL);
1675     ASSERT (strcmp (result, "999.95 33") == 0);
1676     ASSERT (retval == strlen (result));
1677     free (result);
1678   }
1679
1680   { /* Precision with rounding.  */
1681     char *result;
1682     int retval =
1683       my_asprintf (&result, "%.2F %d", 999.996, 33, 44, 55);
1684     ASSERT (result != NULL);
1685     ASSERT (strcmp (result, "1000.00 33") == 0);
1686     ASSERT (retval == strlen (result));
1687     free (result);
1688   }
1689
1690   { /* A positive number.  */
1691     char *result;
1692     int retval =
1693       my_asprintf (&result, "%LF %d", 12.75L, 33, 44, 55);
1694     ASSERT (result != NULL);
1695     ASSERT (strcmp (result, "12.750000 33") == 0);
1696     ASSERT (retval == strlen (result));
1697     free (result);
1698   }
1699
1700   { /* A larger positive number.  */
1701     char *result;
1702     int retval =
1703       my_asprintf (&result, "%LF %d", 1234567.0L, 33, 44, 55);
1704     ASSERT (result != NULL);
1705     ASSERT (strcmp (result, "1234567.000000 33") == 0);
1706     ASSERT (retval == strlen (result));
1707     free (result);
1708   }
1709
1710   { /* A negative number.  */
1711     char *result;
1712     int retval =
1713       my_asprintf (&result, "%LF %d", -0.03125L, 33, 44, 55);
1714     ASSERT (result != NULL);
1715     ASSERT (strcmp (result, "-0.031250 33") == 0);
1716     ASSERT (retval == strlen (result));
1717     free (result);
1718   }
1719
1720   { /* Positive zero.  */
1721     char *result;
1722     int retval =
1723       my_asprintf (&result, "%LF %d", 0.0L, 33, 44, 55);
1724     ASSERT (result != NULL);
1725     ASSERT (strcmp (result, "0.000000 33") == 0);
1726     ASSERT (retval == strlen (result));
1727     free (result);
1728   }
1729
1730   { /* Negative zero.  */
1731     char *result;
1732     int retval =
1733       my_asprintf (&result, "%LF %d", minus_zerol, 33, 44, 55);
1734     ASSERT (result != NULL);
1735     if (have_minus_zero ())
1736       ASSERT (strcmp (result, "-0.000000 33") == 0);
1737     ASSERT (retval == strlen (result));
1738     free (result);
1739   }
1740
1741   { /* Positive infinity.  */
1742     char *result;
1743     int retval =
1744       my_asprintf (&result, "%LF %d", Infinityl (), 33, 44, 55);
1745     ASSERT (result != NULL);
1746     ASSERT (strcmp (result, "INF 33") == 0
1747             || strcmp (result, "INFINITY 33") == 0);
1748     ASSERT (retval == strlen (result));
1749     free (result);
1750   }
1751
1752   { /* Negative infinity.  */
1753     char *result;
1754     int retval =
1755       my_asprintf (&result, "%LF %d", - Infinityl (), 33, 44, 55);
1756     ASSERT (result != NULL);
1757     ASSERT (strcmp (result, "-INF 33") == 0
1758             || strcmp (result, "-INFINITY 33") == 0);
1759     ASSERT (retval == strlen (result));
1760     free (result);
1761   }
1762
1763   { /* NaN.  */
1764     char *result;
1765     int retval =
1766       my_asprintf (&result, "%LF %d", NaNl (), 33, 44, 55);
1767     ASSERT (result != NULL);
1768     ASSERT (strlen (result) >= 3 + 3
1769             && strisnan (result, 0, strlen (result) - 3, 1)
1770             && strcmp (result + strlen (result) - 3, " 33") == 0);
1771     ASSERT (retval == strlen (result));
1772     free (result);
1773   }
1774
1775   { /* FLAG_ZERO.  */
1776     char *result;
1777     int retval =
1778       my_asprintf (&result, "%015LF %d", 1234.0L, 33, 44, 55);
1779     ASSERT (result != NULL);
1780     ASSERT (strcmp (result, "00001234.000000 33") == 0);
1781     ASSERT (retval == strlen (result));
1782     free (result);
1783   }
1784
1785   { /* FLAG_ZERO with infinite number.  */
1786     char *result;
1787     int retval =
1788       my_asprintf (&result, "%015LF %d", - Infinityl (), 33, 44, 55);
1789     ASSERT (result != NULL);
1790     ASSERT (strcmp (result, "           -INF 33") == 0
1791             || strcmp (result, "      -INFINITY 33") == 0);
1792     ASSERT (retval == strlen (result));
1793     free (result);
1794   }
1795
1796   { /* Precision.  */
1797     char *result;
1798     int retval =
1799       my_asprintf (&result, "%.LF %d", 1234.0L, 33, 44, 55);
1800     ASSERT (result != NULL);
1801     ASSERT (strcmp (result, "1234 33") == 0);
1802     ASSERT (retval == strlen (result));
1803     free (result);
1804   }
1805
1806   { /* Precision with no rounding.  */
1807     char *result;
1808     int retval =
1809       my_asprintf (&result, "%.2LF %d", 999.951L, 33, 44, 55);
1810     ASSERT (result != NULL);
1811     ASSERT (strcmp (result, "999.95 33") == 0);
1812     ASSERT (retval == strlen (result));
1813     free (result);
1814   }
1815
1816   { /* Precision with rounding.  */
1817     char *result;
1818     int retval =
1819       my_asprintf (&result, "%.2LF %d", 999.996L, 33, 44, 55);
1820     ASSERT (result != NULL);
1821     ASSERT (strcmp (result, "1000.00 33") == 0);
1822     ASSERT (retval == strlen (result));
1823     free (result);
1824   }
1825
1826   /* Test the support of the %e format directive.  */
1827
1828   { /* A positive number.  */
1829     char *result;
1830     int retval =
1831       my_asprintf (&result, "%e %d", 12.75, 33, 44, 55);
1832     ASSERT (result != NULL);
1833     ASSERT (strcmp (result, "1.275000e+01 33") == 0
1834             || strcmp (result, "1.275000e+001 33") == 0);
1835     ASSERT (retval == strlen (result));
1836     free (result);
1837   }
1838
1839   { /* A larger positive number.  */
1840     char *result;
1841     int retval =
1842       my_asprintf (&result, "%e %d", 1234567.0, 33, 44, 55);
1843     ASSERT (result != NULL);
1844     ASSERT (strcmp (result, "1.234567e+06 33") == 0
1845             || strcmp (result, "1.234567e+006 33") == 0);
1846     ASSERT (retval == strlen (result));
1847     free (result);
1848   }
1849
1850   { /* Small and large positive numbers.  */
1851     static struct { double value; const char *string; } data[] =
1852       {
1853         { 1.234321234321234e-37, "1.234321e-37" },
1854         { 1.234321234321234e-36, "1.234321e-36" },
1855         { 1.234321234321234e-35, "1.234321e-35" },
1856         { 1.234321234321234e-34, "1.234321e-34" },
1857         { 1.234321234321234e-33, "1.234321e-33" },
1858         { 1.234321234321234e-32, "1.234321e-32" },
1859         { 1.234321234321234e-31, "1.234321e-31" },
1860         { 1.234321234321234e-30, "1.234321e-30" },
1861         { 1.234321234321234e-29, "1.234321e-29" },
1862         { 1.234321234321234e-28, "1.234321e-28" },
1863         { 1.234321234321234e-27, "1.234321e-27" },
1864         { 1.234321234321234e-26, "1.234321e-26" },
1865         { 1.234321234321234e-25, "1.234321e-25" },
1866         { 1.234321234321234e-24, "1.234321e-24" },
1867         { 1.234321234321234e-23, "1.234321e-23" },
1868         { 1.234321234321234e-22, "1.234321e-22" },
1869         { 1.234321234321234e-21, "1.234321e-21" },
1870         { 1.234321234321234e-20, "1.234321e-20" },
1871         { 1.234321234321234e-19, "1.234321e-19" },
1872         { 1.234321234321234e-18, "1.234321e-18" },
1873         { 1.234321234321234e-17, "1.234321e-17" },
1874         { 1.234321234321234e-16, "1.234321e-16" },
1875         { 1.234321234321234e-15, "1.234321e-15" },
1876         { 1.234321234321234e-14, "1.234321e-14" },
1877         { 1.234321234321234e-13, "1.234321e-13" },
1878         { 1.234321234321234e-12, "1.234321e-12" },
1879         { 1.234321234321234e-11, "1.234321e-11" },
1880         { 1.234321234321234e-10, "1.234321e-10" },
1881         { 1.234321234321234e-9, "1.234321e-09" },
1882         { 1.234321234321234e-8, "1.234321e-08" },
1883         { 1.234321234321234e-7, "1.234321e-07" },
1884         { 1.234321234321234e-6, "1.234321e-06" },
1885         { 1.234321234321234e-5, "1.234321e-05" },
1886         { 1.234321234321234e-4, "1.234321e-04" },
1887         { 1.234321234321234e-3, "1.234321e-03" },
1888         { 1.234321234321234e-2, "1.234321e-02" },
1889         { 1.234321234321234e-1, "1.234321e-01" },
1890         { 1.234321234321234, "1.234321e+00" },
1891         { 1.234321234321234e1, "1.234321e+01" },
1892         { 1.234321234321234e2, "1.234321e+02" },
1893         { 1.234321234321234e3, "1.234321e+03" },
1894         { 1.234321234321234e4, "1.234321e+04" },
1895         { 1.234321234321234e5, "1.234321e+05" },
1896         { 1.234321234321234e6, "1.234321e+06" },
1897         { 1.234321234321234e7, "1.234321e+07" },
1898         { 1.234321234321234e8, "1.234321e+08" },
1899         { 1.234321234321234e9, "1.234321e+09" },
1900         { 1.234321234321234e10, "1.234321e+10" },
1901         { 1.234321234321234e11, "1.234321e+11" },
1902         { 1.234321234321234e12, "1.234321e+12" },
1903         { 1.234321234321234e13, "1.234321e+13" },
1904         { 1.234321234321234e14, "1.234321e+14" },
1905         { 1.234321234321234e15, "1.234321e+15" },
1906         { 1.234321234321234e16, "1.234321e+16" },
1907         { 1.234321234321234e17, "1.234321e+17" },
1908         { 1.234321234321234e18, "1.234321e+18" },
1909         { 1.234321234321234e19, "1.234321e+19" },
1910         { 1.234321234321234e20, "1.234321e+20" },
1911         { 1.234321234321234e21, "1.234321e+21" },
1912         { 1.234321234321234e22, "1.234321e+22" },
1913         { 1.234321234321234e23, "1.234321e+23" },
1914         { 1.234321234321234e24, "1.234321e+24" },
1915         { 1.234321234321234e25, "1.234321e+25" },
1916         { 1.234321234321234e26, "1.234321e+26" },
1917         { 1.234321234321234e27, "1.234321e+27" },
1918         { 1.234321234321234e28, "1.234321e+28" },
1919         { 1.234321234321234e29, "1.234321e+29" },
1920         { 1.234321234321234e30, "1.234321e+30" },
1921         { 1.234321234321234e31, "1.234321e+31" },
1922         { 1.234321234321234e32, "1.234321e+32" },
1923         { 1.234321234321234e33, "1.234321e+33" },
1924         { 1.234321234321234e34, "1.234321e+34" },
1925         { 1.234321234321234e35, "1.234321e+35" },
1926         { 1.234321234321234e36, "1.234321e+36" }
1927       };
1928     size_t k;
1929     for (k = 0; k < SIZEOF (data); k++)
1930       {
1931         char *result;
1932         int retval =
1933           my_asprintf (&result, "%e", data[k].value);
1934         const char *expected = data[k].string;
1935         ASSERT (result != NULL);
1936         ASSERT (strcmp (result, expected) == 0
1937                 /* Some implementations produce exponents with 3 digits.  */
1938                 || (strlen (result) == strlen (expected) + 1
1939                     && memcmp (result, expected, strlen (expected) - 2) == 0
1940                     && result[strlen (expected) - 2] == '0'
1941                     && strcmp (result + strlen (expected) - 1,
1942                                expected + strlen (expected) - 2)
1943                        == 0));
1944         ASSERT (retval == strlen (result));
1945         free (result);
1946       }
1947   }
1948
1949   { /* A negative number.  */
1950     char *result;
1951     int retval =
1952       my_asprintf (&result, "%e %d", -0.03125, 33, 44, 55);
1953     ASSERT (result != NULL);
1954     ASSERT (strcmp (result, "-3.125000e-02 33") == 0
1955             || strcmp (result, "-3.125000e-002 33") == 0);
1956     ASSERT (retval == strlen (result));
1957     free (result);
1958   }
1959
1960   { /* Positive zero.  */
1961     char *result;
1962     int retval =
1963       my_asprintf (&result, "%e %d", 0.0, 33, 44, 55);
1964     ASSERT (result != NULL);
1965     ASSERT (strcmp (result, "0.000000e+00 33") == 0
1966             || strcmp (result, "0.000000e+000 33") == 0);
1967     ASSERT (retval == strlen (result));
1968     free (result);
1969   }
1970
1971   { /* Negative zero.  */
1972     char *result;
1973     int retval =
1974       my_asprintf (&result, "%e %d", minus_zerod, 33, 44, 55);
1975     ASSERT (result != NULL);
1976     if (have_minus_zero ())
1977       ASSERT (strcmp (result, "-0.000000e+00 33") == 0
1978               || strcmp (result, "-0.000000e+000 33") == 0);
1979     ASSERT (retval == strlen (result));
1980     free (result);
1981   }
1982
1983   { /* Positive infinity.  */
1984     char *result;
1985     int retval =
1986       my_asprintf (&result, "%e %d", Infinityd (), 33, 44, 55);
1987     ASSERT (result != NULL);
1988     ASSERT (strcmp (result, "inf 33") == 0
1989             || strcmp (result, "infinity 33") == 0);
1990     ASSERT (retval == strlen (result));
1991     free (result);
1992   }
1993
1994   { /* Negative infinity.  */
1995     char *result;
1996     int retval =
1997       my_asprintf (&result, "%e %d", - Infinityd (), 33, 44, 55);
1998     ASSERT (result != NULL);
1999     ASSERT (strcmp (result, "-inf 33") == 0
2000             || strcmp (result, "-infinity 33") == 0);
2001     ASSERT (retval == strlen (result));
2002     free (result);
2003   }
2004
2005   { /* NaN.  */
2006     char *result;
2007     int retval =
2008       my_asprintf (&result, "%e %d", NaNd (), 33, 44, 55);
2009     ASSERT (result != NULL);
2010     ASSERT (strlen (result) >= 3 + 3
2011             && strisnan (result, 0, strlen (result) - 3, 0)
2012             && strcmp (result + strlen (result) - 3, " 33") == 0);
2013     ASSERT (retval == strlen (result));
2014     free (result);
2015   }
2016
2017   { /* Width.  */
2018     char *result;
2019     int retval =
2020       my_asprintf (&result, "%15e %d", 1.75, 33, 44, 55);
2021     ASSERT (result != NULL);
2022     ASSERT (strcmp (result, "   1.750000e+00 33") == 0
2023             || strcmp (result, "  1.750000e+000 33") == 0);
2024     ASSERT (retval == strlen (result));
2025     free (result);
2026   }
2027
2028   { /* FLAG_LEFT.  */
2029     char *result;
2030     int retval =
2031       my_asprintf (&result, "%-15e %d", 1.75, 33, 44, 55);
2032     ASSERT (result != NULL);
2033     ASSERT (strcmp (result, "1.750000e+00    33") == 0
2034             || strcmp (result, "1.750000e+000   33") == 0);
2035     ASSERT (retval == strlen (result));
2036     free (result);
2037   }
2038
2039   { /* FLAG_SHOWSIGN.  */
2040     char *result;
2041     int retval =
2042       my_asprintf (&result, "%+e %d", 1.75, 33, 44, 55);
2043     ASSERT (result != NULL);
2044     ASSERT (strcmp (result, "+1.750000e+00 33") == 0
2045             || strcmp (result, "+1.750000e+000 33") == 0);
2046     ASSERT (retval == strlen (result));
2047     free (result);
2048   }
2049
2050   { /* FLAG_SPACE.  */
2051     char *result;
2052     int retval =
2053       my_asprintf (&result, "% e %d", 1.75, 33, 44, 55);
2054     ASSERT (result != NULL);
2055     ASSERT (strcmp (result, " 1.750000e+00 33") == 0
2056             || strcmp (result, " 1.750000e+000 33") == 0);
2057     ASSERT (retval == strlen (result));
2058     free (result);
2059   }
2060
2061   { /* FLAG_ALT.  */
2062     char *result;
2063     int retval =
2064       my_asprintf (&result, "%#e %d", 1.75, 33, 44, 55);
2065     ASSERT (result != NULL);
2066     ASSERT (strcmp (result, "1.750000e+00 33") == 0
2067             || strcmp (result, "1.750000e+000 33") == 0);
2068     ASSERT (retval == strlen (result));
2069     free (result);
2070   }
2071
2072   { /* FLAG_ALT.  */
2073     char *result;
2074     int retval =
2075       my_asprintf (&result, "%#.e %d", 1.75, 33, 44, 55);
2076     ASSERT (result != NULL);
2077     ASSERT (strcmp (result, "2.e+00 33") == 0
2078             || strcmp (result, "2.e+000 33") == 0);
2079     ASSERT (retval == strlen (result));
2080     free (result);
2081   }
2082
2083   { /* FLAG_ALT.  */
2084     char *result;
2085     int retval =
2086       my_asprintf (&result, "%#.e %d", 9.75, 33, 44, 55);
2087     ASSERT (result != NULL);
2088     ASSERT (strcmp (result, "1.e+01 33") == 0
2089             || strcmp (result, "1.e+001 33") == 0);
2090     ASSERT (retval == strlen (result));
2091     free (result);
2092   }
2093
2094   { /* FLAG_ZERO with finite number.  */
2095     char *result;
2096     int retval =
2097       my_asprintf (&result, "%015e %d", 1234.0, 33, 44, 55);
2098     ASSERT (result != NULL);
2099     ASSERT (strcmp (result, "0001.234000e+03 33") == 0
2100             || strcmp (result, "001.234000e+003 33") == 0);
2101     ASSERT (retval == strlen (result));
2102     free (result);
2103   }
2104
2105   { /* FLAG_ZERO with infinite number.  */
2106     char *result;
2107     int retval =
2108       my_asprintf (&result, "%015e %d", - Infinityd (), 33, 44, 55);
2109     ASSERT (result != NULL);
2110     ASSERT (strcmp (result, "           -inf 33") == 0
2111             || strcmp (result, "      -infinity 33") == 0);
2112     ASSERT (retval == strlen (result));
2113     free (result);
2114   }
2115
2116   { /* FLAG_ZERO with NaN.  */
2117     char *result;
2118     int retval =
2119       my_asprintf (&result, "%050e %d", NaNd (), 33, 44, 55);
2120     ASSERT (result != NULL);
2121     ASSERT (strlen (result) == 50 + 3
2122             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
2123             && strcmp (result + strlen (result) - 3, " 33") == 0);
2124     ASSERT (retval == strlen (result));
2125     free (result);
2126   }
2127
2128   { /* Precision.  */
2129     char *result;
2130     int retval =
2131       my_asprintf (&result, "%.e %d", 1234.0, 33, 44, 55);
2132     ASSERT (result != NULL);
2133     ASSERT (strcmp (result, "1e+03 33") == 0
2134             || strcmp (result, "1e+003 33") == 0);
2135     ASSERT (retval == strlen (result));
2136     free (result);
2137   }
2138
2139   { /* Precision with no rounding.  */
2140     char *result;
2141     int retval =
2142       my_asprintf (&result, "%.4e %d", 999.951, 33, 44, 55);
2143     ASSERT (result != NULL);
2144     ASSERT (strcmp (result, "9.9995e+02 33") == 0
2145             || strcmp (result, "9.9995e+002 33") == 0);
2146     ASSERT (retval == strlen (result));
2147     free (result);
2148   }
2149
2150   { /* Precision with rounding.  */
2151     char *result;
2152     int retval =
2153       my_asprintf (&result, "%.4e %d", 999.996, 33, 44, 55);
2154     ASSERT (result != NULL);
2155     ASSERT (strcmp (result, "1.0000e+03 33") == 0
2156             || strcmp (result, "1.0000e+003 33") == 0);
2157     ASSERT (retval == strlen (result));
2158     free (result);
2159   }
2160
2161   { /* A positive number.  */
2162     char *result;
2163     int retval =
2164       my_asprintf (&result, "%Le %d", 12.75L, 33, 44, 55);
2165     ASSERT (result != NULL);
2166     ASSERT (strcmp (result, "1.275000e+01 33") == 0
2167             || strcmp (result, "1.275000e+001 33") == 0);
2168     ASSERT (retval == strlen (result));
2169     free (result);
2170   }
2171
2172   { /* A larger positive number.  */
2173     char *result;
2174     int retval =
2175       my_asprintf (&result, "%Le %d", 1234567.0L, 33, 44, 55);
2176     ASSERT (result != NULL);
2177     ASSERT (strcmp (result, "1.234567e+06 33") == 0
2178             || strcmp (result, "1.234567e+006 33") == 0);
2179     ASSERT (retval == strlen (result));
2180     free (result);
2181   }
2182
2183   { /* Small and large positive numbers.  */
2184     static struct { long double value; const char *string; } data[] =
2185       {
2186         { 1.234321234321234e-37L, "1.234321e-37" },
2187         { 1.234321234321234e-36L, "1.234321e-36" },
2188         { 1.234321234321234e-35L, "1.234321e-35" },
2189         { 1.234321234321234e-34L, "1.234321e-34" },
2190         { 1.234321234321234e-33L, "1.234321e-33" },
2191         { 1.234321234321234e-32L, "1.234321e-32" },
2192         { 1.234321234321234e-31L, "1.234321e-31" },
2193         { 1.234321234321234e-30L, "1.234321e-30" },
2194         { 1.234321234321234e-29L, "1.234321e-29" },
2195         { 1.234321234321234e-28L, "1.234321e-28" },
2196         { 1.234321234321234e-27L, "1.234321e-27" },
2197         { 1.234321234321234e-26L, "1.234321e-26" },
2198         { 1.234321234321234e-25L, "1.234321e-25" },
2199         { 1.234321234321234e-24L, "1.234321e-24" },
2200         { 1.234321234321234e-23L, "1.234321e-23" },
2201         { 1.234321234321234e-22L, "1.234321e-22" },
2202         { 1.234321234321234e-21L, "1.234321e-21" },
2203         { 1.234321234321234e-20L, "1.234321e-20" },
2204         { 1.234321234321234e-19L, "1.234321e-19" },
2205         { 1.234321234321234e-18L, "1.234321e-18" },
2206         { 1.234321234321234e-17L, "1.234321e-17" },
2207         { 1.234321234321234e-16L, "1.234321e-16" },
2208         { 1.234321234321234e-15L, "1.234321e-15" },
2209         { 1.234321234321234e-14L, "1.234321e-14" },
2210         { 1.234321234321234e-13L, "1.234321e-13" },
2211         { 1.234321234321234e-12L, "1.234321e-12" },
2212         { 1.234321234321234e-11L, "1.234321e-11" },
2213         { 1.234321234321234e-10L, "1.234321e-10" },
2214         { 1.234321234321234e-9L, "1.234321e-09" },
2215         { 1.234321234321234e-8L, "1.234321e-08" },
2216         { 1.234321234321234e-7L, "1.234321e-07" },
2217         { 1.234321234321234e-6L, "1.234321e-06" },
2218         { 1.234321234321234e-5L, "1.234321e-05" },
2219         { 1.234321234321234e-4L, "1.234321e-04" },
2220         { 1.234321234321234e-3L, "1.234321e-03" },
2221         { 1.234321234321234e-2L, "1.234321e-02" },
2222         { 1.234321234321234e-1L, "1.234321e-01" },
2223         { 1.234321234321234L, "1.234321e+00" },
2224         { 1.234321234321234e1L, "1.234321e+01" },
2225         { 1.234321234321234e2L, "1.234321e+02" },
2226         { 1.234321234321234e3L, "1.234321e+03" },
2227         { 1.234321234321234e4L, "1.234321e+04" },
2228         { 1.234321234321234e5L, "1.234321e+05" },
2229         { 1.234321234321234e6L, "1.234321e+06" },
2230         { 1.234321234321234e7L, "1.234321e+07" },
2231         { 1.234321234321234e8L, "1.234321e+08" },
2232         { 1.234321234321234e9L, "1.234321e+09" },
2233         { 1.234321234321234e10L, "1.234321e+10" },
2234         { 1.234321234321234e11L, "1.234321e+11" },
2235         { 1.234321234321234e12L, "1.234321e+12" },
2236         { 1.234321234321234e13L, "1.234321e+13" },
2237         { 1.234321234321234e14L, "1.234321e+14" },
2238         { 1.234321234321234e15L, "1.234321e+15" },
2239         { 1.234321234321234e16L, "1.234321e+16" },
2240         { 1.234321234321234e17L, "1.234321e+17" },
2241         { 1.234321234321234e18L, "1.234321e+18" },
2242         { 1.234321234321234e19L, "1.234321e+19" },
2243         { 1.234321234321234e20L, "1.234321e+20" },
2244         { 1.234321234321234e21L, "1.234321e+21" },
2245         { 1.234321234321234e22L, "1.234321e+22" },
2246         { 1.234321234321234e23L, "1.234321e+23" },
2247         { 1.234321234321234e24L, "1.234321e+24" },
2248         { 1.234321234321234e25L, "1.234321e+25" },
2249         { 1.234321234321234e26L, "1.234321e+26" },
2250         { 1.234321234321234e27L, "1.234321e+27" },
2251         { 1.234321234321234e28L, "1.234321e+28" },
2252         { 1.234321234321234e29L, "1.234321e+29" },
2253         { 1.234321234321234e30L, "1.234321e+30" },
2254         { 1.234321234321234e31L, "1.234321e+31" },
2255         { 1.234321234321234e32L, "1.234321e+32" },
2256         { 1.234321234321234e33L, "1.234321e+33" },
2257         { 1.234321234321234e34L, "1.234321e+34" },
2258         { 1.234321234321234e35L, "1.234321e+35" },
2259         { 1.234321234321234e36L, "1.234321e+36" }
2260       };
2261     size_t k;
2262     for (k = 0; k < SIZEOF (data); k++)
2263       {
2264         char *result;
2265         int retval =
2266           my_asprintf (&result, "%Le", data[k].value);
2267         const char *expected = data[k].string;
2268         ASSERT (result != NULL);
2269         ASSERT (strcmp (result, expected) == 0
2270                 /* Some implementations produce exponents with 3 digits.  */
2271                 || (strlen (result) == strlen (expected) + 1
2272                     && memcmp (result, expected, strlen (expected) - 2) == 0
2273                     && result[strlen (expected) - 2] == '0'
2274                     && strcmp (result + strlen (expected) - 1,
2275                                expected + strlen (expected) - 2)
2276                        == 0));
2277         ASSERT (retval == strlen (result));
2278         free (result);
2279       }
2280   }
2281
2282   { /* A negative number.  */
2283     char *result;
2284     int retval =
2285       my_asprintf (&result, "%Le %d", -0.03125L, 33, 44, 55);
2286     ASSERT (result != NULL);
2287     ASSERT (strcmp (result, "-3.125000e-02 33") == 0
2288             || strcmp (result, "-3.125000e-002 33") == 0);
2289     ASSERT (retval == strlen (result));
2290     free (result);
2291   }
2292
2293   { /* Positive zero.  */
2294     char *result;
2295     int retval =
2296       my_asprintf (&result, "%Le %d", 0.0L, 33, 44, 55);
2297     ASSERT (result != NULL);
2298     ASSERT (strcmp (result, "0.000000e+00 33") == 0
2299             || strcmp (result, "0.000000e+000 33") == 0);
2300     ASSERT (retval == strlen (result));
2301     free (result);
2302   }
2303
2304   { /* Negative zero.  */
2305     char *result;
2306     int retval =
2307       my_asprintf (&result, "%Le %d", minus_zerol, 33, 44, 55);
2308     ASSERT (result != NULL);
2309     if (have_minus_zero ())
2310       ASSERT (strcmp (result, "-0.000000e+00 33") == 0
2311               || strcmp (result, "-0.000000e+000 33") == 0);
2312     ASSERT (retval == strlen (result));
2313     free (result);
2314   }
2315
2316   { /* Positive infinity.  */
2317     char *result;
2318     int retval =
2319       my_asprintf (&result, "%Le %d", Infinityl (), 33, 44, 55);
2320     ASSERT (result != NULL);
2321     ASSERT (strcmp (result, "inf 33") == 0
2322             || strcmp (result, "infinity 33") == 0);
2323     ASSERT (retval == strlen (result));
2324     free (result);
2325   }
2326
2327   { /* Negative infinity.  */
2328     char *result;
2329     int retval =
2330       my_asprintf (&result, "%Le %d", - Infinityl (), 33, 44, 55);
2331     ASSERT (result != NULL);
2332     ASSERT (strcmp (result, "-inf 33") == 0
2333             || strcmp (result, "-infinity 33") == 0);
2334     ASSERT (retval == strlen (result));
2335     free (result);
2336   }
2337
2338   { /* NaN.  */
2339     char *result;
2340     int retval =
2341       my_asprintf (&result, "%Le %d", NaNl (), 33, 44, 55);
2342     ASSERT (result != NULL);
2343     ASSERT (strlen (result) >= 3 + 3
2344             && strisnan (result, 0, strlen (result) - 3, 0)
2345             && strcmp (result + strlen (result) - 3, " 33") == 0);
2346     ASSERT (retval == strlen (result));
2347     free (result);
2348   }
2349 #if CHECK_PRINTF_SAFE && ((defined __ia64 && LDBL_MANT_DIG == 64) || (defined __x86_64__ || defined __amd64__) || (defined __i386 || defined __i386__ || defined _I386 || defined _M_IX86 || defined _X86_)) && !HAVE_SAME_LONG_DOUBLE_AS_DOUBLE
2350   { /* Quiet NaN.  */
2351     static union { unsigned int word[4]; long double value; } x =
2352       { LDBL80_WORDS (0xFFFF, 0xC3333333, 0x00000000) };
2353     char *result;
2354     int retval =
2355       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2356     ASSERT (result != NULL);
2357     ASSERT (strlen (result) >= 3 + 3
2358             && strisnan (result, 0, strlen (result) - 3, 0)
2359             && strcmp (result + strlen (result) - 3, " 33") == 0);
2360     ASSERT (retval == strlen (result));
2361     free (result);
2362   }
2363   {
2364     /* Signalling NaN.  */
2365     static union { unsigned int word[4]; long double value; } x =
2366       { LDBL80_WORDS (0xFFFF, 0x83333333, 0x00000000) };
2367     char *result;
2368     int retval =
2369       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2370     ASSERT (result != NULL);
2371     ASSERT (strlen (result) >= 3 + 3
2372             && strisnan (result, 0, strlen (result) - 3, 0)
2373             && strcmp (result + strlen (result) - 3, " 33") == 0);
2374     ASSERT (retval == strlen (result));
2375     free (result);
2376   }
2377   /* asprintf should print something for noncanonical values.  */
2378   { /* Pseudo-NaN.  */
2379     static union { unsigned int word[4]; long double value; } x =
2380       { LDBL80_WORDS (0xFFFF, 0x40000001, 0x00000000) };
2381     char *result;
2382     int retval =
2383       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2384     ASSERT (result != NULL);
2385     ASSERT (retval == strlen (result));
2386     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
2387     free (result);
2388   }
2389   { /* Pseudo-Infinity.  */
2390     static union { unsigned int word[4]; long double value; } x =
2391       { LDBL80_WORDS (0xFFFF, 0x00000000, 0x00000000) };
2392     char *result;
2393     int retval =
2394       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2395     ASSERT (result != NULL);
2396     ASSERT (retval == strlen (result));
2397     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
2398     free (result);
2399   }
2400   { /* Pseudo-Zero.  */
2401     static union { unsigned int word[4]; long double value; } x =
2402       { LDBL80_WORDS (0x4004, 0x00000000, 0x00000000) };
2403     char *result;
2404     int retval =
2405       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2406     ASSERT (result != NULL);
2407     ASSERT (retval == strlen (result));
2408     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
2409     free (result);
2410   }
2411   { /* Unnormalized number.  */
2412     static union { unsigned int word[4]; long double value; } x =
2413       { LDBL80_WORDS (0x4000, 0x63333333, 0x00000000) };
2414     char *result;
2415     int retval =
2416       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2417     ASSERT (result != NULL);
2418     ASSERT (retval == strlen (result));
2419     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
2420     free (result);
2421   }
2422   { /* Pseudo-Denormal.  */
2423     static union { unsigned int word[4]; long double value; } x =
2424       { LDBL80_WORDS (0x0000, 0x83333333, 0x00000000) };
2425     char *result;
2426     int retval =
2427       my_asprintf (&result, "%Le %d", x.value, 33, 44, 55);
2428     ASSERT (result != NULL);
2429     ASSERT (retval == strlen (result));
2430     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
2431     free (result);
2432   }
2433 #endif
2434
2435   { /* Width.  */
2436     char *result;
2437     int retval =
2438       my_asprintf (&result, "%15Le %d", 1.75L, 33, 44, 55);
2439     ASSERT (result != NULL);
2440     ASSERT (strcmp (result, "   1.750000e+00 33") == 0
2441             || strcmp (result, "  1.750000e+000 33") == 0);
2442     ASSERT (retval == strlen (result));
2443     free (result);
2444   }
2445
2446   { /* FLAG_LEFT.  */
2447     char *result;
2448     int retval =
2449       my_asprintf (&result, "%-15Le %d", 1.75L, 33, 44, 55);
2450     ASSERT (result != NULL);
2451     ASSERT (strcmp (result, "1.750000e+00    33") == 0
2452             || strcmp (result, "1.750000e+000   33") == 0);
2453     ASSERT (retval == strlen (result));
2454     free (result);
2455   }
2456
2457   { /* FLAG_SHOWSIGN.  */
2458     char *result;
2459     int retval =
2460       my_asprintf (&result, "%+Le %d", 1.75L, 33, 44, 55);
2461     ASSERT (result != NULL);
2462     ASSERT (strcmp (result, "+1.750000e+00 33") == 0
2463             || strcmp (result, "+1.750000e+000 33") == 0);
2464     ASSERT (retval == strlen (result));
2465     free (result);
2466   }
2467
2468   { /* FLAG_SPACE.  */
2469     char *result;
2470     int retval =
2471       my_asprintf (&result, "% Le %d", 1.75L, 33, 44, 55);
2472     ASSERT (result != NULL);
2473     ASSERT (strcmp (result, " 1.750000e+00 33") == 0
2474             || strcmp (result, " 1.750000e+000 33") == 0);
2475     ASSERT (retval == strlen (result));
2476     free (result);
2477   }
2478
2479   { /* FLAG_ALT.  */
2480     char *result;
2481     int retval =
2482       my_asprintf (&result, "%#Le %d", 1.75L, 33, 44, 55);
2483     ASSERT (result != NULL);
2484     ASSERT (strcmp (result, "1.750000e+00 33") == 0
2485             || strcmp (result, "1.750000e+000 33") == 0);
2486     ASSERT (retval == strlen (result));
2487     free (result);
2488   }
2489
2490   { /* FLAG_ALT.  */
2491     char *result;
2492     int retval =
2493       my_asprintf (&result, "%#.Le %d", 1.75L, 33, 44, 55);
2494     ASSERT (result != NULL);
2495     ASSERT (strcmp (result, "2.e+00 33") == 0
2496             || strcmp (result, "2.e+000 33") == 0);
2497     ASSERT (retval == strlen (result));
2498     free (result);
2499   }
2500
2501   { /* FLAG_ALT.  */
2502     char *result;
2503     int retval =
2504       my_asprintf (&result, "%#.Le %d", 9.75L, 33, 44, 55);
2505     ASSERT (result != NULL);
2506     ASSERT (strcmp (result, "1.e+01 33") == 0
2507             || strcmp (result, "1.e+001 33") == 0);
2508     ASSERT (retval == strlen (result));
2509     free (result);
2510   }
2511
2512   { /* FLAG_ZERO with finite number.  */
2513     char *result;
2514     int retval =
2515       my_asprintf (&result, "%015Le %d", 1234.0L, 33, 44, 55);
2516     ASSERT (result != NULL);
2517     ASSERT (strcmp (result, "0001.234000e+03 33") == 0
2518             || strcmp (result, "001.234000e+003 33") == 0);
2519     ASSERT (retval == strlen (result));
2520     free (result);
2521   }
2522
2523   { /* FLAG_ZERO with infinite number.  */
2524     char *result;
2525     int retval =
2526       my_asprintf (&result, "%015Le %d", - Infinityl (), 33, 44, 55);
2527     ASSERT (result != NULL);
2528     ASSERT (strcmp (result, "           -inf 33") == 0
2529             || strcmp (result, "      -infinity 33") == 0);
2530     ASSERT (retval == strlen (result));
2531     free (result);
2532   }
2533
2534   { /* FLAG_ZERO with NaN.  */
2535     char *result;
2536     int retval =
2537       my_asprintf (&result, "%050Le %d", NaNl (), 33, 44, 55);
2538     ASSERT (result != NULL);
2539     ASSERT (strlen (result) == 50 + 3
2540             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
2541             && strcmp (result + strlen (result) - 3, " 33") == 0);
2542     ASSERT (retval == strlen (result));
2543     free (result);
2544   }
2545
2546   { /* Precision.  */
2547     char *result;
2548     int retval =
2549       my_asprintf (&result, "%.Le %d", 1234.0L, 33, 44, 55);
2550     ASSERT (result != NULL);
2551     ASSERT (strcmp (result, "1e+03 33") == 0
2552             || strcmp (result, "1e+003 33") == 0);
2553     ASSERT (retval == strlen (result));
2554     free (result);
2555   }
2556
2557   { /* Precision with no rounding.  */
2558     char *result;
2559     int retval =
2560       my_asprintf (&result, "%.4Le %d", 999.951L, 33, 44, 55);
2561     ASSERT (result != NULL);
2562     ASSERT (strcmp (result, "9.9995e+02 33") == 0
2563             || strcmp (result, "9.9995e+002 33") == 0);
2564     ASSERT (retval == strlen (result));
2565     free (result);
2566   }
2567
2568   { /* Precision with rounding.  */
2569     char *result;
2570     int retval =
2571       my_asprintf (&result, "%.4Le %d", 999.996L, 33, 44, 55);
2572     ASSERT (result != NULL);
2573     ASSERT (strcmp (result, "1.0000e+03 33") == 0
2574             || strcmp (result, "1.0000e+003 33") == 0);
2575     ASSERT (retval == strlen (result));
2576     free (result);
2577   }
2578
2579   /* Test the support of the %g format directive.  */
2580
2581   { /* A positive number.  */
2582     char *result;
2583     int retval =
2584       my_asprintf (&result, "%g %d", 12.75, 33, 44, 55);
2585     ASSERT (result != NULL);
2586     ASSERT (strcmp (result, "12.75 33") == 0);
2587     ASSERT (retval == strlen (result));
2588     free (result);
2589   }
2590
2591   { /* A larger positive number.  */
2592     char *result;
2593     int retval =
2594       my_asprintf (&result, "%g %d", 1234567.0, 33, 44, 55);
2595     ASSERT (result != NULL);
2596     ASSERT (strcmp (result, "1.23457e+06 33") == 0
2597             || strcmp (result, "1.23457e+006 33") == 0);
2598     ASSERT (retval == strlen (result));
2599     free (result);
2600   }
2601
2602   { /* Small and large positive numbers.  */
2603     static struct { double value; const char *string; } data[] =
2604       {
2605         { 1.234321234321234e-37, "1.23432e-37" },
2606         { 1.234321234321234e-36, "1.23432e-36" },
2607         { 1.234321234321234e-35, "1.23432e-35" },
2608         { 1.234321234321234e-34, "1.23432e-34" },
2609         { 1.234321234321234e-33, "1.23432e-33" },
2610         { 1.234321234321234e-32, "1.23432e-32" },
2611         { 1.234321234321234e-31, "1.23432e-31" },
2612         { 1.234321234321234e-30, "1.23432e-30" },
2613         { 1.234321234321234e-29, "1.23432e-29" },
2614         { 1.234321234321234e-28, "1.23432e-28" },
2615         { 1.234321234321234e-27, "1.23432e-27" },
2616         { 1.234321234321234e-26, "1.23432e-26" },
2617         { 1.234321234321234e-25, "1.23432e-25" },
2618         { 1.234321234321234e-24, "1.23432e-24" },
2619         { 1.234321234321234e-23, "1.23432e-23" },
2620         { 1.234321234321234e-22, "1.23432e-22" },
2621         { 1.234321234321234e-21, "1.23432e-21" },
2622         { 1.234321234321234e-20, "1.23432e-20" },
2623         { 1.234321234321234e-19, "1.23432e-19" },
2624         { 1.234321234321234e-18, "1.23432e-18" },
2625         { 1.234321234321234e-17, "1.23432e-17" },
2626         { 1.234321234321234e-16, "1.23432e-16" },
2627         { 1.234321234321234e-15, "1.23432e-15" },
2628         { 1.234321234321234e-14, "1.23432e-14" },
2629         { 1.234321234321234e-13, "1.23432e-13" },
2630         { 1.234321234321234e-12, "1.23432e-12" },
2631         { 1.234321234321234e-11, "1.23432e-11" },
2632         { 1.234321234321234e-10, "1.23432e-10" },
2633         { 1.234321234321234e-9, "1.23432e-09" },
2634         { 1.234321234321234e-8, "1.23432e-08" },
2635         { 1.234321234321234e-7, "1.23432e-07" },
2636         { 1.234321234321234e-6, "1.23432e-06" },
2637         { 1.234321234321234e-5, "1.23432e-05" },
2638         { 1.234321234321234e-4, "0.000123432" },
2639         { 1.234321234321234e-3, "0.00123432" },
2640         { 1.234321234321234e-2, "0.0123432" },
2641         { 1.234321234321234e-1, "0.123432" },
2642         { 1.234321234321234, "1.23432" },
2643         { 1.234321234321234e1, "12.3432" },
2644         { 1.234321234321234e2, "123.432" },
2645         { 1.234321234321234e3, "1234.32" },
2646         { 1.234321234321234e4, "12343.2" },
2647         { 1.234321234321234e5, "123432" },
2648         { 1.234321234321234e6, "1.23432e+06" },
2649         { 1.234321234321234e7, "1.23432e+07" },
2650         { 1.234321234321234e8, "1.23432e+08" },
2651         { 1.234321234321234e9, "1.23432e+09" },
2652         { 1.234321234321234e10, "1.23432e+10" },
2653         { 1.234321234321234e11, "1.23432e+11" },
2654         { 1.234321234321234e12, "1.23432e+12" },
2655         { 1.234321234321234e13, "1.23432e+13" },
2656         { 1.234321234321234e14, "1.23432e+14" },
2657         { 1.234321234321234e15, "1.23432e+15" },
2658         { 1.234321234321234e16, "1.23432e+16" },
2659         { 1.234321234321234e17, "1.23432e+17" },
2660         { 1.234321234321234e18, "1.23432e+18" },
2661         { 1.234321234321234e19, "1.23432e+19" },
2662         { 1.234321234321234e20, "1.23432e+20" },
2663         { 1.234321234321234e21, "1.23432e+21" },
2664         { 1.234321234321234e22, "1.23432e+22" },
2665         { 1.234321234321234e23, "1.23432e+23" },
2666         { 1.234321234321234e24, "1.23432e+24" },
2667         { 1.234321234321234e25, "1.23432e+25" },
2668         { 1.234321234321234e26, "1.23432e+26" },
2669         { 1.234321234321234e27, "1.23432e+27" },
2670         { 1.234321234321234e28, "1.23432e+28" },
2671         { 1.234321234321234e29, "1.23432e+29" },
2672         { 1.234321234321234e30, "1.23432e+30" },
2673         { 1.234321234321234e31, "1.23432e+31" },
2674         { 1.234321234321234e32, "1.23432e+32" },
2675         { 1.234321234321234e33, "1.23432e+33" },
2676         { 1.234321234321234e34, "1.23432e+34" },
2677         { 1.234321234321234e35, "1.23432e+35" },
2678         { 1.234321234321234e36, "1.23432e+36" }
2679       };
2680     size_t k;
2681     for (k = 0; k < SIZEOF (data); k++)
2682       {
2683         char *result;
2684         int retval =
2685           my_asprintf (&result, "%g", data[k].value);
2686         const char *expected = data[k].string;
2687         ASSERT (result != NULL);
2688         ASSERT (strcmp (result, expected) == 0
2689                 /* Some implementations produce exponents with 3 digits.  */
2690                 || (expected[strlen (expected) - 4] == 'e'
2691                     && strlen (result) == strlen (expected) + 1
2692                     && memcmp (result, expected, strlen (expected) - 2) == 0
2693                     && result[strlen (expected) - 2] == '0'
2694                     && strcmp (result + strlen (expected) - 1,
2695                                expected + strlen (expected) - 2)
2696                        == 0));
2697         ASSERT (retval == strlen (result));
2698         free (result);
2699       }
2700   }
2701
2702   { /* A negative number.  */
2703     char *result;
2704     int retval =
2705       my_asprintf (&result, "%g %d", -0.03125, 33, 44, 55);
2706     ASSERT (result != NULL);
2707     ASSERT (strcmp (result, "-0.03125 33") == 0);
2708     ASSERT (retval == strlen (result));
2709     free (result);
2710   }
2711
2712   { /* Positive zero.  */
2713     char *result;
2714     int retval =
2715       my_asprintf (&result, "%g %d", 0.0, 33, 44, 55);
2716     ASSERT (result != NULL);
2717     ASSERT (strcmp (result, "0 33") == 0);
2718     ASSERT (retval == strlen (result));
2719     free (result);
2720   }
2721
2722   { /* Negative zero.  */
2723     char *result;
2724     int retval =
2725       my_asprintf (&result, "%g %d", minus_zerod, 33, 44, 55);
2726     ASSERT (result != NULL);
2727     if (have_minus_zero ())
2728       ASSERT (strcmp (result, "-0 33") == 0);
2729     ASSERT (retval == strlen (result));
2730     free (result);
2731   }
2732
2733   { /* Positive infinity.  */
2734     char *result;
2735     int retval =
2736       my_asprintf (&result, "%g %d", Infinityd (), 33, 44, 55);
2737     ASSERT (result != NULL);
2738     ASSERT (strcmp (result, "inf 33") == 0
2739             || strcmp (result, "infinity 33") == 0);
2740     ASSERT (retval == strlen (result));
2741     free (result);
2742   }
2743
2744   { /* Negative infinity.  */
2745     char *result;
2746     int retval =
2747       my_asprintf (&result, "%g %d", - Infinityd (), 33, 44, 55);
2748     ASSERT (result != NULL);
2749     ASSERT (strcmp (result, "-inf 33") == 0
2750             || strcmp (result, "-infinity 33") == 0);
2751     ASSERT (retval == strlen (result));
2752     free (result);
2753   }
2754
2755   { /* NaN.  */
2756     char *result;
2757     int retval =
2758       my_asprintf (&result, "%g %d", NaNd (), 33, 44, 55);
2759     ASSERT (result != NULL);
2760     ASSERT (strlen (result) >= 3 + 3
2761             && strisnan (result, 0, strlen (result) - 3, 0)
2762             && strcmp (result + strlen (result) - 3, " 33") == 0);
2763     ASSERT (retval == strlen (result));
2764     free (result);
2765   }
2766
2767   { /* Width.  */
2768     char *result;
2769     int retval =
2770       my_asprintf (&result, "%10g %d", 1.75, 33, 44, 55);
2771     ASSERT (result != NULL);
2772     ASSERT (strcmp (result, "      1.75 33") == 0);
2773     ASSERT (retval == strlen (result));
2774     free (result);
2775   }
2776
2777   { /* FLAG_LEFT.  */
2778     char *result;
2779     int retval =
2780       my_asprintf (&result, "%-10g %d", 1.75, 33, 44, 55);
2781     ASSERT (result != NULL);
2782     ASSERT (strcmp (result, "1.75       33") == 0);
2783     ASSERT (retval == strlen (result));
2784     free (result);
2785   }
2786
2787   { /* FLAG_SHOWSIGN.  */
2788     char *result;
2789     int retval =
2790       my_asprintf (&result, "%+g %d", 1.75, 33, 44, 55);
2791     ASSERT (result != NULL);
2792     ASSERT (strcmp (result, "+1.75 33") == 0);
2793     ASSERT (retval == strlen (result));
2794     free (result);
2795   }
2796
2797   { /* FLAG_SPACE.  */
2798     char *result;
2799     int retval =
2800       my_asprintf (&result, "% g %d", 1.75, 33, 44, 55);
2801     ASSERT (result != NULL);
2802     ASSERT (strcmp (result, " 1.75 33") == 0);
2803     ASSERT (retval == strlen (result));
2804     free (result);
2805   }
2806
2807   { /* FLAG_ALT.  */
2808     char *result;
2809     int retval =
2810       my_asprintf (&result, "%#g %d", 1.75, 33, 44, 55);
2811     ASSERT (result != NULL);
2812     ASSERT (strcmp (result, "1.75000 33") == 0);
2813     ASSERT (retval == strlen (result));
2814     free (result);
2815   }
2816
2817   { /* FLAG_ALT.  */
2818     char *result;
2819     int retval =
2820       my_asprintf (&result, "%#.g %d", 1.75, 33, 44, 55);
2821     ASSERT (result != NULL);
2822     ASSERT (strcmp (result, "2. 33") == 0);
2823     ASSERT (retval == strlen (result));
2824     free (result);
2825   }
2826
2827   { /* FLAG_ALT.  */
2828     char *result;
2829     int retval =
2830       my_asprintf (&result, "%#.g %d", 9.75, 33, 44, 55);
2831     ASSERT (result != NULL);
2832     ASSERT (strcmp (result, "1.e+01 33") == 0
2833             || strcmp (result, "1.e+001 33") == 0);
2834     ASSERT (retval == strlen (result));
2835     free (result);
2836   }
2837
2838   { /* FLAG_ZERO with finite number.  */
2839     char *result;
2840     int retval =
2841       my_asprintf (&result, "%010g %d", 1234.0, 33, 44, 55);
2842     ASSERT (result != NULL);
2843     ASSERT (strcmp (result, "0000001234 33") == 0);
2844     ASSERT (retval == strlen (result));
2845     free (result);
2846   }
2847
2848   { /* FLAG_ZERO with infinite number.  */
2849     char *result;
2850     int retval =
2851       my_asprintf (&result, "%015g %d", - Infinityd (), 33, 44, 55);
2852     ASSERT (result != NULL);
2853     ASSERT (strcmp (result, "           -inf 33") == 0
2854             || strcmp (result, "      -infinity 33") == 0);
2855     ASSERT (retval == strlen (result));
2856     free (result);
2857   }
2858
2859   { /* FLAG_ZERO with NaN.  */
2860     char *result;
2861     int retval =
2862       my_asprintf (&result, "%050g %d", NaNd (), 33, 44, 55);
2863     ASSERT (result != NULL);
2864     ASSERT (strlen (result) == 50 + 3
2865             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
2866             && strcmp (result + strlen (result) - 3, " 33") == 0);
2867     ASSERT (retval == strlen (result));
2868     free (result);
2869   }
2870
2871   { /* Precision.  */
2872     char *result;
2873     int retval =
2874       my_asprintf (&result, "%.g %d", 1234.0, 33, 44, 55);
2875     ASSERT (result != NULL);
2876     ASSERT (strcmp (result, "1e+03 33") == 0
2877             || strcmp (result, "1e+003 33") == 0);
2878     ASSERT (retval == strlen (result));
2879     free (result);
2880   }
2881
2882   { /* Precision with no rounding.  */
2883     char *result;
2884     int retval =
2885       my_asprintf (&result, "%.5g %d", 999.951, 33, 44, 55);
2886     ASSERT (result != NULL);
2887     ASSERT (strcmp (result, "999.95 33") == 0);
2888     ASSERT (retval == strlen (result));
2889     free (result);
2890   }
2891
2892   { /* Precision with rounding.  */
2893     char *result;
2894     int retval =
2895       my_asprintf (&result, "%.5g %d", 999.996, 33, 44, 55);
2896     ASSERT (result != NULL);
2897     ASSERT (strcmp (result, "1000 33") == 0);
2898     ASSERT (retval == strlen (result));
2899     free (result);
2900   }
2901
2902   { /* A positive number.  */
2903     char *result;
2904     int retval =
2905       my_asprintf (&result, "%Lg %d", 12.75L, 33, 44, 55);
2906     ASSERT (result != NULL);
2907     ASSERT (strcmp (result, "12.75 33") == 0);
2908     ASSERT (retval == strlen (result));
2909     free (result);
2910   }
2911
2912   { /* A larger positive number.  */
2913     char *result;
2914     int retval =
2915       my_asprintf (&result, "%Lg %d", 1234567.0L, 33, 44, 55);
2916     ASSERT (result != NULL);
2917     ASSERT (strcmp (result, "1.23457e+06 33") == 0
2918             || strcmp (result, "1.23457e+006 33") == 0);
2919     ASSERT (retval == strlen (result));
2920     free (result);
2921   }
2922
2923   { /* Small and large positive numbers.  */
2924     static struct { long double value; const char *string; } data[] =
2925       {
2926         { 1.234321234321234e-37L, "1.23432e-37" },
2927         { 1.234321234321234e-36L, "1.23432e-36" },
2928         { 1.234321234321234e-35L, "1.23432e-35" },
2929         { 1.234321234321234e-34L, "1.23432e-34" },
2930         { 1.234321234321234e-33L, "1.23432e-33" },
2931         { 1.234321234321234e-32L, "1.23432e-32" },
2932         { 1.234321234321234e-31L, "1.23432e-31" },
2933         { 1.234321234321234e-30L, "1.23432e-30" },
2934         { 1.234321234321234e-29L, "1.23432e-29" },
2935         { 1.234321234321234e-28L, "1.23432e-28" },
2936         { 1.234321234321234e-27L, "1.23432e-27" },
2937         { 1.234321234321234e-26L, "1.23432e-26" },
2938         { 1.234321234321234e-25L, "1.23432e-25" },
2939         { 1.234321234321234e-24L, "1.23432e-24" },
2940         { 1.234321234321234e-23L, "1.23432e-23" },
2941         { 1.234321234321234e-22L, "1.23432e-22" },
2942         { 1.234321234321234e-21L, "1.23432e-21" },
2943         { 1.234321234321234e-20L, "1.23432e-20" },
2944         { 1.234321234321234e-19L, "1.23432e-19" },
2945         { 1.234321234321234e-18L, "1.23432e-18" },
2946         { 1.234321234321234e-17L, "1.23432e-17" },
2947         { 1.234321234321234e-16L, "1.23432e-16" },
2948         { 1.234321234321234e-15L, "1.23432e-15" },
2949         { 1.234321234321234e-14L, "1.23432e-14" },
2950         { 1.234321234321234e-13L, "1.23432e-13" },
2951         { 1.234321234321234e-12L, "1.23432e-12" },
2952         { 1.234321234321234e-11L, "1.23432e-11" },
2953         { 1.234321234321234e-10L, "1.23432e-10" },
2954         { 1.234321234321234e-9L, "1.23432e-09" },
2955         { 1.234321234321234e-8L, "1.23432e-08" },
2956         { 1.234321234321234e-7L, "1.23432e-07" },
2957         { 1.234321234321234e-6L, "1.23432e-06" },
2958         { 1.234321234321234e-5L, "1.23432e-05" },
2959         { 1.234321234321234e-4L, "0.000123432" },
2960         { 1.234321234321234e-3L, "0.00123432" },
2961         { 1.234321234321234e-2L, "0.0123432" },
2962         { 1.234321234321234e-1L, "0.123432" },
2963         { 1.234321234321234L, "1.23432" },
2964         { 1.234321234321234e1L, "12.3432" },
2965         { 1.234321234321234e2L, "123.432" },
2966         { 1.234321234321234e3L, "1234.32" },
2967         { 1.234321234321234e4L, "12343.2" },
2968         { 1.234321234321234e5L, "123432" },
2969         { 1.234321234321234e6L, "1.23432e+06" },
2970         { 1.234321234321234e7L, "1.23432e+07" },
2971         { 1.234321234321234e8L, "1.23432e+08" },
2972         { 1.234321234321234e9L, "1.23432e+09" },
2973         { 1.234321234321234e10L, "1.23432e+10" },
2974         { 1.234321234321234e11L, "1.23432e+11" },
2975         { 1.234321234321234e12L, "1.23432e+12" },
2976         { 1.234321234321234e13L, "1.23432e+13" },
2977         { 1.234321234321234e14L, "1.23432e+14" },
2978         { 1.234321234321234e15L, "1.23432e+15" },
2979         { 1.234321234321234e16L, "1.23432e+16" },
2980         { 1.234321234321234e17L, "1.23432e+17" },
2981         { 1.234321234321234e18L, "1.23432e+18" },
2982         { 1.234321234321234e19L, "1.23432e+19" },
2983         { 1.234321234321234e20L, "1.23432e+20" },
2984         { 1.234321234321234e21L, "1.23432e+21" },
2985         { 1.234321234321234e22L, "1.23432e+22" },
2986         { 1.234321234321234e23L, "1.23432e+23" },
2987         { 1.234321234321234e24L, "1.23432e+24" },
2988         { 1.234321234321234e25L, "1.23432e+25" },
2989         { 1.234321234321234e26L, "1.23432e+26" },
2990         { 1.234321234321234e27L, "1.23432e+27" },
2991         { 1.234321234321234e28L, "1.23432e+28" },
2992         { 1.234321234321234e29L, "1.23432e+29" },
2993         { 1.234321234321234e30L, "1.23432e+30" },
2994         { 1.234321234321234e31L, "1.23432e+31" },
2995         { 1.234321234321234e32L, "1.23432e+32" },
2996         { 1.234321234321234e33L, "1.23432e+33" },
2997         { 1.234321234321234e34L, "1.23432e+34" },
2998         { 1.234321234321234e35L, "1.23432e+35" },
2999         { 1.234321234321234e36L, "1.23432e+36" }
3000       };
3001     size_t k;
3002     for (k = 0; k < SIZEOF (data); k++)
3003       {
3004         char *result;
3005         int retval =
3006           my_asprintf (&result, "%Lg", data[k].value);
3007         const char *expected = data[k].string;
3008         ASSERT (result != NULL);
3009         ASSERT (strcmp (result, expected) == 0
3010                 /* Some implementations produce exponents with 3 digits.  */
3011                 || (expected[strlen (expected) - 4] == 'e'
3012                     && strlen (result) == strlen (expected) + 1
3013                     && memcmp (result, expected, strlen (expected) - 2) == 0
3014                     && result[strlen (expected) - 2] == '0'
3015                     && strcmp (result + strlen (expected) - 1,
3016                                expected + strlen (expected) - 2)
3017                        == 0));
3018         ASSERT (retval == strlen (result));
3019         free (result);
3020       }
3021   }
3022
3023   { /* A negative number.  */
3024     char *result;
3025     int retval =
3026       my_asprintf (&result, "%Lg %d", -0.03125L, 33, 44, 55);
3027     ASSERT (result != NULL);
3028     ASSERT (strcmp (result, "-0.03125 33") == 0);
3029     ASSERT (retval == strlen (result));
3030     free (result);
3031   }
3032
3033   { /* Positive zero.  */
3034     char *result;
3035     int retval =
3036       my_asprintf (&result, "%Lg %d", 0.0L, 33, 44, 55);
3037     ASSERT (result != NULL);
3038     ASSERT (strcmp (result, "0 33") == 0);
3039     ASSERT (retval == strlen (result));
3040     free (result);
3041   }
3042
3043   { /* Negative zero.  */
3044     char *result;
3045     int retval =
3046       my_asprintf (&result, "%Lg %d", minus_zerol, 33, 44, 55);
3047     ASSERT (result != NULL);
3048     if (have_minus_zero ())
3049       ASSERT (strcmp (result, "-0 33") == 0);
3050     ASSERT (retval == strlen (result));
3051     free (result);
3052   }
3053
3054   { /* Positive infinity.  */
3055     char *result;
3056     int retval =
3057       my_asprintf (&result, "%Lg %d", Infinityl (), 33, 44, 55);
3058     ASSERT (result != NULL);
3059     ASSERT (strcmp (result, "inf 33") == 0
3060             || strcmp (result, "infinity 33") == 0);
3061     ASSERT (retval == strlen (result));
3062     free (result);
3063   }
3064
3065   { /* Negative infinity.  */
3066     char *result;
3067     int retval =
3068       my_asprintf (&result, "%Lg %d", - Infinityl (), 33, 44, 55);
3069     ASSERT (result != NULL);
3070     ASSERT (strcmp (result, "-inf 33") == 0
3071             || strcmp (result, "-infinity 33") == 0);
3072     ASSERT (retval == strlen (result));
3073     free (result);
3074   }
3075
3076   { /* NaN.  */
3077     char *result;
3078     int retval =
3079       my_asprintf (&result, "%Lg %d", NaNl (), 33, 44, 55);
3080     ASSERT (result != NULL);
3081     ASSERT (strlen (result) >= 3 + 3
3082             && strisnan (result, 0, strlen (result) - 3, 0)
3083             && strcmp (result + strlen (result) - 3, " 33") == 0);
3084     ASSERT (retval == strlen (result));
3085     free (result);
3086   }
3087 #if CHECK_PRINTF_SAFE && ((defined __ia64 && LDBL_MANT_DIG == 64) || (defined __x86_64__ || defined __amd64__) || (defined __i386 || defined __i386__ || defined _I386 || defined _M_IX86 || defined _X86_)) && !HAVE_SAME_LONG_DOUBLE_AS_DOUBLE
3088   { /* Quiet NaN.  */
3089     static union { unsigned int word[4]; long double value; } x =
3090       { LDBL80_WORDS (0xFFFF, 0xC3333333, 0x00000000) };
3091     char *result;
3092     int retval =
3093       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3094     ASSERT (result != NULL);
3095     ASSERT (strlen (result) >= 3 + 3
3096             && strisnan (result, 0, strlen (result) - 3, 0)
3097             && strcmp (result + strlen (result) - 3, " 33") == 0);
3098     ASSERT (retval == strlen (result));
3099     free (result);
3100   }
3101   {
3102     /* Signalling NaN.  */
3103     static union { unsigned int word[4]; long double value; } x =
3104       { LDBL80_WORDS (0xFFFF, 0x83333333, 0x00000000) };
3105     char *result;
3106     int retval =
3107       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3108     ASSERT (result != NULL);
3109     ASSERT (strlen (result) >= 3 + 3
3110             && strisnan (result, 0, strlen (result) - 3, 0)
3111             && strcmp (result + strlen (result) - 3, " 33") == 0);
3112     ASSERT (retval == strlen (result));
3113     free (result);
3114   }
3115   /* asprintf should print something for noncanonical values.  */
3116   { /* Pseudo-NaN.  */
3117     static union { unsigned int word[4]; long double value; } x =
3118       { LDBL80_WORDS (0xFFFF, 0x40000001, 0x00000000) };
3119     char *result;
3120     int retval =
3121       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3122     ASSERT (result != NULL);
3123     ASSERT (retval == strlen (result));
3124     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
3125     free (result);
3126   }
3127   { /* Pseudo-Infinity.  */
3128     static union { unsigned int word[4]; long double value; } x =
3129       { LDBL80_WORDS (0xFFFF, 0x00000000, 0x00000000) };
3130     char *result;
3131     int retval =
3132       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3133     ASSERT (result != NULL);
3134     ASSERT (retval == strlen (result));
3135     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
3136     free (result);
3137   }
3138   { /* Pseudo-Zero.  */
3139     static union { unsigned int word[4]; long double value; } x =
3140       { LDBL80_WORDS (0x4004, 0x00000000, 0x00000000) };
3141     char *result;
3142     int retval =
3143       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3144     ASSERT (result != NULL);
3145     ASSERT (retval == strlen (result));
3146     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
3147     free (result);
3148   }
3149   { /* Unnormalized number.  */
3150     static union { unsigned int word[4]; long double value; } x =
3151       { LDBL80_WORDS (0x4000, 0x63333333, 0x00000000) };
3152     char *result;
3153     int retval =
3154       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3155     ASSERT (result != NULL);
3156     ASSERT (retval == strlen (result));
3157     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
3158     free (result);
3159   }
3160   { /* Pseudo-Denormal.  */
3161     static union { unsigned int word[4]; long double value; } x =
3162       { LDBL80_WORDS (0x0000, 0x83333333, 0x00000000) };
3163     char *result;
3164     int retval =
3165       my_asprintf (&result, "%Lg %d", x.value, 33, 44, 55);
3166     ASSERT (result != NULL);
3167     ASSERT (retval == strlen (result));
3168     ASSERT (3 < retval && strcmp (result + retval - 3, " 33") == 0);
3169     free (result);
3170   }
3171 #endif
3172
3173   { /* Width.  */
3174     char *result;
3175     int retval =
3176       my_asprintf (&result, "%10Lg %d", 1.75L, 33, 44, 55);
3177     ASSERT (result != NULL);
3178     ASSERT (strcmp (result, "      1.75 33") == 0);
3179     ASSERT (retval == strlen (result));
3180     free (result);
3181   }
3182
3183   { /* FLAG_LEFT.  */
3184     char *result;
3185     int retval =
3186       my_asprintf (&result, "%-10Lg %d", 1.75L, 33, 44, 55);
3187     ASSERT (result != NULL);
3188     ASSERT (strcmp (result, "1.75       33") == 0);
3189     ASSERT (retval == strlen (result));
3190     free (result);
3191   }
3192
3193   { /* FLAG_SHOWSIGN.  */
3194     char *result;
3195     int retval =
3196       my_asprintf (&result, "%+Lg %d", 1.75L, 33, 44, 55);
3197     ASSERT (result != NULL);
3198     ASSERT (strcmp (result, "+1.75 33") == 0);
3199     ASSERT (retval == strlen (result));
3200     free (result);
3201   }
3202
3203   { /* FLAG_SPACE.  */
3204     char *result;
3205     int retval =
3206       my_asprintf (&result, "% Lg %d", 1.75L, 33, 44, 55);
3207     ASSERT (result != NULL);
3208     ASSERT (strcmp (result, " 1.75 33") == 0);
3209     ASSERT (retval == strlen (result));
3210     free (result);
3211   }
3212
3213   { /* FLAG_ALT.  */
3214     char *result;
3215     int retval =
3216       my_asprintf (&result, "%#Lg %d", 1.75L, 33, 44, 55);
3217     ASSERT (result != NULL);
3218     ASSERT (strcmp (result, "1.75000 33") == 0);
3219     ASSERT (retval == strlen (result));
3220     free (result);
3221   }
3222
3223   { /* FLAG_ALT.  */
3224     char *result;
3225     int retval =
3226       my_asprintf (&result, "%#.Lg %d", 1.75L, 33, 44, 55);
3227     ASSERT (result != NULL);
3228     ASSERT (strcmp (result, "2. 33") == 0);
3229     ASSERT (retval == strlen (result));
3230     free (result);
3231   }
3232
3233   { /* FLAG_ALT.  */
3234     char *result;
3235     int retval =
3236       my_asprintf (&result, "%#.Lg %d", 9.75L, 33, 44, 55);
3237     ASSERT (result != NULL);
3238     ASSERT (strcmp (result, "1.e+01 33") == 0
3239             || strcmp (result, "1.e+001 33") == 0);
3240     ASSERT (retval == strlen (result));
3241     free (result);
3242   }
3243
3244   { /* FLAG_ZERO with finite number.  */
3245     char *result;
3246     int retval =
3247       my_asprintf (&result, "%010Lg %d", 1234.0L, 33, 44, 55);
3248     ASSERT (result != NULL);
3249     ASSERT (strcmp (result, "0000001234 33") == 0);
3250     ASSERT (retval == strlen (result));
3251     free (result);
3252   }
3253
3254   { /* FLAG_ZERO with infinite number.  */
3255     char *result;
3256     int retval =
3257       my_asprintf (&result, "%015Lg %d", - Infinityl (), 33, 44, 55);
3258     ASSERT (result != NULL);
3259     ASSERT (strcmp (result, "           -inf 33") == 0
3260             || strcmp (result, "      -infinity 33") == 0);
3261     ASSERT (retval == strlen (result));
3262     free (result);
3263   }
3264
3265   { /* FLAG_ZERO with NaN.  */
3266     char *result;
3267     int retval =
3268       my_asprintf (&result, "%050Lg %d", NaNl (), 33, 44, 55);
3269     ASSERT (result != NULL);
3270     ASSERT (strlen (result) == 50 + 3
3271             && strisnan (result, strspn (result, " "), strlen (result) - 3, 0)
3272             && strcmp (result + strlen (result) - 3, " 33") == 0);
3273     ASSERT (retval == strlen (result));
3274     free (result);
3275   }
3276
3277   { /* Precision.  */
3278     char *result;
3279     int retval =
3280       my_asprintf (&result, "%.Lg %d", 1234.0L, 33, 44, 55);
3281     ASSERT (result != NULL);
3282     ASSERT (strcmp (result, "1e+03 33") == 0
3283             || strcmp (result, "1e+003 33") == 0);
3284     ASSERT (retval == strlen (result));
3285     free (result);
3286   }
3287
3288   { /* Precision with no rounding.  */
3289     char *result;
3290     int retval =
3291       my_asprintf (&result, "%.5Lg %d", 999.951L, 33, 44, 55);
3292     ASSERT (result != NULL);
3293     ASSERT (strcmp (result, "999.95 33") == 0);
3294     ASSERT (retval == strlen (result));
3295     free (result);
3296   }
3297
3298   { /* Precision with rounding.  */
3299     char *result;
3300     int retval =
3301       my_asprintf (&result, "%.5Lg %d", 999.996L, 33, 44, 55);
3302     ASSERT (result != NULL);
3303     ASSERT (strcmp (result, "1000 33") == 0);
3304     ASSERT (retval == strlen (result));
3305     free (result);
3306   }
3307
3308   /* Test the support of the %n format directive.  */
3309
3310   {
3311     int count = -1;
3312     char *result;
3313     int retval =
3314       my_asprintf (&result, "%d %n", 123, &count, 33, 44, 55);
3315     ASSERT (result != NULL);
3316     ASSERT (strcmp (result, "123 ") == 0);
3317     ASSERT (retval == strlen (result));
3318     ASSERT (count == 4);
3319     free (result);
3320   }
3321
3322   /* Test the support of the POSIX/XSI format strings with positions.  */
3323
3324   {
3325     char *result;
3326     int retval =
3327       my_asprintf (&result, "%2$d %1$d", 33, 55);
3328     ASSERT (result != NULL);
3329     ASSERT (strcmp (result, "55 33") == 0);
3330     ASSERT (retval == strlen (result));
3331     free (result);
3332   }
3333
3334   /* Test the support of the grouping flag.  */
3335
3336   {
3337     char *result;
3338     int retval =
3339       my_asprintf (&result, "%'d %d", 1234567, 99);
3340     ASSERT (result != NULL);
3341     ASSERT (result[strlen (result) - 1] == '9');
3342     ASSERT (retval == strlen (result));
3343     free (result);
3344   }
3345
3346   /* Test the support of the left-adjust flag.  */
3347
3348   {
3349     char *result;
3350     int retval =
3351       my_asprintf (&result, "a%*sc", -3, "b");
3352     ASSERT (result != NULL);
3353     ASSERT (strcmp (result, "ab  c") == 0);
3354     ASSERT (retval == strlen (result));
3355     free (result);
3356   }
3357
3358   {
3359     char *result;
3360     int retval =
3361       my_asprintf (&result, "a%-*sc", 3, "b");
3362     ASSERT (result != NULL);
3363     ASSERT (strcmp (result, "ab  c") == 0);
3364     ASSERT (retval == strlen (result));
3365     free (result);
3366   }
3367
3368   {
3369     char *result;
3370     int retval =
3371       my_asprintf (&result, "a%-*sc", -3, "b");
3372     ASSERT (result != NULL);
3373     ASSERT (strcmp (result, "ab  c") == 0);
3374     ASSERT (retval == strlen (result));
3375     free (result);
3376   }
3377
3378   /* Test the support of large precision.  */
3379
3380   {
3381     char *result;
3382     int retval =
3383       my_asprintf (&result, "%.4000d %d", 1234567, 99);
3384     size_t i;
3385     ASSERT (result != NULL);
3386     for (i = 0; i < 4000 - 7; i++)
3387       ASSERT (result[i] == '0');
3388     ASSERT (strcmp (result + 4000 - 7, "1234567 99") == 0);
3389     ASSERT (retval == strlen (result));
3390     free (result);
3391   }
3392
3393   {
3394     char *result;
3395     int retval =
3396       my_asprintf (&result, "%.*d %d", 4000, 1234567, 99);
3397     size_t i;
3398     ASSERT (result != NULL);
3399     for (i = 0; i < 4000 - 7; i++)
3400       ASSERT (result[i] == '0');
3401     ASSERT (strcmp (result + 4000 - 7, "1234567 99") == 0);
3402     ASSERT (retval == strlen (result));
3403     free (result);
3404   }
3405
3406   {
3407     char *result;
3408     int retval =
3409       my_asprintf (&result, "%.4000d %d", -1234567, 99);
3410     size_t i;
3411     ASSERT (result != NULL);
3412     ASSERT (result[0] == '-');
3413     for (i = 0; i < 4000 - 7; i++)
3414       ASSERT (result[1 + i] == '0');
3415     ASSERT (strcmp (result + 1 + 4000 - 7, "1234567 99") == 0);
3416     ASSERT (retval == strlen (result));
3417     free (result);
3418   }
3419
3420   {
3421     char *result;
3422     int retval =
3423       my_asprintf (&result, "%.4000u %d", 1234567, 99);
3424     size_t i;
3425     ASSERT (result != NULL);
3426     for (i = 0; i < 4000 - 7; i++)
3427       ASSERT (result[i] == '0');
3428     ASSERT (strcmp (result + 4000 - 7, "1234567 99") == 0);
3429     ASSERT (retval == strlen (result));
3430     free (result);
3431   }
3432
3433   {
3434     char *result;
3435     int retval =
3436       my_asprintf (&result, "%.4000o %d", 1234567, 99);
3437     size_t i;
3438     ASSERT (result != NULL);
3439     for (i = 0; i < 4000 - 7; i++)
3440       ASSERT (result[i] == '0');
3441     ASSERT (strcmp (result + 4000 - 7, "4553207 99") == 0);
3442     ASSERT (retval == strlen (result));
3443     free (result);
3444   }
3445
3446   {
3447     char *result;
3448     int retval =
3449       my_asprintf (&result, "%.4000x %d", 1234567, 99);
3450     size_t i;
3451     ASSERT (result != NULL);
3452     for (i = 0; i < 4000 - 6; i++)
3453       ASSERT (result[i] == '0');
3454     ASSERT (strcmp (result + 4000 - 6, "12d687 99") == 0);
3455     ASSERT (retval == strlen (result));
3456     free (result);
3457   }
3458
3459   {
3460     char *result;
3461     int retval =
3462       my_asprintf (&result, "%#.4000x %d", 1234567, 99);
3463     size_t i;
3464     ASSERT (result != NULL);
3465     ASSERT (result[0] == '0');
3466     ASSERT (result[1] == 'x');
3467     for (i = 0; i < 4000 - 6; i++)
3468       ASSERT (result[2 + i] == '0');
3469     ASSERT (strcmp (result + 2 + 4000 - 6, "12d687 99") == 0);
3470     ASSERT (retval == strlen (result));
3471     free (result);
3472   }
3473
3474   {
3475     char *result;
3476     int retval =
3477       my_asprintf (&result, "%.4000f %d", 1.0, 99);
3478     size_t i;
3479     ASSERT (result != NULL);
3480     ASSERT (result[0] == '1');
3481     ASSERT (result[1] == '.');
3482     for (i = 0; i < 4000; i++)
3483       ASSERT (result[2 + i] == '0');
3484     ASSERT (strcmp (result + 2 + 4000, " 99") == 0);
3485     ASSERT (retval == strlen (result));
3486     free (result);
3487   }
3488
3489   {
3490     char *result;
3491     int retval =
3492       my_asprintf (&result, "%.511f %d", 1.0, 99);
3493     size_t i;
3494     ASSERT (result != NULL);
3495     ASSERT (result[0] == '1');
3496     ASSERT (result[1] == '.');
3497     for (i = 0; i < 511; i++)
3498       ASSERT (result[2 + i] == '0');
3499     ASSERT (strcmp (result + 2 + 511, " 99") == 0);
3500     ASSERT (retval == strlen (result));
3501     free (result);
3502   }
3503
3504   {
3505     char input[5000];
3506     char *result;
3507     int retval;
3508     size_t i;
3509
3510     for (i = 0; i < sizeof (input) - 1; i++)
3511       input[i] = 'a' + ((1000000 / (i + 1)) % 26);
3512     input[i] = '\0';
3513     retval = my_asprintf (&result, "%.4000s %d", input, 99);
3514     ASSERT (result != NULL);
3515     ASSERT (memcmp (result, input, 4000) == 0);
3516     ASSERT (strcmp (result + 4000, " 99") == 0);
3517     ASSERT (retval == strlen (result));
3518     free (result);
3519   }
3520
3521   /* Test the support of the %s format directive.  */
3522
3523   /* To verify that these tests succeed, it is necessary to run them under
3524      a tool that checks against invalid memory accesses, such as ElectricFence
3525      or "valgrind --tool=memcheck".  */
3526   {
3527     size_t i;
3528
3529     for (i = 1; i <= 8; i++)
3530       {
3531         char *block;
3532         char *result;
3533         int retval;
3534
3535         block = (char *) malloc (i);
3536         memcpy (block, "abcdefgh", i);
3537         retval = my_asprintf (&result, "%.*s", (int) i, block);
3538         ASSERT (result != NULL);
3539         ASSERT (memcmp (result, block, i) == 0);
3540         ASSERT (result[i] == '\0');
3541         ASSERT (retval == strlen (result));
3542         free (result);
3543         free (block);
3544       }
3545   }
3546 #if HAVE_WCHAR_T
3547   {
3548     size_t i;
3549
3550     for (i = 1; i <= 8; i++)
3551       {
3552         wchar_t *block;
3553         size_t j;
3554         char *result;
3555         int retval;
3556
3557         block = (wchar_t *) malloc (i * sizeof (wchar_t));
3558         for (j = 0; j < i; j++)
3559           block[j] = "abcdefgh"[j];
3560         retval = my_asprintf (&result, "%.*ls", (int) i, block);
3561         ASSERT (result != NULL);
3562         ASSERT (memcmp (result, "abcdefgh", i) == 0);
3563         ASSERT (result[i] == '\0');
3564         ASSERT (retval == strlen (result));
3565         free (result);
3566         free (block);
3567       }
3568   }
3569 #endif
3570 }
3571
3572 static int
3573 my_asprintf (char **result, const char *format, ...)
3574 {
3575   va_list args;
3576   int ret;
3577
3578   va_start (args, format);
3579   ret = vasprintf (result, format, args);
3580   va_end (args);
3581   return ret;
3582 }
3583
3584 static void
3585 test_vasprintf ()
3586 {
3587   test_function (my_asprintf);
3588 }
3589
3590 static void
3591 test_asprintf ()
3592 {
3593   test_function (asprintf);
3594 }
3595
3596 int
3597 main (int argc, char *argv[])
3598 {
3599   test_vasprintf ();
3600   test_asprintf ();
3601   return 0;
3602 }