mirror of
git://sourceware.org/git/glibc.git
synced 2024-12-09 04:11:27 +08:00
1b97a9f23b
Add a FAIL test failure helper analogous to FAIL_RET, that does not cause the current function to return, providing a standardized way to report a test failure with a message supplied while permitting the caller to continue executing, for further reporting, cleaning up, etc. Update existing test cases that provide a conflicting definition of FAIL by removing the local FAIL definition and then as follows: - tst-fortify-syslog: provide a meaningful message in addition to the file name already added by <support/check.h>; 'support_record_failure' is already called by 'support_print_failure_impl' invoked by the new FAIL test failure helper. - tst-ctype: no update to FAIL calls required, with the name of the file and the line number within of the failure site additionally included by the new FAIL test failure helper, and error counting plus count reporting upon test program termination also already provided by 'support_record_failure' and 'support_report_failure' respectively, called by 'support_print_failure_impl' and 'adjust_exit_status' also respectively. However in a number of places 'printf' is called and the error count adjusted by hand, so update these places to make use of FAIL instead. And last but not least adjust the final summary just to report completion, with any error count following as reported by the test driver. - test-tgmath2: no update to FAIL calls required, with the name of the file of the failure site additionally included by the new FAIL test failure helper. Also there is no need to track the return status by hand as any call to FAIL will eventually cause the test case to return an unsuccesful exit status regardless of the return status from the test function, via a call to 'adjust_exit_status' made by the test driver. Reviewed-by: DJ Delorie <dj@redhat.com>
213 lines
10 KiB
C
213 lines
10 KiB
C
/* Functionality for reporting test results.
|
|
Copyright (C) 2016-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/>. */
|
|
|
|
#ifndef SUPPORT_CHECK_H
|
|
#define SUPPORT_CHECK_H
|
|
|
|
#include <sys/cdefs.h>
|
|
#include <stddef.h>
|
|
|
|
__BEGIN_DECLS
|
|
|
|
/* Record a test failure, print the failure message to standard output
|
|
and pass the result of 1 through. */
|
|
#define FAIL(...) \
|
|
support_print_failure_impl (__FILE__, __LINE__, __VA_ARGS__)
|
|
|
|
/* Record a test failure, print the failure message to standard output
|
|
and return 1. */
|
|
#define FAIL_RET(...) \
|
|
return support_print_failure_impl (__FILE__, __LINE__, __VA_ARGS__)
|
|
|
|
/* Print the failure message and terminate the process with STATUS.
|
|
Record a the process as failed if STATUS is neither EXIT_SUCCESS
|
|
nor EXIT_UNSUPPORTED. */
|
|
#define FAIL_EXIT(status, ...) \
|
|
support_exit_failure_impl (status, __FILE__, __LINE__, __VA_ARGS__)
|
|
|
|
/* Record a test failure, print the failure message and terminate with
|
|
exit status 1. */
|
|
#define FAIL_EXIT1(...) \
|
|
support_exit_failure_impl (1, __FILE__, __LINE__, __VA_ARGS__)
|
|
|
|
/* Print failure message and terminate with as unsupported test (exit
|
|
status of 77). */
|
|
#define FAIL_UNSUPPORTED(...) \
|
|
support_exit_failure_impl (77, __FILE__, __LINE__, __VA_ARGS__)
|
|
|
|
/* Record a test failure (but continue executing) if EXPR evaluates to
|
|
false. */
|
|
#define TEST_VERIFY(expr) \
|
|
({ \
|
|
if (expr) \
|
|
; \
|
|
else \
|
|
support_test_verify_impl (__FILE__, __LINE__, #expr); \
|
|
})
|
|
|
|
/* Record a test failure and exit if EXPR evaluates to false. */
|
|
#define TEST_VERIFY_EXIT(expr) \
|
|
({ \
|
|
if (expr) \
|
|
; \
|
|
else \
|
|
support_test_verify_exit_impl \
|
|
(1, __FILE__, __LINE__, #expr); \
|
|
})
|
|
|
|
|
|
|
|
int support_print_failure_impl (const char *file, int line,
|
|
const char *format, ...)
|
|
__attribute__ ((nonnull (1), format (printf, 3, 4)));
|
|
void support_exit_failure_impl (int exit_status,
|
|
const char *file, int line,
|
|
const char *format, ...)
|
|
__attribute__ ((noreturn, nonnull (2), format (printf, 4, 5)));
|
|
void support_test_verify_impl (const char *file, int line,
|
|
const char *expr);
|
|
void support_test_verify_exit_impl (int status, const char *file, int line,
|
|
const char *expr)
|
|
__attribute__ ((noreturn));
|
|
|
|
/* Record a test failure. This function returns and does not
|
|
terminate the process. The failure counter is stored in a shared
|
|
memory mapping, so that failures reported in child processes are
|
|
visible to the parent process and test driver. This function
|
|
depends on initialization by an ELF constructor, so it can only be
|
|
invoked after the test driver has run. Note that this function
|
|
does not support reporting failures from a DSO. */
|
|
void support_record_failure (void);
|
|
|
|
/* Static assertion, under a common name for both C++ and C11. */
|
|
#ifdef __cplusplus
|
|
# define support_static_assert static_assert
|
|
#else
|
|
# define support_static_assert _Static_assert
|
|
#endif
|
|
|
|
/* Compare the two integers LEFT and RIGHT and report failure if they
|
|
are different. */
|
|
#define TEST_COMPARE(left, right) \
|
|
({ \
|
|
/* + applies the integer promotions, for bitfield support. */ \
|
|
typedef __typeof__ (+ (left)) __left_type; \
|
|
typedef __typeof__ (+ (right)) __right_type; \
|
|
__left_type __left_value = (left); \
|
|
__right_type __right_value = (right); \
|
|
int __left_is_positive = __left_value > 0; \
|
|
int __right_is_positive = __right_value > 0; \
|
|
/* Prevent use with floating-point types. */ \
|
|
support_static_assert ((__left_type) 1.0 == (__left_type) 1.5, \
|
|
"left value has floating-point type"); \
|
|
support_static_assert ((__right_type) 1.0 == (__right_type) 1.5, \
|
|
"right value has floating-point type"); \
|
|
/* Prevent accidental use with larger-than-long long types. */ \
|
|
support_static_assert (sizeof (__left_value) <= sizeof (long long), \
|
|
"left value fits into long long"); \
|
|
support_static_assert (sizeof (__right_value) <= sizeof (long long), \
|
|
"right value fits into long long"); \
|
|
/* Compare the value. */ \
|
|
if (__left_value != __right_value \
|
|
|| __left_is_positive != __right_is_positive) \
|
|
/* Pass the sign for printing the correct value. */ \
|
|
support_test_compare_failure \
|
|
(__FILE__, __LINE__, \
|
|
#left, __left_value, __left_is_positive, sizeof (__left_type), \
|
|
#right, __right_value, __right_is_positive, sizeof (__right_type)); \
|
|
})
|
|
|
|
/* Internal implementation of TEST_COMPARE. LEFT_POSITIVE and
|
|
RIGHT_POSITIVE are used to store the sign separately, so that both
|
|
unsigned long long and long long arguments fit into LEFT_VALUE and
|
|
RIGHT_VALUE, and the function can still print the original value.
|
|
LEFT_SIZE and RIGHT_SIZE specify the size of the argument in bytes,
|
|
for hexadecimal formatting. */
|
|
void support_test_compare_failure (const char *file, int line,
|
|
const char *left_expr,
|
|
long long left_value,
|
|
int left_positive,
|
|
int left_size,
|
|
const char *right_expr,
|
|
long long right_value,
|
|
int right_positive,
|
|
int right_size);
|
|
|
|
|
|
/* Compare [LEFT, LEFT + LEFT_LENGTH) with [RIGHT, RIGHT +
|
|
RIGHT_LENGTH) and report a test failure if the arrays are
|
|
different. LEFT_LENGTH and RIGHT_LENGTH are measured in bytes. If
|
|
the length is null, the corresponding pointer is ignored (i.e., it
|
|
can be NULL). The blobs should be reasonably short because on
|
|
mismatch, both are printed. */
|
|
#define TEST_COMPARE_BLOB(left, left_length, right, right_length) \
|
|
(support_test_compare_blob (left, left_length, right, right_length, \
|
|
__FILE__, __LINE__, \
|
|
#left, #left_length, #right, #right_length))
|
|
|
|
void support_test_compare_blob (const void *left,
|
|
unsigned long int left_length,
|
|
const void *right,
|
|
unsigned long int right_length,
|
|
const char *file, int line,
|
|
const char *left_exp, const char *left_len_exp,
|
|
const char *right_exp,
|
|
const char *right_len_exp);
|
|
|
|
/* Compare the strings LEFT and RIGHT and report a test failure if
|
|
they are different. Also report failure if one of the arguments is
|
|
a null pointer and the other is not. The strings should be
|
|
reasonably short because on mismatch, both are printed. */
|
|
#define TEST_COMPARE_STRING(left, right) \
|
|
(support_test_compare_string (left, right, __FILE__, __LINE__, \
|
|
#left, #right))
|
|
|
|
/* Compare the wide strings LEFT and RIGHT and report a test failure
|
|
if they are different. Also report failure if one of the arguments
|
|
is a null pointer and the other is not. The strings should be
|
|
reasonably short because on mismatch, both are printed. */
|
|
#define TEST_COMPARE_STRING_WIDE(left, right) \
|
|
(support_test_compare_string_wide (left, right, __FILE__, __LINE__, \
|
|
#left, #right))
|
|
|
|
void support_test_compare_string (const char *left, const char *right,
|
|
const char *file, int line,
|
|
const char *left_expr,
|
|
const char *right_expr);
|
|
|
|
void support_test_compare_string_wide (const wchar_t *left,
|
|
const wchar_t *right,
|
|
const char *file, int line,
|
|
const char *left_expr,
|
|
const char *right_expr);
|
|
|
|
/* Internal function called by the test driver. */
|
|
int support_report_failure (int status)
|
|
__attribute__ ((weak, warn_unused_result));
|
|
|
|
/* Internal function used to test the failure recording framework. */
|
|
void support_record_failure_reset (void);
|
|
|
|
/* Returns true or false depending on whether there have been test
|
|
failures or not. */
|
|
int support_record_failure_is_failed (void);
|
|
|
|
__END_DECLS
|
|
|
|
#endif /* SUPPORT_CHECK_H */
|