8 #ifndef BITCOIN_COMPAT_ASSUMPTIONS_H
9 #define BITCOIN_COMPAT_ASSUMPTIONS_H
14 #include <type_traits>
20 #error "Bitcoin cannot be compiled without assertions."
29 static_assert(__cplusplus >= 201703L,
"C++17 standard assumed");
36 static_assert(std::numeric_limits<float>::is_iec559,
"IEEE 754 float assumed");
37 static_assert(std::numeric_limits<double>::is_iec559,
38 "IEEE 754 double assumed");
43 static_assert(
sizeof(
float) == 4,
"32-bit float assumed");
44 static_assert(
sizeof(
double) == 8,
"64-bit double assumed");
49 static_assert(
sizeof(
short) == 2,
"16-bit short assumed");
50 static_assert(
sizeof(
int) == 4,
"32-bit int assumed");
51 static_assert(
sizeof(
unsigned) == 4,
"32-bit unsigned assumed");
55 static_assert(CHAR_BIT == 8,
"8-bit bytes assumed");
66 static_assert(std::is_same<uint8_t, unsigned char>::value,
67 "uint8_t is an alias of unsigned char");
73 static_assert(
sizeof(
size_t) == 4 ||
sizeof(
size_t) == 8,
74 "size_t assumed to be 32-bit or 64-bit");
75 static_assert(
sizeof(
size_t) ==
sizeof(
void *),
76 "Sizes of size_t and void* assumed to be equal");
93 static_assert((int64_t(-1) >> 1) == int64_t(-1),
94 "Arithmetic right shift assumed");
100 static_assert((int64_t(-10) & 0xffff) == 0xfff6,
"2-complement assumed");
105 static_assert(std::numeric_limits<long long int>::max() ==
106 std::numeric_limits<int64_t>::max());
107 static_assert(std::numeric_limits<long long int>::min() ==
108 std::numeric_limits<int64_t>::min());