>From fa8e2b3669b60f3e316ac7d0fd638e19d960672f Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Fri, 24 Mar 2023 11:29:58 +0100 Subject: [PATCH 13/31] vasprintf-gnu: Add tests. * tests/test-vasprintf-gnu.c: New file, based on tests/test-vasprintf-posix.c and tests/test-vasnprintf-gnu.c. * modules/vasprintf-gnu-tests: New file, based on modules/vasprintf-posix-tests. --- ChangeLog | 6 + modules/vasprintf-gnu-tests | 12 ++ tests/test-vasprintf-gnu.c | 275 ++++++++++++++++++++++++++++++++++++ 3 files changed, 293 insertions(+) create mode 100644 modules/vasprintf-gnu-tests create mode 100644 tests/test-vasprintf-gnu.c diff --git a/ChangeLog b/ChangeLog index 4810cf6291..6ab03e83a1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2023-03-24 Bruno Haible + vasprintf-gnu: Add tests. + * tests/test-vasprintf-gnu.c: New file, based on + tests/test-vasprintf-posix.c and tests/test-vasnprintf-gnu.c. + * modules/vasprintf-gnu-tests: New file, based on + modules/vasprintf-posix-tests. + vasprintf-gnu: New module. * m4/vasprintf-posix.m4 (gl_FUNC_VASPRINTF_IS_POSIX): New macro, extracted from gl_FUNC_VASPRINTF_POSIX. diff --git a/modules/vasprintf-gnu-tests b/modules/vasprintf-gnu-tests new file mode 100644 index 0000000000..5dc0974d04 --- /dev/null +++ b/modules/vasprintf-gnu-tests @@ -0,0 +1,12 @@ +Files: +tests/test-vasprintf-gnu.c +tests/macros.h + +Depends-on: +vasprintf-posix-tests + +configure.ac: + +Makefile.am: +TESTS += test-vasprintf-gnu +check_PROGRAMS += test-vasprintf-gnu diff --git a/tests/test-vasprintf-gnu.c b/tests/test-vasprintf-gnu.c new file mode 100644 index 0000000000..f039515b72 --- /dev/null +++ b/tests/test-vasprintf-gnu.c @@ -0,0 +1,275 @@ +/* Test of POSIX and GNU compatible vasprintf() and asprintf() functions. + Copyright (C) 2007-2023 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 , 2023. */ + +#include + +#include + +#include +#include +#include + +#include "macros.h" + +static void +test_function (int (*my_asprintf) (char **, const char *, ...)) +{ + /* Test the support of the 'b' conversion specifier for binary output of + integers. */ + + { /* Zero. */ + char *result; + int retval = + my_asprintf (&result, "%b %d", 0, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "0 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* A positive number. */ + char *result; + int retval = + my_asprintf (&result, "%b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* A large positive number. */ + char *result; + int retval = + my_asprintf (&result, "%b %d", 0xFFFFFFFEU, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "11111111111111111111111111111110 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Width. */ + char *result; + int retval = + my_asprintf (&result, "%20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, " 11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Width given as argument. */ + char *result; + int retval = + my_asprintf (&result, "%*b %d", 20, 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, " 11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Negative width given as argument (cf. FLAG_LEFT below). */ + char *result; + int retval = + my_asprintf (&result, "%*b %d", -20, 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Precision. */ + char *result; + int retval = + my_asprintf (&result, "%.20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "00000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Zero precision and a positive number. */ + char *result; + int retval = + my_asprintf (&result, "%.0b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Zero precision and a zero number. */ + char *result; + int retval = + my_asprintf (&result, "%.0b %d", 0, 33, 44, 55); + ASSERT (result != NULL); + /* ISO C and POSIX specify that "The result of converting a zero value + with a precision of zero is no characters." */ + ASSERT (strcmp (result, " 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Width and precision. */ + char *result; + int retval = + my_asprintf (&result, "%25.20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, " 00000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* Padding and precision. */ + char *result; + int retval = + my_asprintf (&result, "%025.20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + /* Neither ISO C nor POSIX specify that the '0' flag is ignored when + a width and a precision are both present. But implementations do so. */ + ASSERT (strcmp (result, " 00000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_LEFT. */ + char *result; + int retval = + my_asprintf (&result, "%-20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with zero. */ + char *result; + int retval = + my_asprintf (&result, "%#b %d", 0, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "0 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a positive number. */ + char *result; + int retval = + my_asprintf (&result, "%#b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "0b11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a positive number and width. */ + char *result; + int retval = + my_asprintf (&result, "%#20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, " 0b11000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a positive number and padding. */ + char *result; + int retval = + my_asprintf (&result, "%0#20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "0b000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a positive number and precision. */ + char *result; + int retval = + my_asprintf (&result, "%0#.20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, "0b00000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a positive number and width and precision. */ + char *result; + int retval = + my_asprintf (&result, "%#25.20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + ASSERT (strcmp (result, " 0b00000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a positive number and padding and precision. */ + char *result; + int retval = + my_asprintf (&result, "%0#25.20b %d", 12345, 33, 44, 55); + ASSERT (result != NULL); + /* Neither ISO C nor POSIX specify that the '0' flag is ignored when + a width and a precision are both present. But implementations do so. */ + ASSERT (strcmp (result, " 0b00000011000000111001 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } + + { /* FLAG_ALT with a zero precision and a zero number. */ + char *result; + int retval = + my_asprintf (&result, "%#.0b %d", 0, 33, 44, 55); + ASSERT (result != NULL); + /* ISO C and POSIX specify that "The result of converting a zero value + with a precision of zero is no characters.", and the prefix is added + only for non-zero values. */ + ASSERT (strcmp (result, " 33") == 0); + ASSERT (retval == strlen (result)); + free (result); + } +} + +static int +my_asprintf (char **result, const char *format, ...) +{ + va_list args; + int ret; + + va_start (args, format); + ret = vasprintf (result, format, args); + va_end (args); + return ret; +} + +static void +test_vasprintf () +{ + test_function (my_asprintf); +} + +static void +test_asprintf () +{ + test_function (asprintf); +} + +int +main (int argc, char *argv[]) +{ + test_vasprintf (); + test_asprintf (); + return 0; +} -- 2.34.1