diff options
Diffstat (limited to 'conform/data')
| -rw-r--r-- | conform/data/stdint.h-data | 109 |
1 files changed, 109 insertions, 0 deletions
diff --git a/conform/data/stdint.h-data b/conform/data/stdint.h-data new file mode 100644 index 0000000000..7b5ad7a3ad --- /dev/null +++ b/conform/data/stdint.h-data @@ -0,0 +1,109 @@ +type int8_t +type int16_t +type int32_t +type int64_t +type uint8_t +type uint16_t +type uint32_t +type uint64_t + +type int_least8_t +type int_least16_t +type int_least32_t +type int_least64_t +type uint_least8_t +type uint_least16_t +type uint_least32_t +type uint_least64_t + +type int_fast8_t +type int_fast16_t +type int_fast32_t +type int_fast64_t +type uint_fast8_t +type uint_fast16_t +type uint_fast32_t +type uint_fast64_t + +type intptr_t +type uintptr_t + +type intmax_t +type uintmax_t + +constant INT8_MIN == -128 +constant INT8_MAX == 127 +constant INT16_MIN == -32768 +constant INT16_MAX == 32767 +constant INT32_MIN == -2147483647-1 +constant INT32_MAX == 2147483647 +constant INT64_MIN == -9223372036854775807LL-1 +constant INT64_MAX == 9223372036854775807LL + +constant UINT8_MAX == 255 +constant UINT16_MAX == 65535 +constant UINT32_MAX == 4294967295U +constant UINT64_MAX == 18446744073709551615ULL + +constant INT_LEAST8_MIN <= -128 +constant INT_LEAST8_MAX >= 127 +constant INT_LEAST16_MIN <= -32768 +constant INT_LEAST16_MAX >= 32767 +constant INT_LEAST32_MIN <= -2147483647-1 +constant INT_LEAST32_MAX >= 2147483647 +constant INT_LEAST64_MIN <= -9223372036854775807LL-1 +constant INT_LEAST64_MAX >= 9223372036854775807LL + +constant UINT_LEAST8_MAX >= 255 +constant UINT_LEAST16_MAX >= 65535 +constant UINT_LEAST32_MAX >= 4294967295U +constant UINT_LEAST64_MAX >= 18446744073709551615ULL + +constant INT_FAST8_MIN <= -128 +constant INT_FAST8_MAX >= 127 +constant INT_FAST16_MIN <= -32768 +constant INT_FAST16_MAX >= 32767 +constant INT_FAST32_MIN <= -2147483647-1 +constant INT_FAST32_MAX >= 2147483647 +constant INT_FAST64_MIN <= -9223372036854775807LL-1 +constant INT_FAST64_MAX >= 9223372036854775807LL + +constant UINT_FAST8_MAX >= 255 +constant UINT_FAST16_MAX >= 65535 +constant UINT_FAST32_MAX >= 4294967295U +constant UINT_FAST64_MAX >= 18446744073709551615ULL + +constant INTPTR_MIN <= -32768 +constant INTPTR_MAX >= 32767 + +constant UINTPTR_MAX >= 65535 + +constant INTMAX_MIN <= -9223372036854775807LL-1 +constant INTMAX_MAX >= 9223372036854775807LL + +constant UINTMAX_MAX >= 18446744073709551615ULL + +constant PTRDIFF_MIN <= -65535 +constant PTRDIFF_MAX >= 65535 + +constant SIG_ATOMIC_MIN <= -127 +constant SIG_ATOMIC_MAX >= 127 + +constant SIZE_MAX >= 65535 + +constant WCHAR_MIN <= -127 +constant WCHAR_MAX >= 127 + +constant WINT_MIN <= -127 +constant WINT_MAX >= 127 + +allow INT8_C +allow INT16_C +allow INT32_C +allow INT64_C +allow UINT8_C +allow UINT16_C +allow UINT32_C +allow UINT64_C +allow INTMAX_C +allow UINTMAX_C |