From: Bruno Haible Date: Mon, 24 Jun 2024 23:09:49 +0000 (+0200) Subject: vzsprintf-posix: Add tests. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=20ac07997afaf79bcd26379c067f82c4c958988c;p=gnulib.git vzsprintf-posix: Add tests. * tests/test-vzsprintf-posix.c: New file. * tests/test-zsprintf-posix.h: New file, based on tests/test-zsnprintf-posix.h. * modules/vzsprintf-posix-tests: New file. --- diff --git a/ChangeLog b/ChangeLog index aba08dc3e2..45a312df53 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2024-06-24 Bruno Haible + vzsprintf-posix: Add tests. + * tests/test-vzsprintf-posix.c: New file. + * tests/test-zsprintf-posix.h: New file, based on + tests/test-zsnprintf-posix.h. + * modules/vzsprintf-posix-tests: New file. + vzsprintf-posix: New module. * modules/vzsprintf-posix: New file. diff --git a/modules/vzsprintf-posix-tests b/modules/vzsprintf-posix-tests new file mode 100644 index 0000000000..ea4682d504 --- /dev/null +++ b/modules/vzsprintf-posix-tests @@ -0,0 +1,14 @@ +Files: +tests/test-vzsprintf-posix.c +tests/test-zsprintf-posix.h +tests/infinity.h +tests/macros.h + +Depends-on: +nan + +configure.ac: + +Makefile.am: +TESTS += test-vzsprintf-posix +check_PROGRAMS += test-vzsprintf-posix diff --git a/tests/test-vzsprintf-posix.c b/tests/test-vzsprintf-posix.c new file mode 100644 index 0000000000..a3dd260731 --- /dev/null +++ b/tests/test-vzsprintf-posix.c @@ -0,0 +1,48 @@ +/* Test of POSIX compatible vzsprintf() function. + Copyright (C) 2007-2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* Written by Bruno Haible , 2007. */ + +#include + +#include + +#include +#include +#include + +#include "macros.h" + +#include "test-zsprintf-posix.h" + +static ptrdiff_t +my_zsprintf (char *str, const char *format, ...) +{ + va_list args; + ptrdiff_t ret; + + va_start (args, format); + ret = vzsprintf (str, format, args); + va_end (args); + return ret; +} + +int +main (int argc, char *argv[]) +{ + test_function (my_zsprintf); + return test_exit_status; +} diff --git a/tests/test-zsprintf-posix.h b/tests/test-zsprintf-posix.h new file mode 100644 index 0000000000..c12754970d --- /dev/null +++ b/tests/test-zsprintf-posix.h @@ -0,0 +1,183 @@ +/* Test of POSIX compatible vzsprintf() and zsprintf() functions. + Copyright (C) 2007-2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* Written by Bruno Haible , 2024. */ + +/* This test exercises only a few POSIX compliance problems that are still + visible on platforms relevant in 2024. For a much more complete test suite, + see test-sprintf-posix.h. */ + +#include "infinity.h" +#include "nan.h" + +/* Test whether string[start_index..end_index-1] is a valid textual + representation of NaN. */ +static int +strisnan (const char *string, size_t start_index, size_t end_index, int uppercase) +{ + if (start_index < end_index) + { + if (string[start_index] == '-') + start_index++; + if (start_index + 3 <= end_index + && memcmp (string + start_index, uppercase ? "NAN" : "nan", 3) == 0) + { + start_index += 3; + if (start_index == end_index + || (string[start_index] == '(' && string[end_index - 1] == ')')) + return 1; + } + } + return 0; +} + +static void +test_function (ptrdiff_t (*my_zsprintf) (char *, const char *, ...)) +{ + char result[5000]; + + /* Test the support of the 'a' and 'A' conversion specifier for hexadecimal + output of floating-point numbers. */ + + { /* This test would fail on Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%a %d", 3.1416015625, 33, 44, 55); + ASSERT (strcmp (result, "0x1.922p+1 33") == 0 + || strcmp (result, "0x3.244p+0 33") == 0 + || strcmp (result, "0x6.488p-1 33") == 0 + || strcmp (result, "0xc.91p-2 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%A %d", -3.1416015625, 33, 44, 55); + ASSERT (strcmp (result, "-0X1.922P+1 33") == 0 + || strcmp (result, "-0X3.244P+0 33") == 0 + || strcmp (result, "-0X6.488P-1 33") == 0 + || strcmp (result, "-0XC.91P-2 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on FreeBSD 6.1, NetBSD 10.0. */ + ptrdiff_t retval = + my_zsprintf (result, "%.2a %d", 1.51, 33, 44, 55); + ASSERT (strcmp (result, "0x1.83p+0 33") == 0 + || strcmp (result, "0x3.05p-1 33") == 0 + || strcmp (result, "0x6.0ap-2 33") == 0 + || strcmp (result, "0xc.14p-3 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on macOS 14, FreeBSD 14.0, OpenBSD 7.5, AIX 7.3, + Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%.0a %d", 1.51, 33, 44, 55); + ASSERT (strcmp (result, "0x2p+0 33") == 0 + || strcmp (result, "0x3p-1 33") == 0 + || strcmp (result, "0x6p-2 33") == 0 + || strcmp (result, "0xcp-3 33") == 0); + ASSERT (retval == strlen (result)); + } + + /* Test the support of the %f format directive. */ + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%f %d", Infinityd (), 33, 44, 55); + ASSERT (strcmp (result, "inf 33") == 0 + || strcmp (result, "infinity 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%f %d", NaNd (), 33, 44, 55); + ASSERT (strlen (result) >= 3 + 3 + && strisnan (result, 0, strlen (result) - 3, 0) + && strcmp (result + strlen (result) - 3, " 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%010f %d", Infinityd (), 33, 44, 55); + ASSERT (strcmp (result, " inf 33") == 0 + || strcmp (result, " infinity 33") == 0); + ASSERT (retval == strlen (result)); + } + + /* Test the support of the %e format directive. */ + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%e %d", Infinityd (), 33, 44, 55); + ASSERT (strcmp (result, "inf 33") == 0 + || strcmp (result, "infinity 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%e %d", NaNd (), 33, 44, 55); + ASSERT (strlen (result) >= 3 + 3 + && strisnan (result, 0, strlen (result) - 3, 0) + && strcmp (result + strlen (result) - 3, " 33") == 0); + ASSERT (retval == strlen (result)); + } + + /* Test the support of the %g format directive. */ + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%g %d", Infinityd (), 33, 44, 55); + ASSERT (strcmp (result, "inf 33") == 0 + || strcmp (result, "infinity 33") == 0); + ASSERT (retval == strlen (result)); + } + + { /* This test would fail on AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%g %d", NaNd (), 33, 44, 55); + ASSERT (strlen (result) >= 3 + 3 + && strisnan (result, 0, strlen (result) - 3, 0) + && strcmp (result + strlen (result) - 3, " 33") == 0); + ASSERT (retval == strlen (result)); + } + + /* Test the support of large precision. */ + + { /* This test would fail on AIX 7.1. */ + ptrdiff_t retval = + my_zsprintf (result, "%.4000d %d", 1234567, 99); + size_t i; + for (i = 0; i < 4000 - 7; i++) + ASSERT (result[i] == '0'); + ASSERT (strcmp (result + 4000 - 7, "1234567 99") == 0); + ASSERT (retval == strlen (result)); + } + + /* Test the support of the 'b' conversion specifier for binary output of + integers. */ + + { /* This test would fail on glibc 2.34, musl libc, macOS 14, + FreeBSD 13.2, NetBSD 10.0, OpenBSD 7.5, AIX 7.3, Solaris 11.4. */ + ptrdiff_t retval = + my_zsprintf (result, "%b %d", 12345, 33, 44, 55); + ASSERT (strcmp (result, "11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + } +}