| 1 | //===----------------------------------------------------------------------===// |
| 2 | // |
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | // test <stdint.h> |
| 10 | |
| 11 | #include <stdint.h> |
| 12 | |
| 13 | void use() { |
| 14 | // Make sure we can use the following types without including anything else |
| 15 | (void)sizeof(int8_t); |
| 16 | (void)sizeof(int16_t); |
| 17 | (void)sizeof(int32_t); |
| 18 | (void)sizeof(int64_t); |
| 19 | |
| 20 | (void)sizeof(uint8_t); |
| 21 | (void)sizeof(uint16_t); |
| 22 | (void)sizeof(uint32_t); |
| 23 | (void)sizeof(uint64_t); |
| 24 | |
| 25 | (void)sizeof(int_least8_t); |
| 26 | (void)sizeof(int_least16_t); |
| 27 | (void)sizeof(int_least32_t); |
| 28 | (void)sizeof(int_least64_t); |
| 29 | |
| 30 | (void)sizeof(uint_least8_t); |
| 31 | (void)sizeof(uint_least16_t); |
| 32 | (void)sizeof(uint_least32_t); |
| 33 | (void)sizeof(uint_least64_t); |
| 34 | |
| 35 | (void)sizeof(int_fast8_t); |
| 36 | (void)sizeof(int_fast16_t); |
| 37 | (void)sizeof(int_fast32_t); |
| 38 | (void)sizeof(int_fast64_t); |
| 39 | |
| 40 | (void)sizeof(uint_fast8_t); |
| 41 | (void)sizeof(uint_fast16_t); |
| 42 | (void)sizeof(uint_fast32_t); |
| 43 | (void)sizeof(uint_fast64_t); |
| 44 | |
| 45 | (void)sizeof(intptr_t); |
| 46 | (void)sizeof(uintptr_t); |
| 47 | (void)sizeof(intmax_t); |
| 48 | (void)sizeof(uintmax_t); |
| 49 | } |
| 50 | |
| 51 | #include <cstddef> |
| 52 | #include <csignal> |
| 53 | #include <climits> |
| 54 | #include <type_traits> |
| 55 | #include <limits> |
| 56 | #include <cassert> |
| 57 | |
| 58 | #include "test_macros.h" |
| 59 | |
| 60 | #ifndef TEST_HAS_NO_WIDE_CHARACTERS |
| 61 | # include <cwctype> |
| 62 | #endif |
| 63 | |
| 64 | int main(int, char**) { |
| 65 | // typedef int8_t |
| 66 | static_assert(sizeof(int8_t)*CHAR_BIT == 8, "" ); |
| 67 | static_assert(std::is_signed<int8_t>::value, "" ); |
| 68 | // typedef int16_t |
| 69 | static_assert(sizeof(int16_t)*CHAR_BIT == 16, "" ); |
| 70 | static_assert(std::is_signed<int16_t>::value, "" ); |
| 71 | // typedef int32_t |
| 72 | static_assert(sizeof(int32_t)*CHAR_BIT == 32, "" ); |
| 73 | static_assert(std::is_signed<int32_t>::value, "" ); |
| 74 | // typedef int64_t |
| 75 | static_assert(sizeof(int64_t)*CHAR_BIT == 64, "" ); |
| 76 | static_assert(std::is_signed<int64_t>::value, "" ); |
| 77 | |
| 78 | // typedef uint8_t |
| 79 | static_assert(sizeof(uint8_t)*CHAR_BIT == 8, "" ); |
| 80 | static_assert(std::is_unsigned<uint8_t>::value, "" ); |
| 81 | // typedef uint16_t |
| 82 | static_assert(sizeof(uint16_t)*CHAR_BIT == 16, "" ); |
| 83 | static_assert(std::is_unsigned<uint16_t>::value, "" ); |
| 84 | // typedef uint32_t |
| 85 | static_assert(sizeof(uint32_t)*CHAR_BIT == 32, "" ); |
| 86 | static_assert(std::is_unsigned<uint32_t>::value, "" ); |
| 87 | // typedef uint64_t |
| 88 | static_assert(sizeof(uint64_t)*CHAR_BIT == 64, "" ); |
| 89 | static_assert(std::is_unsigned<uint64_t>::value, "" ); |
| 90 | |
| 91 | // typedef int_least8_t |
| 92 | static_assert(sizeof(int_least8_t)*CHAR_BIT >= 8, "" ); |
| 93 | static_assert(std::is_signed<int_least8_t>::value, "" ); |
| 94 | // typedef int_least16_t |
| 95 | static_assert(sizeof(int_least16_t)*CHAR_BIT >= 16, "" ); |
| 96 | static_assert(std::is_signed<int_least16_t>::value, "" ); |
| 97 | // typedef int_least32_t |
| 98 | static_assert(sizeof(int_least32_t)*CHAR_BIT >= 32, "" ); |
| 99 | static_assert(std::is_signed<int_least32_t>::value, "" ); |
| 100 | // typedef int_least64_t |
| 101 | static_assert(sizeof(int_least64_t)*CHAR_BIT >= 64, "" ); |
| 102 | static_assert(std::is_signed<int_least64_t>::value, "" ); |
| 103 | |
| 104 | // typedef uint_least8_t |
| 105 | static_assert(sizeof(uint_least8_t)*CHAR_BIT >= 8, "" ); |
| 106 | static_assert(std::is_unsigned<uint_least8_t>::value, "" ); |
| 107 | // typedef uint_least16_t |
| 108 | static_assert(sizeof(uint_least16_t)*CHAR_BIT >= 16, "" ); |
| 109 | static_assert(std::is_unsigned<uint_least16_t>::value, "" ); |
| 110 | // typedef uint_least32_t |
| 111 | static_assert(sizeof(uint_least32_t)*CHAR_BIT >= 32, "" ); |
| 112 | static_assert(std::is_unsigned<uint_least32_t>::value, "" ); |
| 113 | // typedef uint_least64_t |
| 114 | static_assert(sizeof(uint_least64_t)*CHAR_BIT >= 64, "" ); |
| 115 | static_assert(std::is_unsigned<uint_least64_t>::value, "" ); |
| 116 | |
| 117 | // typedef int_fast8_t |
| 118 | static_assert(sizeof(int_fast8_t)*CHAR_BIT >= 8, "" ); |
| 119 | static_assert(std::is_signed<int_fast8_t>::value, "" ); |
| 120 | // typedef int_fast16_t |
| 121 | static_assert(sizeof(int_fast16_t)*CHAR_BIT >= 16, "" ); |
| 122 | static_assert(std::is_signed<int_fast16_t>::value, "" ); |
| 123 | // typedef int_fast32_t |
| 124 | static_assert(sizeof(int_fast32_t)*CHAR_BIT >= 32, "" ); |
| 125 | static_assert(std::is_signed<int_fast32_t>::value, "" ); |
| 126 | // typedef int_fast64_t |
| 127 | static_assert(sizeof(int_fast64_t)*CHAR_BIT >= 64, "" ); |
| 128 | static_assert(std::is_signed<int_fast64_t>::value, "" ); |
| 129 | |
| 130 | // typedef uint_fast8_t |
| 131 | static_assert(sizeof(uint_fast8_t)*CHAR_BIT >= 8, "" ); |
| 132 | static_assert(std::is_unsigned<uint_fast8_t>::value, "" ); |
| 133 | // typedef uint_fast16_t |
| 134 | static_assert(sizeof(uint_fast16_t)*CHAR_BIT >= 16, "" ); |
| 135 | static_assert(std::is_unsigned<uint_fast16_t>::value, "" ); |
| 136 | // typedef uint_fast32_t |
| 137 | static_assert(sizeof(uint_fast32_t)*CHAR_BIT >= 32, "" ); |
| 138 | static_assert(std::is_unsigned<uint_fast32_t>::value, "" ); |
| 139 | // typedef uint_fast64_t |
| 140 | static_assert(sizeof(uint_fast64_t)*CHAR_BIT >= 64, "" ); |
| 141 | static_assert(std::is_unsigned<uint_fast64_t>::value, "" ); |
| 142 | |
| 143 | // typedef intptr_t |
| 144 | static_assert(sizeof(intptr_t) >= sizeof(void*), "" ); |
| 145 | static_assert(std::is_signed<intptr_t>::value, "" ); |
| 146 | // typedef uintptr_t |
| 147 | static_assert(sizeof(uintptr_t) >= sizeof(void*), "" ); |
| 148 | static_assert(std::is_unsigned<uintptr_t>::value, "" ); |
| 149 | |
| 150 | // typedef intmax_t |
| 151 | static_assert(sizeof(intmax_t) >= sizeof(long long), "" ); |
| 152 | static_assert(std::is_signed<intmax_t>::value, "" ); |
| 153 | // typedef uintmax_t |
| 154 | static_assert(sizeof(uintmax_t) >= sizeof(unsigned long long), "" ); |
| 155 | static_assert(std::is_unsigned<uintmax_t>::value, "" ); |
| 156 | |
| 157 | // INTN_MIN |
| 158 | static_assert(INT8_MIN == -128, "" ); |
| 159 | static_assert(INT16_MIN == -32768, "" ); |
| 160 | static_assert(INT32_MIN == -2147483647 - 1, "" ); |
| 161 | static_assert(INT64_MIN == -9223372036854775807LL - 1, "" ); |
| 162 | |
| 163 | // INTN_MAX |
| 164 | static_assert(INT8_MAX == 127, "" ); |
| 165 | static_assert(INT16_MAX == 32767, "" ); |
| 166 | static_assert(INT32_MAX == 2147483647, "" ); |
| 167 | static_assert(INT64_MAX == 9223372036854775807LL, "" ); |
| 168 | |
| 169 | // UINTN_MAX |
| 170 | static_assert(UINT8_MAX == 255, "" ); |
| 171 | static_assert(UINT16_MAX == 65535, "" ); |
| 172 | static_assert(UINT32_MAX == 4294967295U, "" ); |
| 173 | static_assert(UINT64_MAX == 18446744073709551615ULL, "" ); |
| 174 | |
| 175 | // INT_FASTN_MIN |
| 176 | static_assert(INT_FAST8_MIN <= -128, "" ); |
| 177 | static_assert(INT_FAST16_MIN <= -32768, "" ); |
| 178 | static_assert(INT_FAST32_MIN <= -2147483647 - 1, "" ); |
| 179 | static_assert(INT_FAST64_MIN <= -9223372036854775807LL - 1, "" ); |
| 180 | |
| 181 | // INT_FASTN_MAX |
| 182 | static_assert(INT_FAST8_MAX >= 127, "" ); |
| 183 | static_assert(INT_FAST16_MAX >= 32767, "" ); |
| 184 | static_assert(INT_FAST32_MAX >= 2147483647, "" ); |
| 185 | static_assert(INT_FAST64_MAX >= 9223372036854775807LL, "" ); |
| 186 | |
| 187 | // UINT_FASTN_MAX |
| 188 | static_assert(UINT_FAST8_MAX >= 255, "" ); |
| 189 | static_assert(UINT_FAST16_MAX >= 65535, "" ); |
| 190 | static_assert(UINT_FAST32_MAX >= 4294967295U, "" ); |
| 191 | static_assert(UINT_FAST64_MAX >= 18446744073709551615ULL, "" ); |
| 192 | |
| 193 | // INTPTR_MIN |
| 194 | assert(INTPTR_MIN == std::numeric_limits<intptr_t>::min()); |
| 195 | |
| 196 | // INTPTR_MAX |
| 197 | assert(INTPTR_MAX == std::numeric_limits<intptr_t>::max()); |
| 198 | |
| 199 | // UINTPTR_MAX |
| 200 | assert(UINTPTR_MAX == std::numeric_limits<uintptr_t>::max()); |
| 201 | |
| 202 | // INTMAX_MIN |
| 203 | assert(INTMAX_MIN == std::numeric_limits<intmax_t>::min()); |
| 204 | |
| 205 | // INTMAX_MAX |
| 206 | assert(INTMAX_MAX == std::numeric_limits<intmax_t>::max()); |
| 207 | |
| 208 | // UINTMAX_MAX |
| 209 | assert(UINTMAX_MAX == std::numeric_limits<uintmax_t>::max()); |
| 210 | |
| 211 | // PTRDIFF_MIN |
| 212 | assert(PTRDIFF_MIN == std::numeric_limits<std::ptrdiff_t>::min()); |
| 213 | |
| 214 | // PTRDIFF_MAX |
| 215 | assert(PTRDIFF_MAX == std::numeric_limits<std::ptrdiff_t>::max()); |
| 216 | |
| 217 | // SIG_ATOMIC_MIN |
| 218 | assert(SIG_ATOMIC_MIN == std::numeric_limits<sig_atomic_t>::min()); |
| 219 | |
| 220 | // SIG_ATOMIC_MAX |
| 221 | assert(SIG_ATOMIC_MAX == std::numeric_limits<sig_atomic_t>::max()); |
| 222 | |
| 223 | // SIZE_MAX |
| 224 | assert(SIZE_MAX == std::numeric_limits<size_t>::max()); |
| 225 | |
| 226 | #ifndef TEST_HAS_NO_WIDE_CHARACTERS |
| 227 | // WCHAR_MIN |
| 228 | assert(WCHAR_MIN == std::numeric_limits<wchar_t>::min()); |
| 229 | |
| 230 | // WCHAR_MAX |
| 231 | assert(WCHAR_MAX == std::numeric_limits<wchar_t>::max()); |
| 232 | |
| 233 | // WINT_MIN |
| 234 | assert(WINT_MIN == std::numeric_limits<wint_t>::min()); |
| 235 | |
| 236 | // WINT_MAX |
| 237 | assert(WINT_MAX == std::numeric_limits<wint_t>::max()); |
| 238 | #endif |
| 239 | |
| 240 | #ifndef INT8_C |
| 241 | #error INT8_C not defined |
| 242 | #endif |
| 243 | |
| 244 | #ifndef INT16_C |
| 245 | #error INT16_C not defined |
| 246 | #endif |
| 247 | |
| 248 | #ifndef INT32_C |
| 249 | #error INT32_C not defined |
| 250 | #endif |
| 251 | |
| 252 | #ifndef INT64_C |
| 253 | #error INT64_C not defined |
| 254 | #endif |
| 255 | |
| 256 | #ifndef UINT8_C |
| 257 | #error UINT8_C not defined |
| 258 | #endif |
| 259 | |
| 260 | #ifndef UINT16_C |
| 261 | #error UINT16_C not defined |
| 262 | #endif |
| 263 | |
| 264 | #ifndef UINT32_C |
| 265 | #error UINT32_C not defined |
| 266 | #endif |
| 267 | |
| 268 | #ifndef UINT64_C |
| 269 | #error UINT64_C not defined |
| 270 | #endif |
| 271 | |
| 272 | #ifndef INTMAX_C |
| 273 | #error INTMAX_C not defined |
| 274 | #endif |
| 275 | |
| 276 | #ifndef UINTMAX_C |
| 277 | #error UINTMAX_C not defined |
| 278 | #endif |
| 279 | |
| 280 | return 0; |
| 281 | } |
| 282 | |