1 /* Test of POSIX compatible vsnprintf() and snprintf() functions.
2 Copyright (C) 2007 Free Software Foundation, Inc.
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 2, or (at your option)
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.
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, write to the Free Software Foundation,
16 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */
18 /* Written by Bruno Haible <bruno@clisp.org>, 2007. */
20 /* The Compaq (ex-DEC) C 6.4 compiler chokes on the expression 0.0 / 0.0. */
25 static double zero = 0.0;
29 # define NaN() (0.0 / 0.0)
33 strmatch (const char *pattern, const char *string)
35 if (strlen (pattern) != strlen (string))
37 for (; *pattern != '\0'; pattern++, string++)
38 if (*pattern != '*' && *string != *pattern)
44 test_function (int (*my_snprintf) (char *, size_t, const char *, ...))
49 /* Test return value convention. */
51 for (size = 0; size <= 8; size++)
55 memcpy (buf, "DEADBEEF", 8);
56 retval = my_snprintf (buf, size, "%d", 12345);
62 ASSERT (memcmp (buf, "12345", size - 1) == 0);
63 ASSERT (buf[size - 1] == '\0');
65 ASSERT (memcmp (buf + size, "DEADBEEF" + size, 8 - size) == 0);
69 ASSERT (memcmp (buf, "12345\0EF", 8) == 0);
73 /* Test support of size specifiers as in C99. */
78 my_snprintf (result, sizeof (result), "%ju %d", (uintmax_t) 12345671, 33, 44, 55);
79 ASSERT (strcmp (result, "12345671 33") == 0);
80 ASSERT (retval == strlen (result));
86 my_snprintf (result, sizeof (result), "%zu %d", (size_t) 12345672, 33, 44, 55);
87 ASSERT (strcmp (result, "12345672 33") == 0);
88 ASSERT (retval == strlen (result));
94 my_snprintf (result, sizeof (result), "%tu %d", (ptrdiff_t) 12345673, 33, 44, 55);
95 ASSERT (strcmp (result, "12345673 33") == 0);
96 ASSERT (retval == strlen (result));
102 my_snprintf (result, sizeof (result), "%Lg %d", (long double) 1.5, 33, 44, 55);
103 ASSERT (strcmp (result, "1.5 33") == 0);
104 ASSERT (retval == strlen (result));
107 /* Test the support of the 'a' and 'A' conversion specifier for hexadecimal
108 output of floating-point numbers. */
110 { /* A positive number. */
113 my_snprintf (result, sizeof (result), "%a %d", 3.1416015625, 33, 44, 55);
114 ASSERT (strcmp (result, "0x1.922p+1 33") == 0
115 || strcmp (result, "0x3.244p+0 33") == 0
116 || strcmp (result, "0x6.488p-1 33") == 0
117 || strcmp (result, "0xc.91p-2 33") == 0);
118 ASSERT (retval == strlen (result));
121 { /* A negative number. */
124 my_snprintf (result, sizeof (result), "%A %d", -3.1416015625, 33, 44, 55);
125 ASSERT (strcmp (result, "-0X1.922P+1 33") == 0
126 || strcmp (result, "-0X3.244P+0 33") == 0
127 || strcmp (result, "-0X6.488P-1 33") == 0
128 || strcmp (result, "-0XC.91P-2 33") == 0);
129 ASSERT (retval == strlen (result));
132 { /* Positive zero. */
135 my_snprintf (result, sizeof (result), "%a %d", 0.0, 33, 44, 55);
136 ASSERT (strcmp (result, "0x0p+0 33") == 0);
137 ASSERT (retval == strlen (result));
140 { /* Negative zero. */
143 my_snprintf (result, sizeof (result), "%a %d", -0.0, 33, 44, 55);
144 ASSERT (strcmp (result, "-0x0p+0 33") == 0);
145 ASSERT (retval == strlen (result));
148 { /* Positive infinity. */
151 my_snprintf (result, sizeof (result), "%a %d", 1.0 / 0.0, 33, 44, 55);
152 ASSERT (strcmp (result, "inf 33") == 0);
153 ASSERT (retval == strlen (result));
156 { /* Negative infinity. */
159 my_snprintf (result, sizeof (result), "%a %d", -1.0 / 0.0, 33, 44, 55);
160 ASSERT (strcmp (result, "-inf 33") == 0);
161 ASSERT (retval == strlen (result));
167 my_snprintf (result, sizeof (result), "%a %d", NaN (), 33, 44, 55);
168 ASSERT (strcmp (result, "nan 33") == 0);
169 ASSERT (retval == strlen (result));
172 { /* Rounding near the decimal point. */
175 my_snprintf (result, sizeof (result), "%.0a %d", 1.5, 33, 44, 55);
176 ASSERT (strcmp (result, "0x2p+0 33") == 0
177 || strcmp (result, "0x3p-1 33") == 0
178 || strcmp (result, "0x6p-2 33") == 0
179 || strcmp (result, "0xcp-3 33") == 0);
180 ASSERT (retval == strlen (result));
183 { /* Rounding with precision 0. */
186 my_snprintf (result, sizeof (result), "%.0a %d", 1.51, 33, 44, 55);
187 ASSERT (strcmp (result, "0x2p+0 33") == 0
188 || strcmp (result, "0x3p-1 33") == 0
189 || strcmp (result, "0x6p-2 33") == 0
190 || strcmp (result, "0xcp-3 33") == 0);
191 ASSERT (retval == strlen (result));
194 { /* Rounding with precision 1. */
197 my_snprintf (result, sizeof (result), "%.1a %d", 1.51, 33, 44, 55);
198 ASSERT (strcmp (result, "0x1.8p+0 33") == 0
199 || strcmp (result, "0x3.0p-1 33") == 0
200 || strcmp (result, "0x6.1p-2 33") == 0
201 || strcmp (result, "0xc.1p-3 33") == 0);
202 ASSERT (retval == strlen (result));
205 { /* Rounding with precision 2. */
208 my_snprintf (result, sizeof (result), "%.2a %d", 1.51, 33, 44, 55);
209 ASSERT (strcmp (result, "0x1.83p+0 33") == 0
210 || strcmp (result, "0x3.05p-1 33") == 0
211 || strcmp (result, "0x6.0ap-2 33") == 0
212 || strcmp (result, "0xc.14p-3 33") == 0);
213 ASSERT (retval == strlen (result));
216 { /* Rounding with precision 3. */
219 my_snprintf (result, sizeof (result), "%.3a %d", 1.51, 33, 44, 55);
220 ASSERT (strcmp (result, "0x1.829p+0 33") == 0
221 || strcmp (result, "0x3.052p-1 33") == 0
222 || strcmp (result, "0x6.0a4p-2 33") == 0
223 || strcmp (result, "0xc.148p-3 33") == 0);
224 ASSERT (retval == strlen (result));
227 { /* Rounding can turn a ...FFF into a ...000. */
230 my_snprintf (result, sizeof (result), "%.3a %d", 1.49999, 33, 44, 55);
231 ASSERT (strcmp (result, "0x1.800p+0 33") == 0
232 || strcmp (result, "0x3.000p-1 33") == 0
233 || strcmp (result, "0x6.000p-2 33") == 0
234 || strcmp (result, "0xc.000p-3 33") == 0);
235 ASSERT (retval == strlen (result));
238 { /* Rounding can turn a ...FFF into a ...000.
239 This shows a MacOS X 10.3.9 (Darwin 7.9) bug. */
242 my_snprintf (result, sizeof (result), "%.1a %d", 1.999, 33, 44, 55);
243 ASSERT (strcmp (result, "0x1.0p+1 33") == 0
244 || strcmp (result, "0x2.0p+0 33") == 0
245 || strcmp (result, "0x4.0p-1 33") == 0
246 || strcmp (result, "0x8.0p-2 33") == 0);
247 ASSERT (retval == strlen (result));
253 my_snprintf (result, sizeof (result), "%10a %d", 1.75, 33, 44, 55);
254 ASSERT (strcmp (result, " 0x1.cp+0 33") == 0
255 || strcmp (result, " 0x3.8p-1 33") == 0
256 || strcmp (result, " 0x7p-2 33") == 0
257 || strcmp (result, " 0xep-3 33") == 0);
258 ASSERT (retval == strlen (result));
261 { /* Small precision. */
264 my_snprintf (result, sizeof (result), "%.10a %d", 1.75, 33, 44, 55);
265 ASSERT (strcmp (result, "0x1.c000000000p+0 33") == 0
266 || strcmp (result, "0x3.8000000000p-1 33") == 0
267 || strcmp (result, "0x7.0000000000p-2 33") == 0
268 || strcmp (result, "0xe.0000000000p-3 33") == 0);
269 ASSERT (retval == strlen (result));
272 { /* Large precision. */
275 my_snprintf (result, sizeof (result), "%.50a %d", 1.75, 33, 44, 55);
276 ASSERT (strcmp (result, "0x1.c0000000000000000000000000000000000000000000000000p+0 33") == 0
277 || strcmp (result, "0x3.80000000000000000000000000000000000000000000000000p-1 33") == 0
278 || strcmp (result, "0x7.00000000000000000000000000000000000000000000000000p-2 33") == 0
279 || strcmp (result, "0xe.00000000000000000000000000000000000000000000000000p-3 33") == 0);
280 ASSERT (retval == strlen (result));
286 my_snprintf (result, sizeof (result), "%-10a %d", 1.75, 33, 44, 55);
287 ASSERT (strcmp (result, "0x1.cp+0 33") == 0
288 || strcmp (result, "0x3.8p-1 33") == 0
289 || strcmp (result, "0x7p-2 33") == 0
290 || strcmp (result, "0xep-3 33") == 0);
291 ASSERT (retval == strlen (result));
294 { /* FLAG_SHOWSIGN. */
297 my_snprintf (result, sizeof (result), "%+a %d", 1.75, 33, 44, 55);
298 ASSERT (strcmp (result, "+0x1.cp+0 33") == 0
299 || strcmp (result, "+0x3.8p-1 33") == 0
300 || strcmp (result, "+0x7p-2 33") == 0
301 || strcmp (result, "+0xep-3 33") == 0);
302 ASSERT (retval == strlen (result));
308 my_snprintf (result, sizeof (result), "% a %d", 1.75, 33, 44, 55);
309 ASSERT (strcmp (result, " 0x1.cp+0 33") == 0
310 || strcmp (result, " 0x3.8p-1 33") == 0
311 || strcmp (result, " 0x7p-2 33") == 0
312 || strcmp (result, " 0xep-3 33") == 0);
313 ASSERT (retval == strlen (result));
319 my_snprintf (result, sizeof (result), "%#a %d", 1.75, 33, 44, 55);
320 ASSERT (strcmp (result, "0x1.cp+0 33") == 0
321 || strcmp (result, "0x3.8p-1 33") == 0
322 || strcmp (result, "0x7.p-2 33") == 0
323 || strcmp (result, "0xe.p-3 33") == 0);
324 ASSERT (retval == strlen (result));
330 my_snprintf (result, sizeof (result), "%#a %d", 1.0, 33, 44, 55);
331 ASSERT (strcmp (result, "0x1.p+0 33") == 0
332 || strcmp (result, "0x2.p-1 33") == 0
333 || strcmp (result, "0x4.p-2 33") == 0
334 || strcmp (result, "0x8.p-3 33") == 0);
335 ASSERT (retval == strlen (result));
338 { /* FLAG_ZERO with finite number. */
341 my_snprintf (result, sizeof (result), "%010a %d", 1.75, 33, 44, 55);
342 ASSERT (strcmp (result, "0x001.cp+0 33") == 0
343 || strcmp (result, "0x003.8p-1 33") == 0
344 || strcmp (result, "0x00007p-2 33") == 0
345 || strcmp (result, "0x0000ep-3 33") == 0);
346 ASSERT (retval == strlen (result));
349 { /* FLAG_ZERO with infinite number. */
352 my_snprintf (result, sizeof (result), "%010a %d", 1.0 / 0.0, 33, 44, 55);
353 /* "0000000inf 33" is not a valid result; see
354 <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
355 ASSERT (strcmp (result, " inf 33") == 0);
356 ASSERT (retval == strlen (result));
359 { /* FLAG_ZERO with NaN. */
362 my_snprintf (result, sizeof (result), "%010a %d", NaN (), 33, 44, 55);
363 /* "0000000nan 33" is not a valid result; see
364 <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
365 ASSERT (strcmp (result, " nan 33") == 0);
366 ASSERT (retval == strlen (result));
369 { /* A positive number. */
372 my_snprintf (result, sizeof (result), "%La %d", 3.1416015625L, 33, 44, 55);
373 ASSERT (strcmp (result, "0x1.922p+1 33") == 0
374 || strcmp (result, "0x3.244p+0 33") == 0
375 || strcmp (result, "0x6.488p-1 33") == 0
376 || strcmp (result, "0xc.91p-2 33") == 0);
377 ASSERT (retval == strlen (result));
380 { /* A negative number. */
383 my_snprintf (result, sizeof (result), "%LA %d", -3.1416015625L, 33, 44, 55);
384 ASSERT (strcmp (result, "-0X1.922P+1 33") == 0
385 || strcmp (result, "-0X3.244P+0 33") == 0
386 || strcmp (result, "-0X6.488P-1 33") == 0
387 || strcmp (result, "-0XC.91P-2 33") == 0);
388 ASSERT (retval == strlen (result));
391 { /* Positive zero. */
394 my_snprintf (result, sizeof (result), "%La %d", 0.0L, 33, 44, 55);
395 ASSERT (strcmp (result, "0x0p+0 33") == 0);
396 ASSERT (retval == strlen (result));
399 { /* Negative zero. */
402 my_snprintf (result, sizeof (result), "%La %d", -0.0L, 33, 44, 55);
403 ASSERT (strcmp (result, "-0x0p+0 33") == 0);
404 ASSERT (retval == strlen (result));
407 { /* Positive infinity. */
410 my_snprintf (result, sizeof (result), "%La %d", 1.0L / 0.0L, 33, 44, 55);
411 ASSERT (strcmp (result, "inf 33") == 0);
412 ASSERT (retval == strlen (result));
415 { /* Negative infinity. */
418 my_snprintf (result, sizeof (result), "%La %d", -1.0L / 0.0L, 33, 44, 55);
419 ASSERT (strcmp (result, "-inf 33") == 0);
420 ASSERT (retval == strlen (result));
426 my_snprintf (result, sizeof (result), "%La %d", 0.0L / 0.0L, 33, 44, 55);
427 ASSERT (strcmp (result, "nan 33") == 0);
428 ASSERT (retval == strlen (result));
431 { /* Rounding near the decimal point. */
434 my_snprintf (result, sizeof (result), "%.0La %d", 1.5L, 33, 44, 55);
435 ASSERT (strcmp (result, "0x2p+0 33") == 0
436 || strcmp (result, "0x3p-1 33") == 0
437 || strcmp (result, "0x6p-2 33") == 0
438 || strcmp (result, "0xcp-3 33") == 0);
439 ASSERT (retval == strlen (result));
442 { /* Rounding with precision 0. */
445 my_snprintf (result, sizeof (result), "%.0La %d", 1.51L, 33, 44, 55);
446 ASSERT (strcmp (result, "0x2p+0 33") == 0
447 || strcmp (result, "0x3p-1 33") == 0
448 || strcmp (result, "0x6p-2 33") == 0
449 || strcmp (result, "0xcp-3 33") == 0);
450 ASSERT (retval == strlen (result));
453 { /* Rounding with precision 1. */
456 my_snprintf (result, sizeof (result), "%.1La %d", 1.51L, 33, 44, 55);
457 ASSERT (strcmp (result, "0x1.8p+0 33") == 0
458 || strcmp (result, "0x3.0p-1 33") == 0
459 || strcmp (result, "0x6.1p-2 33") == 0
460 || strcmp (result, "0xc.1p-3 33") == 0);
461 ASSERT (retval == strlen (result));
464 { /* Rounding with precision 2. */
467 my_snprintf (result, sizeof (result), "%.2La %d", 1.51L, 33, 44, 55);
468 ASSERT (strcmp (result, "0x1.83p+0 33") == 0
469 || strcmp (result, "0x3.05p-1 33") == 0
470 || strcmp (result, "0x6.0ap-2 33") == 0
471 || strcmp (result, "0xc.14p-3 33") == 0);
472 ASSERT (retval == strlen (result));
475 { /* Rounding with precision 3. */
478 my_snprintf (result, sizeof (result), "%.3La %d", 1.51L, 33, 44, 55);
479 ASSERT (strcmp (result, "0x1.829p+0 33") == 0
480 || strcmp (result, "0x3.052p-1 33") == 0
481 || strcmp (result, "0x6.0a4p-2 33") == 0
482 || strcmp (result, "0xc.148p-3 33") == 0);
483 ASSERT (retval == strlen (result));
486 { /* Rounding can turn a ...FFF into a ...000. */
489 my_snprintf (result, sizeof (result), "%.3La %d", 1.49999L, 33, 44, 55);
490 ASSERT (strcmp (result, "0x1.800p+0 33") == 0
491 || strcmp (result, "0x3.000p-1 33") == 0
492 || strcmp (result, "0x6.000p-2 33") == 0
493 || strcmp (result, "0xc.000p-3 33") == 0);
494 ASSERT (retval == strlen (result));
497 { /* Rounding can turn a ...FFF into a ...000.
498 This shows a MacOS X 10.3.9 (Darwin 7.9) bug and a
499 glibc 2.4 bug <http://sourceware.org/bugzilla/show_bug.cgi?id=2908>. */
502 my_snprintf (result, sizeof (result), "%.1La %d", 1.999L, 33, 44, 55);
503 ASSERT (strcmp (result, "0x1.0p+1 33") == 0
504 || strcmp (result, "0x2.0p+0 33") == 0
505 || strcmp (result, "0x4.0p-1 33") == 0
506 || strcmp (result, "0x8.0p-2 33") == 0);
507 ASSERT (retval == strlen (result));
513 my_snprintf (result, sizeof (result), "%10La %d", 1.75L, 33, 44, 55);
514 ASSERT (strcmp (result, " 0x1.cp+0 33") == 0
515 || strcmp (result, " 0x3.8p-1 33") == 0
516 || strcmp (result, " 0x7p-2 33") == 0
517 || strcmp (result, " 0xep-3 33") == 0);
518 ASSERT (retval == strlen (result));
521 { /* Small precision. */
524 my_snprintf (result, sizeof (result), "%.10La %d", 1.75L, 33, 44, 55);
525 ASSERT (strcmp (result, "0x1.c000000000p+0 33") == 0
526 || strcmp (result, "0x3.8000000000p-1 33") == 0
527 || strcmp (result, "0x7.0000000000p-2 33") == 0
528 || strcmp (result, "0xe.0000000000p-3 33") == 0);
529 ASSERT (retval == strlen (result));
532 { /* Large precision. */
535 my_snprintf (result, sizeof (result), "%.50La %d", 1.75L, 33, 44, 55);
536 ASSERT (strcmp (result, "0x1.c0000000000000000000000000000000000000000000000000p+0 33") == 0
537 || strcmp (result, "0x3.80000000000000000000000000000000000000000000000000p-1 33") == 0
538 || strcmp (result, "0x7.00000000000000000000000000000000000000000000000000p-2 33") == 0
539 || strcmp (result, "0xe.00000000000000000000000000000000000000000000000000p-3 33") == 0);
540 ASSERT (retval == strlen (result));
546 my_snprintf (result, sizeof (result), "%-10La %d", 1.75L, 33, 44, 55);
547 ASSERT (strcmp (result, "0x1.cp+0 33") == 0
548 || strcmp (result, "0x3.8p-1 33") == 0
549 || strcmp (result, "0x7p-2 33") == 0
550 || strcmp (result, "0xep-3 33") == 0);
551 ASSERT (retval == strlen (result));
554 { /* FLAG_SHOWSIGN. */
557 my_snprintf (result, sizeof (result), "%+La %d", 1.75L, 33, 44, 55);
558 ASSERT (strcmp (result, "+0x1.cp+0 33") == 0
559 || strcmp (result, "+0x3.8p-1 33") == 0
560 || strcmp (result, "+0x7p-2 33") == 0
561 || strcmp (result, "+0xep-3 33") == 0);
562 ASSERT (retval == strlen (result));
568 my_snprintf (result, sizeof (result), "% La %d", 1.75L, 33, 44, 55);
569 ASSERT (strcmp (result, " 0x1.cp+0 33") == 0
570 || strcmp (result, " 0x3.8p-1 33") == 0
571 || strcmp (result, " 0x7p-2 33") == 0
572 || strcmp (result, " 0xep-3 33") == 0);
573 ASSERT (retval == strlen (result));
579 my_snprintf (result, sizeof (result), "%#La %d", 1.75L, 33, 44, 55);
580 ASSERT (strcmp (result, "0x1.cp+0 33") == 0
581 || strcmp (result, "0x3.8p-1 33") == 0
582 || strcmp (result, "0x7.p-2 33") == 0
583 || strcmp (result, "0xe.p-3 33") == 0);
584 ASSERT (retval == strlen (result));
590 my_snprintf (result, sizeof (result), "%#La %d", 1.0L, 33, 44, 55);
591 ASSERT (strcmp (result, "0x1.p+0 33") == 0
592 || strcmp (result, "0x2.p-1 33") == 0
593 || strcmp (result, "0x4.p-2 33") == 0
594 || strcmp (result, "0x8.p-3 33") == 0);
595 ASSERT (retval == strlen (result));
598 { /* FLAG_ZERO with finite number. */
601 my_snprintf (result, sizeof (result), "%010La %d", 1.75L, 33, 44, 55);
602 ASSERT (strcmp (result, "0x001.cp+0 33") == 0
603 || strcmp (result, "0x003.8p-1 33") == 0
604 || strcmp (result, "0x00007p-2 33") == 0
605 || strcmp (result, "0x0000ep-3 33") == 0);
606 ASSERT (retval == strlen (result));
609 { /* FLAG_ZERO with infinite number. */
612 my_snprintf (result, sizeof (result), "%010La %d", 1.0L / 0.0L, 33, 44, 55);
613 /* "0000000inf 33" is not a valid result; see
614 <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
615 ASSERT (strcmp (result, " inf 33") == 0);
616 ASSERT (retval == strlen (result));
619 { /* FLAG_ZERO with NaN. */
622 my_snprintf (result, sizeof (result), "%010La %d", 0.0L / 0.0L, 33, 44, 55);
623 /* "0000000nan 33" is not a valid result; see
624 <http://lists.gnu.org/archive/html/bug-gnulib/2007-04/msg00107.html> */
625 ASSERT (strcmp (result, " nan 33") == 0);
626 ASSERT (retval == strlen (result));
629 /* Test the support of the %f format directive. */
631 { /* A positive number. */
634 my_snprintf (result, sizeof (result), "%f %d", 12.75, 33, 44, 55);
635 ASSERT (strcmp (result, "12.750000 33") == 0);
636 ASSERT (retval == strlen (result));
639 { /* A larger positive number. */
642 my_snprintf (result, sizeof (result), "%f %d", 1234567.0, 33, 44, 55);
643 ASSERT (strcmp (result, "1234567.000000 33") == 0);
644 ASSERT (retval == strlen (result));
647 { /* Small and large positive numbers. */
648 static struct { double value; const char *string; } data[] =
650 { 1.234321234321234e-37, "0.000000" },
651 { 1.234321234321234e-36, "0.000000" },
652 { 1.234321234321234e-35, "0.000000" },
653 { 1.234321234321234e-34, "0.000000" },
654 { 1.234321234321234e-33, "0.000000" },
655 { 1.234321234321234e-32, "0.000000" },
656 { 1.234321234321234e-31, "0.000000" },
657 { 1.234321234321234e-30, "0.000000" },
658 { 1.234321234321234e-29, "0.000000" },
659 { 1.234321234321234e-28, "0.000000" },
660 { 1.234321234321234e-27, "0.000000" },
661 { 1.234321234321234e-26, "0.000000" },
662 { 1.234321234321234e-25, "0.000000" },
663 { 1.234321234321234e-24, "0.000000" },
664 { 1.234321234321234e-23, "0.000000" },
665 { 1.234321234321234e-22, "0.000000" },
666 { 1.234321234321234e-21, "0.000000" },
667 { 1.234321234321234e-20, "0.000000" },
668 { 1.234321234321234e-19, "0.000000" },
669 { 1.234321234321234e-18, "0.000000" },
670 { 1.234321234321234e-17, "0.000000" },
671 { 1.234321234321234e-16, "0.000000" },
672 { 1.234321234321234e-15, "0.000000" },
673 { 1.234321234321234e-14, "0.000000" },
674 { 1.234321234321234e-13, "0.000000" },
675 { 1.234321234321234e-12, "0.000000" },
676 { 1.234321234321234e-11, "0.000000" },
677 { 1.234321234321234e-10, "0.000000" },
678 { 1.234321234321234e-9, "0.000000" },
679 { 1.234321234321234e-8, "0.000000" },
680 { 1.234321234321234e-7, "0.000000" },
681 { 1.234321234321234e-6, "0.000001" },
682 { 1.234321234321234e-5, "0.000012" },
683 { 1.234321234321234e-4, "0.000123" },
684 { 1.234321234321234e-3, "0.001234" },
685 { 1.234321234321234e-2, "0.012343" },
686 { 1.234321234321234e-1, "0.123432" },
687 { 1.234321234321234, "1.234321" },
688 { 1.234321234321234e1, "12.343212" },
689 { 1.234321234321234e2, "123.432123" },
690 { 1.234321234321234e3, "1234.321234" },
691 { 1.234321234321234e4, "12343.212343" },
692 { 1.234321234321234e5, "123432.123432" },
693 { 1.234321234321234e6, "1234321.234321" },
694 { 1.234321234321234e7, "12343212.343212" },
695 { 1.234321234321234e8, "123432123.432123" },
696 { 1.234321234321234e9, "1234321234.321234" },
697 { 1.234321234321234e10, "12343212343.2123**" },
698 { 1.234321234321234e11, "123432123432.123***" },
699 { 1.234321234321234e12, "1234321234321.23****" },
700 { 1.234321234321234e13, "12343212343212.3*****" },
701 { 1.234321234321234e14, "123432123432123.******" },
702 { 1.234321234321234e15, "1234321234321234.000000" },
703 { 1.234321234321234e16, "123432123432123**.000000" },
704 { 1.234321234321234e17, "123432123432123***.000000" },
705 { 1.234321234321234e18, "123432123432123****.000000" },
706 { 1.234321234321234e19, "123432123432123*****.000000" },
707 { 1.234321234321234e20, "123432123432123******.000000" },
708 { 1.234321234321234e21, "123432123432123*******.000000" },
709 { 1.234321234321234e22, "123432123432123********.000000" },
710 { 1.234321234321234e23, "123432123432123*********.000000" },
711 { 1.234321234321234e24, "123432123432123**********.000000" },
712 { 1.234321234321234e25, "123432123432123***********.000000" },
713 { 1.234321234321234e26, "123432123432123************.000000" },
714 { 1.234321234321234e27, "123432123432123*************.000000" },
715 { 1.234321234321234e28, "123432123432123**************.000000" },
716 { 1.234321234321234e29, "123432123432123***************.000000" },
717 { 1.234321234321234e30, "123432123432123****************.000000" },
718 { 1.234321234321234e31, "123432123432123*****************.000000" },
719 { 1.234321234321234e32, "123432123432123******************.000000" },
720 { 1.234321234321234e33, "123432123432123*******************.000000" },
721 { 1.234321234321234e34, "123432123432123********************.000000" },
722 { 1.234321234321234e35, "123432123432123*********************.000000" },
723 { 1.234321234321234e36, "123432123432123**********************.000000" }
726 for (k = 0; k < SIZEOF (data); k++)
730 my_snprintf (result, sizeof (result), "%f", data[k].value);
731 ASSERT (strmatch (data[k].string, result));
732 ASSERT (retval == strlen (result));
736 { /* A negative number. */
739 my_snprintf (result, sizeof (result), "%f %d", -0.03125, 33, 44, 55);
740 ASSERT (strcmp (result, "-0.031250 33") == 0);
741 ASSERT (retval == strlen (result));
744 { /* Positive zero. */
747 my_snprintf (result, sizeof (result), "%f %d", 0.0, 33, 44, 55);
748 ASSERT (strcmp (result, "0.000000 33") == 0);
749 ASSERT (retval == strlen (result));
752 { /* Negative zero. */
755 my_snprintf (result, sizeof (result), "%f %d", -0.0, 33, 44, 55);
756 ASSERT (strcmp (result, "-0.000000 33") == 0);
757 ASSERT (retval == strlen (result));
760 { /* Positive infinity. */
763 my_snprintf (result, sizeof (result), "%f %d", 1.0 / 0.0, 33, 44, 55);
764 ASSERT (strcmp (result, "inf 33") == 0
765 || strcmp (result, "infinity 33") == 0);
766 ASSERT (retval == strlen (result));
769 { /* Negative infinity. */
772 my_snprintf (result, sizeof (result), "%f %d", -1.0 / 0.0, 33, 44, 55);
773 ASSERT (strcmp (result, "-inf 33") == 0
774 || strcmp (result, "-infinity 33") == 0);
775 ASSERT (retval == strlen (result));
781 my_snprintf (result, sizeof (result), "%f %d", NaN (), 33, 44, 55);
782 ASSERT (strcmp (result, "nan 33") == 0);
783 ASSERT (retval == strlen (result));
789 my_snprintf (result, sizeof (result), "%10f %d", 1.75, 33, 44, 55);
790 ASSERT (result != NULL);
791 ASSERT (strcmp (result, " 1.750000 33") == 0);
792 ASSERT (retval == strlen (result));
798 my_snprintf (result, sizeof (result), "%-10f %d", 1.75, 33, 44, 55);
799 ASSERT (result != NULL);
800 ASSERT (strcmp (result, "1.750000 33") == 0);
801 ASSERT (retval == strlen (result));
804 { /* FLAG_SHOWSIGN. */
807 my_snprintf (result, sizeof (result), "%+f %d", 1.75, 33, 44, 55);
808 ASSERT (result != NULL);
809 ASSERT (strcmp (result, "+1.750000 33") == 0);
810 ASSERT (retval == strlen (result));
816 my_snprintf (result, sizeof (result), "% f %d", 1.75, 33, 44, 55);
817 ASSERT (result != NULL);
818 ASSERT (strcmp (result, " 1.750000 33") == 0);
819 ASSERT (retval == strlen (result));
825 my_snprintf (result, sizeof (result), "%#f %d", 1.75, 33, 44, 55);
826 ASSERT (result != NULL);
827 ASSERT (strcmp (result, "1.750000 33") == 0);
828 ASSERT (retval == strlen (result));
834 my_snprintf (result, sizeof (result), "%#.f %d", 1.75, 33, 44, 55);
835 ASSERT (result != NULL);
836 ASSERT (strcmp (result, "2. 33") == 0);
837 ASSERT (retval == strlen (result));
840 { /* FLAG_ZERO with finite number. */
843 my_snprintf (result, sizeof (result), "%015f %d", 1234.0, 33, 44, 55);
844 ASSERT (strcmp (result, "00001234.000000 33") == 0);
845 ASSERT (retval == strlen (result));
848 { /* FLAG_ZERO with infinite number. */
851 my_snprintf (result, sizeof (result), "%015f %d", -1.0 / 0.0, 33, 44, 55);
852 ASSERT (strcmp (result, " -inf 33") == 0
853 || strcmp (result, " -infinity 33") == 0);
854 ASSERT (retval == strlen (result));
857 { /* FLAG_ZERO with NaN. */
860 my_snprintf (result, sizeof (result), "%015f %d", NaN (), 33, 44, 55);
861 ASSERT (strcmp (result, " nan 33") == 0);
862 ASSERT (retval == strlen (result));
868 my_snprintf (result, sizeof (result), "%.f %d", 1234.0, 33, 44, 55);
869 ASSERT (strcmp (result, "1234 33") == 0);
870 ASSERT (retval == strlen (result));
873 { /* A positive number. */
876 my_snprintf (result, sizeof (result), "%Lf %d", 12.75L, 33, 44, 55);
877 ASSERT (strcmp (result, "12.750000 33") == 0);
878 ASSERT (retval == strlen (result));
881 { /* A larger positive number. */
884 my_snprintf (result, sizeof (result), "%Lf %d", 1234567.0L, 33, 44, 55);
885 ASSERT (strcmp (result, "1234567.000000 33") == 0);
886 ASSERT (retval == strlen (result));
889 { /* Small and large positive numbers. */
890 static struct { long double value; const char *string; } data[] =
892 { 1.234321234321234e-37L, "0.000000" },
893 { 1.234321234321234e-36L, "0.000000" },
894 { 1.234321234321234e-35L, "0.000000" },
895 { 1.234321234321234e-34L, "0.000000" },
896 { 1.234321234321234e-33L, "0.000000" },
897 { 1.234321234321234e-32L, "0.000000" },
898 { 1.234321234321234e-31L, "0.000000" },
899 { 1.234321234321234e-30L, "0.000000" },
900 { 1.234321234321234e-29L, "0.000000" },
901 { 1.234321234321234e-28L, "0.000000" },
902 { 1.234321234321234e-27L, "0.000000" },
903 { 1.234321234321234e-26L, "0.000000" },
904 { 1.234321234321234e-25L, "0.000000" },
905 { 1.234321234321234e-24L, "0.000000" },
906 { 1.234321234321234e-23L, "0.000000" },
907 { 1.234321234321234e-22L, "0.000000" },
908 { 1.234321234321234e-21L, "0.000000" },
909 { 1.234321234321234e-20L, "0.000000" },
910 { 1.234321234321234e-19L, "0.000000" },
911 { 1.234321234321234e-18L, "0.000000" },
912 { 1.234321234321234e-17L, "0.000000" },
913 { 1.234321234321234e-16L, "0.000000" },
914 { 1.234321234321234e-15L, "0.000000" },
915 { 1.234321234321234e-14L, "0.000000" },
916 { 1.234321234321234e-13L, "0.000000" },
917 { 1.234321234321234e-12L, "0.000000" },
918 { 1.234321234321234e-11L, "0.000000" },
919 { 1.234321234321234e-10L, "0.000000" },
920 { 1.234321234321234e-9L, "0.000000" },
921 { 1.234321234321234e-8L, "0.000000" },
922 { 1.234321234321234e-7L, "0.000000" },
923 { 1.234321234321234e-6L, "0.000001" },
924 { 1.234321234321234e-5L, "0.000012" },
925 { 1.234321234321234e-4L, "0.000123" },
926 { 1.234321234321234e-3L, "0.001234" },
927 { 1.234321234321234e-2L, "0.012343" },
928 { 1.234321234321234e-1L, "0.123432" },
929 { 1.234321234321234L, "1.234321" },
930 { 1.234321234321234e1L, "12.343212" },
931 { 1.234321234321234e2L, "123.432123" },
932 { 1.234321234321234e3L, "1234.321234" },
933 { 1.234321234321234e4L, "12343.212343" },
934 { 1.234321234321234e5L, "123432.123432" },
935 { 1.234321234321234e6L, "1234321.234321" },
936 { 1.234321234321234e7L, "12343212.343212" },
937 { 1.234321234321234e8L, "123432123.432123" },
938 { 1.234321234321234e9L, "1234321234.321234" },
939 { 1.234321234321234e10L, "12343212343.2123**" },
940 { 1.234321234321234e11L, "123432123432.123***" },
941 { 1.234321234321234e12L, "1234321234321.23****" },
942 { 1.234321234321234e13L, "12343212343212.3*****" },
943 { 1.234321234321234e14L, "123432123432123.******" },
944 { 1.234321234321234e15L, "1234321234321234.000000" },
945 { 1.234321234321234e16L, "123432123432123**.000000" },
946 { 1.234321234321234e17L, "123432123432123***.000000" },
947 { 1.234321234321234e18L, "123432123432123****.000000" },
948 { 1.234321234321234e19L, "123432123432123*****.000000" },
949 { 1.234321234321234e20L, "123432123432123******.000000" },
950 { 1.234321234321234e21L, "123432123432123*******.000000" },
951 { 1.234321234321234e22L, "123432123432123********.000000" },
952 { 1.234321234321234e23L, "123432123432123*********.000000" },
953 { 1.234321234321234e24L, "123432123432123**********.000000" },
954 { 1.234321234321234e25L, "123432123432123***********.000000" },
955 { 1.234321234321234e26L, "123432123432123************.000000" },
956 { 1.234321234321234e27L, "123432123432123*************.000000" },
957 { 1.234321234321234e28L, "123432123432123**************.000000" },
958 { 1.234321234321234e29L, "123432123432123***************.000000" },
959 { 1.234321234321234e30L, "123432123432123****************.000000" },
960 { 1.234321234321234e31L, "123432123432123*****************.000000" },
961 { 1.234321234321234e32L, "123432123432123******************.000000" },
962 { 1.234321234321234e33L, "123432123432123*******************.000000" },
963 { 1.234321234321234e34L, "123432123432123********************.000000" },
964 { 1.234321234321234e35L, "123432123432123*********************.000000" },
965 { 1.234321234321234e36L, "123432123432123**********************.000000" }
968 for (k = 0; k < SIZEOF (data); k++)
972 my_snprintf (result, sizeof (result), "%Lf", data[k].value);
973 ASSERT (strmatch (data[k].string, result));
974 ASSERT (retval == strlen (result));
978 { /* A negative number. */
981 my_snprintf (result, sizeof (result), "%Lf %d", -0.03125L, 33, 44, 55);
982 ASSERT (strcmp (result, "-0.031250 33") == 0);
983 ASSERT (retval == strlen (result));
986 { /* Positive zero. */
989 my_snprintf (result, sizeof (result), "%Lf %d", 0.0L, 33, 44, 55);
990 ASSERT (strcmp (result, "0.000000 33") == 0);
991 ASSERT (retval == strlen (result));
994 { /* Negative zero. */
997 my_snprintf (result, sizeof (result), "%Lf %d", -0.0L, 33, 44, 55);
998 ASSERT (strcmp (result, "-0.000000 33") == 0);
999 ASSERT (retval == strlen (result));
1002 { /* Positive infinity. */
1005 my_snprintf (result, sizeof (result), "%Lf %d", 1.0L / 0.0L, 33, 44, 55);
1006 ASSERT (strcmp (result, "inf 33") == 0
1007 || strcmp (result, "infinity 33") == 0);
1008 ASSERT (retval == strlen (result));
1011 { /* Negative infinity. */
1014 my_snprintf (result, sizeof (result), "%Lf %d", -1.0L / 0.0L, 33, 44, 55);
1015 ASSERT (strcmp (result, "-inf 33") == 0
1016 || strcmp (result, "-infinity 33") == 0);
1017 ASSERT (retval == strlen (result));
1021 static long double zero = 0.0L;
1024 my_snprintf (result, sizeof (result), "%Lf %d", zero / zero, 33, 44, 55);
1025 ASSERT (strcmp (result, "nan 33") == 0);
1026 ASSERT (retval == strlen (result));
1032 my_snprintf (result, sizeof (result), "%10Lf %d", 1.75L, 33, 44, 55);
1033 ASSERT (result != NULL);
1034 ASSERT (strcmp (result, " 1.750000 33") == 0);
1035 ASSERT (retval == strlen (result));
1041 my_snprintf (result, sizeof (result), "%-10Lf %d", 1.75L, 33, 44, 55);
1042 ASSERT (result != NULL);
1043 ASSERT (strcmp (result, "1.750000 33") == 0);
1044 ASSERT (retval == strlen (result));
1047 { /* FLAG_SHOWSIGN. */
1050 my_snprintf (result, sizeof (result), "%+Lf %d", 1.75L, 33, 44, 55);
1051 ASSERT (result != NULL);
1052 ASSERT (strcmp (result, "+1.750000 33") == 0);
1053 ASSERT (retval == strlen (result));
1059 my_snprintf (result, sizeof (result), "% Lf %d", 1.75L, 33, 44, 55);
1060 ASSERT (result != NULL);
1061 ASSERT (strcmp (result, " 1.750000 33") == 0);
1062 ASSERT (retval == strlen (result));
1068 my_snprintf (result, sizeof (result), "%#Lf %d", 1.75L, 33, 44, 55);
1069 ASSERT (result != NULL);
1070 ASSERT (strcmp (result, "1.750000 33") == 0);
1071 ASSERT (retval == strlen (result));
1077 my_snprintf (result, sizeof (result), "%#.Lf %d", 1.75L, 33, 44, 55);
1078 ASSERT (result != NULL);
1079 ASSERT (strcmp (result, "2. 33") == 0);
1080 ASSERT (retval == strlen (result));
1083 { /* FLAG_ZERO with finite number. */
1086 my_snprintf (result, sizeof (result), "%015Lf %d", 1234.0L, 33, 44, 55);
1087 ASSERT (strcmp (result, "00001234.000000 33") == 0);
1088 ASSERT (retval == strlen (result));
1091 { /* FLAG_ZERO with infinite number. */
1094 my_snprintf (result, sizeof (result), "%015Lf %d", -1.0L / 0.0L, 33, 44, 55);
1095 ASSERT (strcmp (result, " -inf 33") == 0
1096 || strcmp (result, " -infinity 33") == 0);
1097 ASSERT (retval == strlen (result));
1100 { /* FLAG_ZERO with NaN. */
1101 static long double zero = 0.0L;
1104 my_snprintf (result, sizeof (result), "%015Lf %d", zero / zero, 33, 44, 55);
1105 ASSERT (strcmp (result, " nan 33") == 0);
1106 ASSERT (retval == strlen (result));
1112 my_snprintf (result, sizeof (result), "%.Lf %d", 1234.0L, 33, 44, 55);
1113 ASSERT (strcmp (result, "1234 33") == 0);
1114 ASSERT (retval == strlen (result));
1117 /* Test the support of the %F format directive. */
1119 { /* A positive number. */
1122 my_snprintf (result, sizeof (result), "%F %d", 12.75, 33, 44, 55);
1123 ASSERT (strcmp (result, "12.750000 33") == 0);
1124 ASSERT (retval == strlen (result));
1127 { /* A larger positive number. */
1130 my_snprintf (result, sizeof (result), "%F %d", 1234567.0, 33, 44, 55);
1131 ASSERT (strcmp (result, "1234567.000000 33") == 0);
1132 ASSERT (retval == strlen (result));
1135 { /* A negative number. */
1138 my_snprintf (result, sizeof (result), "%F %d", -0.03125, 33, 44, 55);
1139 ASSERT (strcmp (result, "-0.031250 33") == 0);
1140 ASSERT (retval == strlen (result));
1143 { /* Positive zero. */
1146 my_snprintf (result, sizeof (result), "%F %d", 0.0, 33, 44, 55);
1147 ASSERT (strcmp (result, "0.000000 33") == 0);
1148 ASSERT (retval == strlen (result));
1151 { /* Negative zero. */
1154 my_snprintf (result, sizeof (result), "%F %d", -0.0, 33, 44, 55);
1155 ASSERT (strcmp (result, "-0.000000 33") == 0);
1156 ASSERT (retval == strlen (result));
1159 { /* Positive infinity. */
1162 my_snprintf (result, sizeof (result), "%F %d", 1.0 / 0.0, 33, 44, 55);
1163 ASSERT (strcmp (result, "INF 33") == 0
1164 || strcmp (result, "INFINITY 33") == 0);
1165 ASSERT (retval == strlen (result));
1168 { /* Negative infinity. */
1171 my_snprintf (result, sizeof (result), "%F %d", -1.0 / 0.0, 33, 44, 55);
1172 ASSERT (strcmp (result, "-INF 33") == 0
1173 || strcmp (result, "-INFINITY 33") == 0);
1174 ASSERT (retval == strlen (result));
1180 my_snprintf (result, sizeof (result), "%F %d", NaN (), 33, 44, 55);
1181 ASSERT (strcmp (result, "NAN 33") == 0);
1182 ASSERT (retval == strlen (result));
1188 my_snprintf (result, sizeof (result), "%015F %d", 1234.0, 33, 44, 55);
1189 ASSERT (strcmp (result, "00001234.000000 33") == 0);
1190 ASSERT (retval == strlen (result));
1193 { /* FLAG_ZERO with infinite number. */
1196 my_snprintf (result, sizeof (result), "%015F %d", -1.0 / 0.0, 33, 44, 55);
1197 ASSERT (strcmp (result, " -INF 33") == 0
1198 || strcmp (result, " -INFINITY 33") == 0);
1199 ASSERT (retval == strlen (result));
1205 my_snprintf (result, sizeof (result), "%.F %d", 1234.0, 33, 44, 55);
1206 ASSERT (strcmp (result, "1234 33") == 0);
1207 ASSERT (retval == strlen (result));
1210 { /* A positive number. */
1213 my_snprintf (result, sizeof (result), "%LF %d", 12.75L, 33, 44, 55);
1214 ASSERT (strcmp (result, "12.750000 33") == 0);
1215 ASSERT (retval == strlen (result));
1218 { /* A larger positive number. */
1221 my_snprintf (result, sizeof (result), "%LF %d", 1234567.0L, 33, 44, 55);
1222 ASSERT (strcmp (result, "1234567.000000 33") == 0);
1223 ASSERT (retval == strlen (result));
1226 { /* A negative number. */
1229 my_snprintf (result, sizeof (result), "%LF %d", -0.03125L, 33, 44, 55);
1230 ASSERT (strcmp (result, "-0.031250 33") == 0);
1231 ASSERT (retval == strlen (result));
1234 { /* Positive zero. */
1237 my_snprintf (result, sizeof (result), "%LF %d", 0.0L, 33, 44, 55);
1238 ASSERT (strcmp (result, "0.000000 33") == 0);
1239 ASSERT (retval == strlen (result));
1242 { /* Negative zero. */
1245 my_snprintf (result, sizeof (result), "%LF %d", -0.0L, 33, 44, 55);
1246 ASSERT (strcmp (result, "-0.000000 33") == 0);
1247 ASSERT (retval == strlen (result));
1250 { /* Positive infinity. */
1253 my_snprintf (result, sizeof (result), "%LF %d", 1.0L / 0.0L, 33, 44, 55);
1254 ASSERT (strcmp (result, "INF 33") == 0
1255 || strcmp (result, "INFINITY 33") == 0);
1256 ASSERT (retval == strlen (result));
1259 { /* Negative infinity. */
1262 my_snprintf (result, sizeof (result), "%LF %d", -1.0L / 0.0L, 33, 44, 55);
1263 ASSERT (strcmp (result, "-INF 33") == 0
1264 || strcmp (result, "-INFINITY 33") == 0);
1265 ASSERT (retval == strlen (result));
1269 static long double zero = 0.0L;
1272 my_snprintf (result, sizeof (result), "%LF %d", zero / zero, 33, 44, 55);
1273 ASSERT (strcmp (result, "NAN 33") == 0);
1274 ASSERT (retval == strlen (result));
1280 my_snprintf (result, sizeof (result), "%015LF %d", 1234.0L, 33, 44, 55);
1281 ASSERT (strcmp (result, "00001234.000000 33") == 0);
1282 ASSERT (retval == strlen (result));
1285 { /* FLAG_ZERO with infinite number. */
1288 my_snprintf (result, sizeof (result), "%015LF %d", -1.0L / 0.0L, 33, 44, 55);
1289 ASSERT (strcmp (result, " -INF 33") == 0
1290 || strcmp (result, " -INFINITY 33") == 0);
1291 ASSERT (retval == strlen (result));
1297 my_snprintf (result, sizeof (result), "%.LF %d", 1234.0L, 33, 44, 55);
1298 ASSERT (strcmp (result, "1234 33") == 0);
1299 ASSERT (retval == strlen (result));
1302 /* Test the support of the %n format directive. */
1308 my_snprintf (result, sizeof (result), "%d %n", 123, &count, 33, 44, 55);
1309 ASSERT (strcmp (result, "123 ") == 0);
1310 ASSERT (retval == strlen (result));
1311 ASSERT (count == 4);
1314 /* Test the support of the POSIX/XSI format strings with positions. */
1319 my_snprintf (result, sizeof (result), "%2$d %1$d", 33, 55);
1320 ASSERT (strcmp (result, "55 33") == 0);
1321 ASSERT (retval == strlen (result));
1324 /* Test the support of the grouping flag. */
1329 my_snprintf (result, sizeof (result), "%'d %d", 1234567, 99);
1330 ASSERT (result[strlen (result) - 1] == '9');
1331 ASSERT (retval == strlen (result));