From ccc053ead71ef63dbcef5d13d603ab0bc762fbc6 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Tue, 25 Jun 2024 01:09:28 +0200 Subject: [PATCH] vzsnprintf-posix: Add tests. * tests/test-vzsnprintf-posix.c: New file. * tests/test-zsnprintf-posix.h: New file, based on tests/test-snprintf-posix.h. * modules/vzsnprintf-posix-tests: New file. --- ChangeLog | 6 ++ modules/vzsnprintf-posix-tests | 14 +++ tests/test-vzsnprintf-posix.c | 48 +++++++++ tests/test-zsnprintf-posix.h | 183 +++++++++++++++++++++++++++++++++ 4 files changed, 251 insertions(+) create mode 100644 modules/vzsnprintf-posix-tests create mode 100644 tests/test-vzsnprintf-posix.c create mode 100644 tests/test-zsnprintf-posix.h diff --git a/ChangeLog b/ChangeLog index 6b7006d2da..84abf933b8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2024-06-24 Bruno Haible + vzsnprintf-posix: Add tests. + * tests/test-vzsnprintf-posix.c: New file. + * tests/test-zsnprintf-posix.h: New file, based on + tests/test-snprintf-posix.h. + * modules/vzsnprintf-posix-tests: New file. + vzsnprintf-posix: New module. * modules/vzsnprintf-posix: New file. diff --git a/modules/vzsnprintf-posix-tests b/modules/vzsnprintf-posix-tests new file mode 100644 index 0000000000..58df0a2436 --- /dev/null +++ b/modules/vzsnprintf-posix-tests @@ -0,0 +1,14 @@ +Files: +tests/test-vzsnprintf-posix.c +tests/test-zsnprintf-posix.h +tests/infinity.h +tests/macros.h + +Depends-on: +nan + +configure.ac: + +Makefile.am: +TESTS += test-vzsnprintf-posix +check_PROGRAMS += test-vzsnprintf-posix diff --git a/tests/test-vzsnprintf-posix.c b/tests/test-vzsnprintf-posix.c new file mode 100644 index 0000000000..e44b94cafc --- /dev/null +++ b/tests/test-vzsnprintf-posix.c @@ -0,0 +1,48 @@ +/* Test of POSIX compatible vzsnprintf() 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-zsnprintf-posix.h" + +static ptrdiff_t +my_zsnprintf (char *str, size_t size, const char *format, ...) +{ + va_list args; + ptrdiff_t ret; + + va_start (args, format); + ret = vzsnprintf (str, size, format, args); + va_end (args); + return ret; +} + +int +main (int argc, char *argv[]) +{ + test_function (my_zsnprintf); + return test_exit_status; +} diff --git a/tests/test-zsnprintf-posix.h b/tests/test-zsnprintf-posix.h new file mode 100644 index 0000000000..64639d4f17 --- /dev/null +++ b/tests/test-zsnprintf-posix.h @@ -0,0 +1,183 @@ +/* Test of POSIX compatible vzsnprintf() and zsnprintf() 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-snprintf-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_zsnprintf) (char *, size_t, 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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (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_zsnprintf (result, sizeof (result), "%b %d", 12345, 33, 44, 55); + ASSERT (strcmp (result, "11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + } +} -- 2.39.5