diff options
Diffstat (limited to 'conform')
| -rw-r--r-- | conform/conformtest.pl | 5 | ||||
| -rw-r--r-- | conform/data/stdint.h-data | 109 |
2 files changed, 112 insertions, 2 deletions
diff --git a/conform/conformtest.pl b/conform/conformtest.pl index 9424203..69dcf7f 100644 --- a/conform/conformtest.pl +++ b/conform/conformtest.pl @@ -17,8 +17,8 @@ if (@headers == ()) { "sys/time.h", "sys/statvfs.h", "sys/stat.h", "sys/socket.h", "sys/shm.h", "sys/sem.h", "sys/resource.h", "sys/msg.h", "sys/mman.h", "sys/ipc.h", "syslog.h", "stropts.h", "strings.h", - "string.h", "stdlib.h", "stdio.h", "stddef.h", "stdarg.h", - "spawn.h", "signal.h", "setjmp.h", "semaphore.h", + "string.h", "stdlib.h", "stdio.h", "stdint.h", "stddef.h", + "stdarg.h", "spawn.h", "signal.h", "setjmp.h", "semaphore.h", "search.h", "sched.h", "regex.h", "pwd.h", "pthread.h", "poll.h", "nl_types.h", "netinet/tcp.h", "netinet/in.h", "net/if.h", "netdb.h", "ndbm.h", "mqueue.h", "monetary.h", @@ -181,6 +181,7 @@ sub runtest } } else { printf (" FAIL\n"); + ++$errors; $printlog = 1; unlink "$fnamebase.out"; rename "$fnamebase.out2", "$fnamebase.out"; diff --git a/conform/data/stdint.h-data b/conform/data/stdint.h-data new file mode 100644 index 0000000..7b5ad7a --- /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 |