utest/int-types/int-types.cpp

11 #include <fbl/type_support.h>
111 #define CHECK_MAX(type, TYPE) static_assert(fbl::is_signed<type>::value ? CHECK_MAX_SIGNED(type, TYPE) : CHECK_MAX_UNSIGNED(type, TYPE), "");
178 static_assert(fbl::is_signed<wchar_t>::value ? CHECK_MIN_TYPE(wchar_t, WCHAR) : (WCHAR_MIN == 0), "");
180 static_assert(fbl::is_signed<sig_atomic_t>::value ? CHECK_MIN_TYPE(sig_atomic_t, SIG_ATOMIC) : (SIG_ATOMIC_MIN == 0), "");
186 static_assert(INT8_C(0) == fbl::integral_constant<int_least8_t, 0>::value, "");
187 static_assert(INT8_C(-0x7f - 1) == fbl::integral_constant<int_least8_t, -0x7f - 1>::value, "");
188 static_assert(INT8_C(0x7f) == fbl::integral_constant<int_least8_t, 0x7f>::value, "");
190 static_assert(INT16_C(0) == fbl::integral_constant<int_least16_t, 0>::value, "");
191 static_assert(INT16_C(-0x7fff - 1) == fbl::integral_constant<int_least16_t, -0x7fff - 1>::value, "");
192 static_assert(INT16_C(0x7fff) == fbl::integral_constant<int_least16_t, 0x7fff>::value, "");
194 static_assert(INT32_C(0) == fbl::integral_constant<int_least32_t, 0>::value, "");
195 static_assert(INT32_C(-0x7fffffff - 1) == fbl::integral_constant<int_least32_t, -0x7fffffff - 1>::value, "");
196 static_assert(INT32_C(0x7fffffff) == fbl::integral_constant<int_least32_t, 0x7fffffff>::value, "");
198 static_assert(INT64_C(0) == fbl::integral_constant<int_least64_t, 0>::value, "");
199 static_assert(INT64_C(-0x7fffffffffffffff - 1) == fbl::integral_constant<int_least64_t, -0x7fffffffffffffff - 1>::value, "");
200 static_assert(INT64_C(0x7fffffffffffffff) == fbl::integral_constant<int_least64_t, 0x7fffffffffffffff>::value, "");
203 static_assert(UINT8_C(0) == fbl::integral_constant<uint_least8_t, 0>::value, "");
204 static_assert(UINT8_C(0xff) == fbl::integral_constant<uint_least8_t, 0xff>::value, "");
206 static_assert(UINT16_C(0) == fbl::integral_constant<uint_least16_t, 0>::value, "");
207 static_assert(UINT16_C(0xffff) == fbl::integral_constant<uint_least16_t, 0xffff>::value, "");
209 static_assert(UINT32_C(0) == fbl::integral_constant<uint_least32_t, 0>::value, "");
210 static_assert(UINT32_C(0xffffffff) == fbl::integral_constant<uint_least32_t, 0xffffffff>::value, "");
212 static_assert(UINT64_C(0) == fbl::integral_constant<uint_least64_t, 0>::value, "");
213 static_assert(UINT64_C(0xffffffffffffffff) == fbl::integral_constant<uint_least64_t, 0xffffffffffffffff>::value, "");
220 static_assert(fbl::is_same<intmax_t, decltype(INTMAX_C(0))>::value, "");
221 static_assert(fbl::is_same<intmax_t, decltype(INTMAX_C(-0x7fffffffffffffff - 1))>::value, "");
222 static_assert(fbl::is_same<intmax_t, decltype(INTMAX_C(0x7fffffffffffffff))>::value, "");
223 static_assert(INTMAX_C(0) == fbl::integral_constant<intmax_t, 0>::value, "");
224 static_assert(INTMAX_C(-0xffffffffffffffff - 1) == fbl::integral_constant<intmax_t, -0xffffffffffffffff - 1>::value, "");
225 static_assert(INTMAX_C(0x7fffffffffffffff) == fbl::integral_constant<intmax_t, 0x7fffffffffffffff>::value, "");
227 static_assert(fbl::is_same<uintmax_t, decltype(UINTMAX_C(0))>::value, "");
228 static_assert(fbl::is_same<uintmax_t, decltype(UINTMAX_C(0xffffffffffffffff))>::value, "");
229 static_assert(UINTMAX_C(0) == fbl::integral_constant<uintmax_t, 0>::value, "");
230 static_assert(UINTMAX_C(0xffffffffffffffff) == fbl::integral_constant<uintmax_t, 0xffffffffffffffff>::value, "");
272         if (fbl::is_signed<type>::value) {             \