mirror of
				https://sourceware.org/git/glibc.git
				synced 2025-10-31 22:10:34 +03:00 
			
		
		
		
	Previously, the implementation would conditionally exit based on the status argument, which GCC did not know about. This leads to false uninitialized variable warnings when data is accessed after a TEST_VERIFY_EXIT failure (from code which would never execute).
		
			
				
	
	
		
			99 lines
		
	
	
		
			4.1 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			99 lines
		
	
	
		
			4.1 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
| /* Functionality for reporting test results.
 | |
|    Copyright (C) 2016-2017 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
 | |
|    <http://www.gnu.org/licenses/>.  */
 | |
| 
 | |
| #ifndef SUPPORT_CHECK_H
 | |
| #define SUPPORT_CHECK_H
 | |
| 
 | |
| #include <sys/cdefs.h>
 | |
| 
 | |
| __BEGIN_DECLS
 | |
| 
 | |
| /* 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);
 | |
| 
 | |
| /* 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);
 | |
| 
 | |
| __END_DECLS
 | |
| 
 | |
| #endif /* SUPPORT_CHECK_H */
 |