aboutsummaryrefslogtreecommitdiff
path: root/conform/data
diff options
context:
space:
mode:
Diffstat (limited to 'conform/data')
-rw-r--r--conform/data/stdint.h-data109
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