#error "bitfield.h requires the compiler representation of signed integers to be two's complement."
#endif
-/*
- * _bt_is_signed_type() willingly generates comparison of unsigned
- * expression < 0, which is always false. Silence compiler warnings.
- */
-#ifdef __GNUC__
-# define _BT_DIAG_PUSH _Pragma("GCC diagnostic push")
-# define _BT_DIAG_POP _Pragma("GCC diagnostic pop")
-
-# define _BT_DIAG_STRINGIFY_1(x) #x
-# define _BT_DIAG_STRINGIFY(x) _BT_DIAG_STRINGIFY_1(x)
-
-# define _BT_DIAG_IGNORE(option) \
- _Pragma(_BT_DIAG_STRINGIFY(GCC diagnostic ignored option))
-# define _BT_DIAG_IGNORE_TYPE_LIMITS _BT_DIAG_IGNORE("-Wtype-limits")
-#else
-# define _BT_DIAG_PUSH
-# define _BT_DIAG_POP
-# define _BT_DIAG_IGNORE
-#endif
-
-#define _bt_is_signed_type(type) ((type) -1 < (type) 0)
+#define _bt_is_signed_type(type) ((type) -1 < (type) 1)
/*
* Produce a build-time error if the condition `cond` is non-zero.
* Evaluates as a size_t expression.
*/
+#ifdef __cplusplus
+#define _BT_BUILD_ASSERT(cond) ([]{static_assert((cond), "");}, 0)
+#else
#define _BT_BUILD_ASSERT(cond) \
sizeof(struct { int f:(2 * !!(cond) - 1); })
+#endif
/*
* Cast value `v` to an unsigned integer of the same size as `v`.
do { \
__typeof__(*(vptr)) *_vptr = (vptr); \
__typeof__(*_vptr) _v; \
- type *_ptr = (void *) (ptr); \
+ type *_ptr = (type *) (ptr); \
unsigned long _start = (start), _length = (length); \
type _mask, _cmask; \
unsigned long _ts = sizeof(type) * CHAR_BIT; /* type size */ \
unsigned long _start_unit, _end_unit, _this_unit; \
unsigned long _end, _cshift; /* _cshift is "complement shift" */ \
- bool _is_signed_type; \
\
if (!_length) { \
*_vptr = 0; \
_end_unit = (_end + (_ts - 1)) / _ts; \
\
_this_unit = _end_unit - 1; \
- _BT_DIAG_PUSH \
- _BT_DIAG_IGNORE_TYPE_LIMITS \
- _is_signed_type = _bt_is_signed_type(__typeof__(_v)); \
- _BT_DIAG_POP \
- if (_is_signed_type \
+ if (_bt_is_signed_type(__typeof__(_v)) \
&& (_ptr[_this_unit] & _bt_lshift((type) 1, (_end % _ts ? _end % _ts : _ts) - 1))) \
_v = ~(__typeof__(_v)) 0; \
else \
unsigned long _ts = sizeof(type) * CHAR_BIT; /* type size */ \
unsigned long _start_unit, _end_unit, _this_unit; \
unsigned long _end, _cshift; /* _cshift is "complement shift" */ \
- bool _is_signed_type; \
\
if (!_length) { \
*_vptr = 0; \
_end_unit = (_end + (_ts - 1)) / _ts; \
\
_this_unit = _start_unit; \
- _BT_DIAG_PUSH \
- _BT_DIAG_IGNORE_TYPE_LIMITS \
- _is_signed_type = _bt_is_signed_type(__typeof__(_v)); \
- _BT_DIAG_POP \
- if (_is_signed_type \
+ if (_bt_is_signed_type(__typeof__(_v)) \
&& (_ptr[_this_unit] & _bt_lshift((type) 1, _ts - (_start % _ts) - 1))) \
_v = ~(__typeof__(_v)) 0; \
else \