lib/glibc
1
0
Fork 0
mirror of https://sourceware.org/git/glibc.git synced 2025-07-30 22:43:12 +03:00
Code Activity

support: Define support_static_assert for use with C and C++

Browse Source 
And update TEST_COMPARE to use it, to make it usable from C++.
This commit is contained in:
Florian Weimer
2018-01-08 14:39:51 +01:00
parent c2e014cc33
commit dabd75b6a1
2 changed files with 21 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
ChangeLog
View File

@ -1,3 +1,8 @@
2018-01-08 Florian Weimer <fweimer@redhat.com>
* support/check.h (support_static_assert): Define.
(TEST_COMPARE): Use it.
2018-01-07 Aurelien Jarno <aurelien@aurel32.net> 2018-01-07 Aurelien Jarno <aurelien@aurel32.net>
* sysdeps/unix/sysv/linux/getrlimit64 (getrlimit64) * sysdeps/unix/sysv/linux/getrlimit64 (getrlimit64)

25
support/check.h
View File

@ -86,6 +86,13 @@ void support_test_verify_exit_impl (int status, const char *file, int line,
does not support reporting failures from a DSO. */ does not support reporting failures from a DSO. */
void support_record_failure (void); 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 /* Compare the two integers LEFT and RIGHT and report failure if they
are different. */ are different. */
#define TEST_COMPARE(left, right) \ #define TEST_COMPARE(left, right) \
@ -96,14 +103,14 @@ void support_record_failure (void);
__left_type __left_value = (left); \ __left_type __left_value = (left); \
__right_type __right_value = (right); \ __right_type __right_value = (right); \
/* Prevent use with floating-point and boolean types. */ \ /* Prevent use with floating-point and boolean types. */ \
_Static_assert ((__left_type) 1.0 == (__left_type) 1.5, \ support_static_assert ((__left_type) 1.0 == (__left_type) 1.5, \
"left value has floating-point type"); \ "left value has floating-point type"); \
_Static_assert ((__right_type) 1.0 == (__right_type) 1.5, \ support_static_assert ((__right_type) 1.0 == (__right_type) 1.5, \
"right value has floating-point type"); \ "right value has floating-point type"); \
/* Prevent accidental use with larger-than-long long types. */ \ /* Prevent accidental use with larger-than-long long types. */ \
_Static_assert (sizeof (__left_value) <= sizeof (long long), \ support_static_assert (sizeof (__left_value) <= sizeof (long long), \
"left value fits into long long"); \ "left value fits into long long"); \
_Static_assert (sizeof (__right_value) <= sizeof (long long), \ support_static_assert (sizeof (__right_value) <= sizeof (long long), \
"right value fits into long long"); \ "right value fits into long long"); \
/* Make sure that integer conversions does not alter the sign. */ \ /* Make sure that integer conversions does not alter the sign. */ \
enum \ enum \
@ -117,8 +124,8 @@ void support_record_failure (void);
&& (sizeof (__right_value) \ && (sizeof (__right_value) \
< sizeof (__left_value))) \ < sizeof (__left_value))) \
}; \ }; \
_Static_assert (__left_is_unsigned == __right_is_unsigned \ support_static_assert (__left_is_unsigned == __right_is_unsigned \
|| __unsigned_left_converts_to_wider \ || __unsigned_left_converts_to_wider \
|| __unsigned_right_converts_to_wider, \ || __unsigned_right_converts_to_wider, \
"integer conversions may alter sign of operands"); \ "integer conversions may alter sign of operands"); \
/* Compare the value. */ \ /* Compare the value. */ \