glibc/stdio-common/tst-printf-format-skeleton.c

381 lines
10 KiB
C
Raw Normal View History

stdio-common: Add tests for formatted printf output specifiers This is a collection of tests for formatted printf output specifiers covering the d, i, o, u, x, and X integer conversions, the e, E, f, F, g, and G floating-point conversions, the c character conversion, and the s string conversion. Also the hh, h, l, and ll length modifiers are covered with the integer conversions as is the L length modifier with the floating-point conversions. The -, +, space, #, and 0 flags are iterated over, as permitted by the conversion handled, in tuples of 1..5, including tuples with repetitions of 2, and combined with field width and/or precision, again as permitted by the conversion. The resulting format string is then used to produce output from respective sets of input data corresponding to the specific conversion under test. POSIX extensions beyond ISO C are not used. Output is produced in the form of records which include both the format string (and width and/or precision where given in the form of separate arguments) and the conversion result, and is verified with GNU AWK using the format obtained from each such record against the reference value also supplied, relying on the fact that GNU AWK has its own independent implementation of format processing, striving to be ISO C compatible. In the course of implementation I have determined that in the non-bignum mode GNU AWK uses system sprintf(3) for the floating-point conversions, defeating the objective of doing the verification against an independent implementation. Additionally the bignum mode (using MPFR) is required to correctly output wider integer and floating-point data. Therefore for the conversions affected the relevant shell scripts sanity-check AWK and terminate with unsupported status if the bignum mode is unavailable for floating-point data or where data is output incorrectly. The f and F floating-point conversions are build-time options for GNU AWK, depending on the environment, so they are probed for before being used. Similarly the a and A floating-point conversions, however they are currently not used, see below. Also GNU AWK does not handle the b or B integer conversions at all at the moment, as at 5.3.0. Support for the a, A, b, and B conversions can however be easily added following the approach taken for the f and F conversions. Output produced by gawk for the a and A floating-point conversions does not match one produced by us: insufficient precision is used where one hasn't been explicitly given, e.g. for the negated maximum finite IEEE 754 64-bit value of -1.79769313486231570814527423731704357e+308 and "%a" format we produce -0x1.fffffffffffffp+1023 vs gawk's -0x1.000000p+1024 and a different exponent is chosen otherwise, such as with "%.a" where we output -0x2p+1023 vs gawk's -0x1p+1024 for the same value, or "%.20a" where -0x1.fffffffffffff0000000p+1023 is our output, but gawk produces -0xf.ffffffffffff80000000p+1020 instead. Consequently I chose not to include a and A conversions in testing at this time. And last but not least there are numerous corner cases that GNU AWK does not handle correctly, which are worked around by explicit handling in the AWK script. These are in particular: - extraneous leading 0 produced for the alternative form with the o conversion, e.g. { printf "%#.2o", 1 } produces "001" rather than "01", - unexpected 0 produced where no characters are expected for the input of 0 and the alternative form with the precision of 0 and the integer hexadecimal conversions, e.g. { printf "%#.x", 0 } produces "0" rather than "", - missing + character in the non-bignum mode only for the input of 0 with the + flag, precision of 0 and the signed integer conversions, e.g. { printf "%+.i", 0 } produces "" rather than "+", - missing space character in the non-bignum mode only for the input of 0 with the space flag, precision of 0 and the signed integer conversions, e.g. { printf "% .i", 0 } produces "" rather than " ", - for released gawk versions of up to 4.2.1 missing - character for the input of -NaN with the floating-point conversions, e.g. { printf "%e", "-nan" }' produces "nan" rather than "-nan", - for released gawk versions from 5.0.0 onwards + character output for the input of -NaN with the floating-point conversions, e.g. { printf "%e", "-nan" }' produces "+nan" rather than "-nan", - for released gawk versions from 5.0.0 onwards + character output for the input of Inf or NaN in the absence of the + or space flags with the floating-point conversions, e.g. { printf "%e", "inf" }' produces "+inf" rather than "inf", - for released gawk versions of up to 4.2.1 missing + character for the input of Inf or NaN with the + flag and the floating-point conversions, e.g. { printf "%+e", "inf" }' produces "inf" rather than "+inf", - for released gawk versions of up to 4.2.1 missing space character for the input of Inf or NaN with the space flag and the floating-point conversions, e.g. { printf "% e", "nan" }' produces "nan" rather than " nan", - for released gawk versions from 5.0.0 onwards + character output for the input of Inf or NaN with the space flag and the floating-point conversions, e.g. { printf "% e", "inf" }' produces "+inf" rather than " inf", - for released gawk versions from 5.0.0 onwards the field width is ignored for the input of Inf or NaN and the floating-point conversions, e.g. { printf "%20e", "-inf" }' produces "-inf" rather than " -inf", NB for released gawk versions of up to 4.2.1 floating-point conversion issues apply to the bignum mode only, as in the non-bignum mode system sprintf(3) is used. As from version 5.0.0 specialized handling has been added for [-]Inf and [-]NaN inputs and the issues listed apply to both modes. The '--posix' flag makes gawk versions from 5.0.0 onwards avoid the issue with field width and the + character unconditionally output for the input of Inf or NaN, however not the remaining issues and then the 'gensub' function is not supported in the POSIX mode, so to go this path I deemed not worth it. Each test completes within single seconds except for the long double one. There the F/f formats produce a large number of digits, which appears to be computationally intensive and CPU-bound. Standalone execution time for 'tst-printf-format-p-ldouble --direct f' is in the range of 00m36s for POWER9@2.166GHz and 09m52s for FU740@1.2GHz and output redirected locally to /dev/null, and 10m11s for FU740 and output redirected over 100Mbps network via SSH to /dev/null, so the throughput of the network adds very little (~3.2% in this case) to the processing time. This is with IEEE 754 quad. So I have scaled the timeout for 'tst-printf-format-skeleton-ldouble' accordingly. Regardless, following recent practice the test has been added to the standard rather than extended set. However, unlike most of the remaining tests it has been split by the conversion specifier, so as to allow better parallelization of this long-running test. As a side effect this lets the test report the unsupported status for the F/f conversions where applicable, so 'tst-printf-format-p-double' has been split for consistency as well. Only printf itself is handled at the moment, but the infrastructure provides for all the printf family functions to be verified, changes for which to be supplied separately. The complication around having some tests iterating over all the relevant conversion specifiers and other verifying conversion specifiers individually combined with iterating over printf family functions has hit a peculiarity in GNU make where the use of multiple targets with a pattern rule is handled differently from such use with an ordinary rule. Consequently it seems impossible to bulk-define a pattern rule using '$(foreach ...)', where each target would simply trigger the recipe according to the pattern and matching dependencies individually (such a rule does work, but implies all targets to be updated with a single recipe execution). Therefore as a compromise a single single-target pattern rule has been defined that has listed all the conversion-specific scripts and all the test executables as dependencies. Consequently tests will be rerun in the absence of changes to their actual sources or scripts whenever an unrelated file has changed that has been listed. Also all the formatted printf output tests will always be built whenever any single one is to be run. This only affects test development and not test runs in the field, though it does change the order of execution of the individual steps and also acts as a Makefile barrier in parallel runs. As the execution time dominates the compilation time for these tests it is not seen as a serious shortcoming. As pointed out by Florian Weimer <fweimer@redhat.com> the malloc tracing facility can take a substantial amount of time in calling dladdr(3) to determine the caller's location. This is not needed by the verification made with these tests, so I chose to interpose the symbol with a stub implementation that always fails in the shared skeleton. We have total control over the test environment, so I think it is a safe and minimal impact approach. If there's ever anything else added to the tests that would actually rely on dladdr(3) returning usable results, only then we can think of a different approach. Reviewed-by: DJ Delorie <dj@redhat.com>
2024-11-07 06:14:24 +00:00
/* Test skeleton for formatted printf output.
Copyright (C) 2024 Free Software Foundation, Inc.
This file is part of the GNU C Library.
The GNU C Library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
The GNU C Library 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
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with the GNU C Library; if not, see
<https://www.gnu.org/licenses/>. */
/* The following definitions have to be supplied by the source including
this skeleton:
Macros:
MID_WIDTH Medium width/precision positive integer constant. Choose
such as to cause some, but not all the strings produced
to be truncated for the conversions handled.
HUGE_WIDTH Large width/precision positive integer constant. Choose
such as to cause none of the strings produced to be
truncated for the conversions handled.
REF_FMT Reference output format string. Use no flags and such
a precision and length modifier, where applicable, and
a conversion as to make sure the output produced allows
the original value to be reproduced.
REF_VAL(v) Reference value V transformation. For conversions with
a truncating length modifier define such as to reproduce
the truncation operation, otherwise let V pass through.
PREC [optional] Working precision positive integer constant.
Set to the number of binary digits in the significand for
the argument type handled; usually for floating-point
conversions only, but it may be required for 128-bit or
wider integer data types as well.
Typedefs:
type_t Variadic function argument type. Define to the promoted
type corresponding to the conversion argument type
handled.
Variables:
vals Array of TYPE_T values. Choose such as to cover boundary
and any special cases.
length Length modifier string. Define according to the
conversion argument type handled.
The feature to be tested is wrapped into 'printf_under_test'. It is up
to the source including this skeleton if this is going to be a macro
or an actual function.
See tst-*printf-format-*.c for usage examples. */
#include <array_length.h>
#include <dlfcn.h>
#include <mcheck.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
/* Set to nonzero to select all possible tuples with repetitions of 1..n
elements from the set of flags as defined in FLAGS array below; n is
the length of FLAGS array. Otherwise select all possible tuples with
repetitions of 1..2 elements, followed by tuples of 3..n elements where
the index of each element k; k = 2..n in FLAGS is lower than the index
of element k-1 in FLAGS. */
#ifndef TST_PRINTF_DUPS
# define TST_PRINTF_DUPS 0
#endif
/* Set to nonzero to report the precision (number of significand digits)
required for floating-point calculations. */
#ifndef PREC
# define PREC 0
#endif
/* The list of conversions permitted for the '#' flag, the '0' flag,
and precision respectively. */
#define HASH_FORMATS "boxXaAeEfFgG"
#define ZERO_FORMATS "bdiouxXaAeEfFgG"
#define PREC_FORMATS "bdiouxXaAeEfFgGs"
/* Output format conversion flags. */
static struct
{
/* Flag character. */
char f;
/* List of conversion specifiers the flag is valid for; NULL if all. */
const char *s;
} const flags[] =
{ {'-'}, {'+'}, {' '}, {'#', HASH_FORMATS}, {'0', ZERO_FORMATS} };
/* Helper to initialize elements of the PW array for the width and
precision to be specified as a positive integer directly in the
format, and then as both a negative and a positive argument to '*'. */
#define STR(v) #v
#define WPINIT(v) {0, STR (v)}, {v, NULL}, {-v, NULL}
/* Width and precision settings to iterate over; zero is initialized
directly as it has no corresponding negated value and other values
use the helper above. */
static struct wp
{
/* Integer argument to '*', used if S is NULL. */
int i;
/* String denoting an integer to use in the format, or NULL to use '*'. */
const char *s;
} const wp[] =
{ {0, "0"}, {0, NULL}, WPINIT (1), WPINIT (2),
WPINIT (MID_WIDTH), WPINIT (HUGE_WIDTH) };
/* Produce a record according to '%' and zero or more output format flags
already provided in FMT at indices 0..IDX-1, width W if non-NULL, '.'
precision specifier if POINT set to true, precision P if non-NULL,
any length modifiers L, conversion C, and value VAL.
Record formats produced:
%<FLAGS><L><C>:<VAL>:
%<FLAGS>.<L><C>:<VAL>:
%<FLAGS><W><L><C>:<VAL>:
%<FLAGS><W>.<L><C>:<VAL>:
%<FLAGS>.<P><L><C>:<VAL>:
%<FLAGS><W>.<P><L><C>:<VAL>:
%<FLAGS>*<L><C>:<W>:<VAL>:
%<FLAGS>*.<L><C>:<W>:<VAL>:
%<FLAGS>.*<L><C>:<P>:<VAL>:
%<FLAGS>*.*<L><C>:<W>:<P>:<VAL>:
Return 0 on success, -1 on failure. */
static int
do_printf (char *fmt, size_t idx,
const struct wp *w, bool point, const struct wp *p,
const char *l, char c, type_t val)
{
int wpval[2] = { 0 };
size_t nint = 0;
int result;
size_t i;
if (w != NULL)
{
if (w->s == NULL)
{
fmt[idx++] = '*';
wpval[nint++] = w->i;
}
else
for (i = 0; w->s[i] != '\0'; i++)
fmt[idx++] = w->s[i];
}
if (point)
fmt[idx++] = '.';
if (p != NULL)
{
if (p->s == NULL)
{
fmt[idx++] = '*';
wpval[nint++] = p->i;
}
else
for (i = 0; p->s[i] != '\0'; i++)
fmt[idx++] = p->s[i];
}
for (i = 0; length[i] != '\0'; i++)
fmt[idx++] = length[i];
fmt[idx++] = c;
fmt[idx] = ':';
fmt[idx + 1] = '\0';
if (fputs (fmt, stdout) == EOF)
{
perror ("fputs");
return -1;
}
fmt[idx++] = '\0';
if (nint > 0)
{
result = printf ("%i:", wpval[0]);
if (result < 0)
{
perror ("printf");
return -1;
}
if (nint > 1)
{
result = printf ("%i:", wpval[1]);
if (result < 0)
{
perror ("printf");
return -1;
}
}
}
switch (nint)
{
case 0:
result = printf_under_test (fmt, val);
break;
case 1:
result = printf_under_test (fmt, wpval[0], val);
break;
case 2:
result = printf_under_test (fmt, wpval[0], wpval[1], val);
break;
default:
fputs ("Broken test, nint > 2\n", stderr);
return -1;
}
if (result < 0)
return -1;
if (fputs (":\n", stdout) == EOF)
{
perror ("fputs");
return -1;
}
return 0;
}
/* Produce a list of records according to '%' and zero or more output
format flags already provided in FMT at indices 0..IDX-1, iterating
over widths and precisions defined in global WP array, any length
modifiers L, conversion C, and value VAL. Inline '0' is omitted for
the width, as it is a flag already handled among the flags supplied.
Precision is omitted where the conversion does not allow it.
Return 0 on success, -1 on failure. */
static int
do_printf_flags (char *fmt, size_t idx, const char *l, char c, type_t val)
{
bool do_prec = strchr (PREC_FORMATS, c) != NULL;
size_t i;
if (do_printf (fmt, idx, NULL, false, NULL, l, c, val) < 0)
return -1;
if (do_prec && do_printf (fmt, idx, NULL, true, NULL, l, c, val) < 0)
return -1;
for (i = 0; i < array_length (wp); i++)
{
size_t j;
if (do_prec && do_printf (fmt, idx, NULL, true, wp + i, l, c, val) < 0)
return -1;
/* Inline '0' is a flag rather than width and is handled elsewhere. */
if (wp[i].s != NULL && wp[i].s[0] == '0' && wp[i].s[1] == '\0')
continue;
if (do_printf (fmt, idx, wp + i, false, NULL, l, c, val) < 0)
return -1;
if (do_prec)
{
if (do_printf (fmt, idx, wp + i, true, NULL, l, c, val) < 0)
return -1;
for (j = 0; j < array_length (wp); j++)
if (do_printf (fmt, idx, wp + i, true, wp + j, l, c, val) < 0)
return -1;
}
}
return 0;
}
/* Produce a list of records using the formatted output specifier
supplied in ARGV[1] preceded by any length modifier supplied in
the global LENGTH variable, iterating over format flags defined
in the global FLAGS array, and values supplied in the global VALS
array. Note that the output specifier supplied is not verified
against TYPE_T, so undefined behavior will result if this is used
incorrectly.
If PREC is nonzero, then this record:
prec:<PREC>
is produced at the beginning. Then for each VAL from VALS a block
of records is produced starting with:
val:<VAL>
where VAL is formatted according to REF_FMT output format. The
block continues with records as shown with DO_PRINTF above using
flags iterated over according to TST_PRINTF_DUPS.
See the top of this file for the definitions that have to be
provided by the source including this skeleton. */
static int
do_test (int argc, char *argv[])
{
char fmt[100] = {'%'};
size_t j;
size_t v;
char c;
if (argc < 2 || *argv[1] == '\0')
{
fprintf (stderr, "Usage: %s <specifier>\n", basename (argv[0]));
return EXIT_FAILURE;
}
mtrace ();
if (PREC && printf ("prec:%i\n", PREC) < 0)
{
perror ("printf");
return EXIT_FAILURE;
}
c = *argv[1];
for (v = 0; v < array_length (vals); v++)
{
if (printf ("val:%" REF_FMT "\n", REF_VAL (vals[v])) < 0)
{
perror ("printf");
return EXIT_FAILURE;
}
if (do_printf_flags (fmt, 1, length, c, vals[v]) < 0)
return EXIT_FAILURE;
for (j = 0; j < array_length (flags); j++)
{
bool done = false;
size_t i[j + 1];
size_t k;
memset (i, 0, sizeof (i));
while (!done)
{
bool skip = false;
size_t idx = 1;
char f;
for (k = 0; k <= j; k++)
{
const char *s = flags[i[k]].s;
if (s && strchr (s, c) == NULL)
skip = true;
if (!TST_PRINTF_DUPS && j > 1 && k > 0 && i[k] >= i[k - 1])
skip = true;
if (skip)
break;
f = flags[i[k]].f;
fmt[idx++] = f;
}
if (!skip && do_printf_flags (fmt, idx, length, c, vals[v]) < 0)
return EXIT_FAILURE;
for (k = 0; k <= j; k++)
{
i[k]++;
if (i[k] < array_length (flags))
break;
else if (k == j)
done = true;
else
i[k] = 0;
}
}
}
}
return EXIT_SUCCESS;
}
/* Interpose 'dladdr' with a stub to speed up malloc tracing. */
int
dladdr (const void *addr, Dl_info *info)
stdio-common: Add tests for formatted printf output specifiers This is a collection of tests for formatted printf output specifiers covering the d, i, o, u, x, and X integer conversions, the e, E, f, F, g, and G floating-point conversions, the c character conversion, and the s string conversion. Also the hh, h, l, and ll length modifiers are covered with the integer conversions as is the L length modifier with the floating-point conversions. The -, +, space, #, and 0 flags are iterated over, as permitted by the conversion handled, in tuples of 1..5, including tuples with repetitions of 2, and combined with field width and/or precision, again as permitted by the conversion. The resulting format string is then used to produce output from respective sets of input data corresponding to the specific conversion under test. POSIX extensions beyond ISO C are not used. Output is produced in the form of records which include both the format string (and width and/or precision where given in the form of separate arguments) and the conversion result, and is verified with GNU AWK using the format obtained from each such record against the reference value also supplied, relying on the fact that GNU AWK has its own independent implementation of format processing, striving to be ISO C compatible. In the course of implementation I have determined that in the non-bignum mode GNU AWK uses system sprintf(3) for the floating-point conversions, defeating the objective of doing the verification against an independent implementation. Additionally the bignum mode (using MPFR) is required to correctly output wider integer and floating-point data. Therefore for the conversions affected the relevant shell scripts sanity-check AWK and terminate with unsupported status if the bignum mode is unavailable for floating-point data or where data is output incorrectly. The f and F floating-point conversions are build-time options for GNU AWK, depending on the environment, so they are probed for before being used. Similarly the a and A floating-point conversions, however they are currently not used, see below. Also GNU AWK does not handle the b or B integer conversions at all at the moment, as at 5.3.0. Support for the a, A, b, and B conversions can however be easily added following the approach taken for the f and F conversions. Output produced by gawk for the a and A floating-point conversions does not match one produced by us: insufficient precision is used where one hasn't been explicitly given, e.g. for the negated maximum finite IEEE 754 64-bit value of -1.79769313486231570814527423731704357e+308 and "%a" format we produce -0x1.fffffffffffffp+1023 vs gawk's -0x1.000000p+1024 and a different exponent is chosen otherwise, such as with "%.a" where we output -0x2p+1023 vs gawk's -0x1p+1024 for the same value, or "%.20a" where -0x1.fffffffffffff0000000p+1023 is our output, but gawk produces -0xf.ffffffffffff80000000p+1020 instead. Consequently I chose not to include a and A conversions in testing at this time. And last but not least there are numerous corner cases that GNU AWK does not handle correctly, which are worked around by explicit handling in the AWK script. These are in particular: - extraneous leading 0 produced for the alternative form with the o conversion, e.g. { printf "%#.2o", 1 } produces "001" rather than "01", - unexpected 0 produced where no characters are expected for the input of 0 and the alternative form with the precision of 0 and the integer hexadecimal conversions, e.g. { printf "%#.x", 0 } produces "0" rather than "", - missing + character in the non-bignum mode only for the input of 0 with the + flag, precision of 0 and the signed integer conversions, e.g. { printf "%+.i", 0 } produces "" rather than "+", - missing space character in the non-bignum mode only for the input of 0 with the space flag, precision of 0 and the signed integer conversions, e.g. { printf "% .i", 0 } produces "" rather than " ", - for released gawk versions of up to 4.2.1 missing - character for the input of -NaN with the floating-point conversions, e.g. { printf "%e", "-nan" }' produces "nan" rather than "-nan", - for released gawk versions from 5.0.0 onwards + character output for the input of -NaN with the floating-point conversions, e.g. { printf "%e", "-nan" }' produces "+nan" rather than "-nan", - for released gawk versions from 5.0.0 onwards + character output for the input of Inf or NaN in the absence of the + or space flags with the floating-point conversions, e.g. { printf "%e", "inf" }' produces "+inf" rather than "inf", - for released gawk versions of up to 4.2.1 missing + character for the input of Inf or NaN with the + flag and the floating-point conversions, e.g. { printf "%+e", "inf" }' produces "inf" rather than "+inf", - for released gawk versions of up to 4.2.1 missing space character for the input of Inf or NaN with the space flag and the floating-point conversions, e.g. { printf "% e", "nan" }' produces "nan" rather than " nan", - for released gawk versions from 5.0.0 onwards + character output for the input of Inf or NaN with the space flag and the floating-point conversions, e.g. { printf "% e", "inf" }' produces "+inf" rather than " inf", - for released gawk versions from 5.0.0 onwards the field width is ignored for the input of Inf or NaN and the floating-point conversions, e.g. { printf "%20e", "-inf" }' produces "-inf" rather than " -inf", NB for released gawk versions of up to 4.2.1 floating-point conversion issues apply to the bignum mode only, as in the non-bignum mode system sprintf(3) is used. As from version 5.0.0 specialized handling has been added for [-]Inf and [-]NaN inputs and the issues listed apply to both modes. The '--posix' flag makes gawk versions from 5.0.0 onwards avoid the issue with field width and the + character unconditionally output for the input of Inf or NaN, however not the remaining issues and then the 'gensub' function is not supported in the POSIX mode, so to go this path I deemed not worth it. Each test completes within single seconds except for the long double one. There the F/f formats produce a large number of digits, which appears to be computationally intensive and CPU-bound. Standalone execution time for 'tst-printf-format-p-ldouble --direct f' is in the range of 00m36s for POWER9@2.166GHz and 09m52s for FU740@1.2GHz and output redirected locally to /dev/null, and 10m11s for FU740 and output redirected over 100Mbps network via SSH to /dev/null, so the throughput of the network adds very little (~3.2% in this case) to the processing time. This is with IEEE 754 quad. So I have scaled the timeout for 'tst-printf-format-skeleton-ldouble' accordingly. Regardless, following recent practice the test has been added to the standard rather than extended set. However, unlike most of the remaining tests it has been split by the conversion specifier, so as to allow better parallelization of this long-running test. As a side effect this lets the test report the unsupported status for the F/f conversions where applicable, so 'tst-printf-format-p-double' has been split for consistency as well. Only printf itself is handled at the moment, but the infrastructure provides for all the printf family functions to be verified, changes for which to be supplied separately. The complication around having some tests iterating over all the relevant conversion specifiers and other verifying conversion specifiers individually combined with iterating over printf family functions has hit a peculiarity in GNU make where the use of multiple targets with a pattern rule is handled differently from such use with an ordinary rule. Consequently it seems impossible to bulk-define a pattern rule using '$(foreach ...)', where each target would simply trigger the recipe according to the pattern and matching dependencies individually (such a rule does work, but implies all targets to be updated with a single recipe execution). Therefore as a compromise a single single-target pattern rule has been defined that has listed all the conversion-specific scripts and all the test executables as dependencies. Consequently tests will be rerun in the absence of changes to their actual sources or scripts whenever an unrelated file has changed that has been listed. Also all the formatted printf output tests will always be built whenever any single one is to be run. This only affects test development and not test runs in the field, though it does change the order of execution of the individual steps and also acts as a Makefile barrier in parallel runs. As the execution time dominates the compilation time for these tests it is not seen as a serious shortcoming. As pointed out by Florian Weimer <fweimer@redhat.com> the malloc tracing facility can take a substantial amount of time in calling dladdr(3) to determine the caller's location. This is not needed by the verification made with these tests, so I chose to interpose the symbol with a stub implementation that always fails in the shared skeleton. We have total control over the test environment, so I think it is a safe and minimal impact approach. If there's ever anything else added to the tests that would actually rely on dladdr(3) returning usable results, only then we can think of a different approach. Reviewed-by: DJ Delorie <dj@redhat.com>
2024-11-07 06:14:24 +00:00
{
return 0;
}
#define TEST_FUNCTION_ARGV do_test
#include <support/test-driver.c>