From 615605c94eb3238fa1a0721506d70871f1610967 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Tue, 1 May 2012 20:05:49 +0000 Subject: conformtest: Update expectations for some ISO C headers. --- conform/data/assert.h-data | 2 + conform/data/ctype.h-data | 12 ++-- conform/data/errno.h-data | 162 +++++++++++++++++++++++---------------------- conform/data/float.h-data | 82 ++++++++++++----------- conform/data/limits.h-data | 43 ++++++------ conform/data/stddef.h-data | 8 ++- 6 files changed, 163 insertions(+), 146 deletions(-) (limited to 'conform') diff --git a/conform/data/assert.h-data b/conform/data/assert.h-data index 9c3cc046c6..acdfef99e1 100644 --- a/conform/data/assert.h-data +++ b/conform/data/assert.h-data @@ -4,4 +4,6 @@ macro assert macro static_assert #endif +#if !defined ISO && !defined ISO99 && !defined ISO11 allow *_t +#endif diff --git a/conform/data/ctype.h-data b/conform/data/ctype.h-data index e2c6019d50..3ee21c9b7d 100644 --- a/conform/data/ctype.h-data +++ b/conform/data/ctype.h-data @@ -12,6 +12,10 @@ function int isxdigit (int) function int tolower (int) function int toupper (int) +#if !defined ISO && !defined POSIX && !defined XPG3 && !defined XPG4 && !defined UNIX98 +function int isblank (int) +#endif + #if !defined ISO && !defined ISO99 && !defined ISO11 && !defined POSIX && !defined POSIX2008 function int isascii (int) function int toascii (int) @@ -39,9 +43,9 @@ function int tolower_l (int, locale_t) function int toupper_l (int, locale_t) # endif -// The following is not entirely correct. It should be is[a-z]* but the -// replacement fnmatch implementation does not grok it. -allow is* -allow to* +allow is[abcdefghijklmnopqrstuvwxyz]* +allow to[abcdefghijklmnopqrstuvwxyz]* +#if !defined ISO && !defined ISO99 && !defined ISO11 allow *_t +#endif diff --git a/conform/data/errno.h-data b/conform/data/errno.h-data index 328687f8dc..eaf6c210eb 100644 --- a/conform/data/errno.h-data +++ b/conform/data/errno.h-data @@ -1,90 +1,92 @@ -constant EDOM -constant EILSEQ -constant ERANGE +macro-int-constant EDOM {int} > 0 +#if !defined ISO && !defined POSIX +macro-int-constant EILSEQ {int} > 0 +#endif +macro-int-constant ERANGE {int} > 0 // variable int errno allow errno #if !defined ISO && !defined ISO99 && !defined ISO11 -constant E2BIG -constant EACCES -constant EADDRINUSE -constant EADDRNOTAVAIL -constant EAFNOSUPPORT -constant EAGAIN -constant EALREADY -constant EBADF -constant EBADMSG -constant EBUSY -constant ECANCELED -constant ECHILD -constant ECONNABORTED -constant ECONNREFUSED -constant ECONNRESET -constant EDEADLK -constant EDESTADDRREQ -constant EDQUOT -constant EEXIST -constant EFAULT -constant EFBIG -constant EHOSTUNREACH -constant EIDRM -constant EINPROGRESS -constant EINTR -constant EINVAL -constant EIO -constant EISCONN -constant EISDIR -constant ELOOP -constant EMFILE -constant EMLINK -constant EMSGSIZE -constant EMULTIHOP -constant ENAMETOOLONG -constant ENETDOWN -constant ENETUNREACH -constant ENFILE -constant ENOBUFS -constant ENODATA -constant ENODEV -constant ENOENT -constant ENOEXEC -constant ENOLCK -constant ENOLINK -constant ENOMEM -constant ENOMSG -constant ENOPROTOOPT -constant ENOSPC -constant ENOSR -constant ENOSTR -constant ENOSYS -constant ENOTCONN -constant ENOTDIR -constant ENOTEMPTY -constant ENOTSOCK -constant ENOTSUP -constant ENOTTY -constant ENXIO -constant EOPNOTSUPP -constant EOVERFLOW -constant EPERM -constant EPIPE -constant EPROTO -constant EPROTONOSUPPORT -constant EPROTOTYPE -constant EROFS -constant ESPIPE -constant ESRCH -constant ESTALE -constant ETIME -constant ETIMEDOUT -constant ETXTBSY -constant EWOULDBLOCK -constant EXDEV +macro-int-constant E2BIG {int} > 0 +macro-int-constant EACCES {int} > 0 +macro-int-constant EADDRINUSE {int} > 0 +macro-int-constant EADDRNOTAVAIL {int} > 0 +macro-int-constant EAFNOSUPPORT {int} > 0 +macro-int-constant EAGAIN {int} > 0 +macro-int-constant EALREADY {int} > 0 +macro-int-constant EBADF {int} > 0 +macro-int-constant EBADMSG {int} > 0 +macro-int-constant EBUSY {int} > 0 +macro-int-constant ECANCELED {int} > 0 +macro-int-constant ECHILD {int} > 0 +macro-int-constant ECONNABORTED {int} > 0 +macro-int-constant ECONNREFUSED {int} > 0 +macro-int-constant ECONNRESET {int} > 0 +macro-int-constant EDEADLK {int} > 0 +macro-int-constant EDESTADDRREQ {int} > 0 +macro-int-constant EDQUOT {int} > 0 +macro-int-constant EEXIST {int} > 0 +macro-int-constant EFAULT {int} > 0 +macro-int-constant EFBIG {int} > 0 +macro-int-constant EHOSTUNREACH {int} > 0 +macro-int-constant EIDRM {int} > 0 +macro-int-constant EINPROGRESS {int} > 0 +macro-int-constant EINTR {int} > 0 +macro-int-constant EINVAL {int} > 0 +macro-int-constant EIO {int} > 0 +macro-int-constant EISCONN {int} > 0 +macro-int-constant EISDIR {int} > 0 +macro-int-constant ELOOP {int} > 0 +macro-int-constant EMFILE {int} > 0 +macro-int-constant EMLINK {int} > 0 +macro-int-constant EMSGSIZE {int} > 0 +macro-int-constant EMULTIHOP {int} > 0 +macro-int-constant ENAMETOOLONG {int} > 0 +macro-int-constant ENETDOWN {int} > 0 +macro-int-constant ENETUNREACH {int} > 0 +macro-int-constant ENFILE {int} > 0 +macro-int-constant ENOBUFS {int} > 0 +macro-int-constant ENODATA {int} > 0 +macro-int-constant ENODEV {int} > 0 +macro-int-constant ENOENT {int} > 0 +macro-int-constant ENOEXEC {int} > 0 +macro-int-constant ENOLCK {int} > 0 +macro-int-constant ENOLINK {int} > 0 +macro-int-constant ENOMEM {int} > 0 +macro-int-constant ENOMSG {int} > 0 +macro-int-constant ENOPROTOOPT {int} > 0 +macro-int-constant ENOSPC {int} > 0 +macro-int-constant ENOSR {int} > 0 +macro-int-constant ENOSTR {int} > 0 +macro-int-constant ENOSYS {int} > 0 +macro-int-constant ENOTCONN {int} > 0 +macro-int-constant ENOTDIR {int} > 0 +macro-int-constant ENOTEMPTY {int} > 0 +macro-int-constant ENOTSOCK {int} > 0 +macro-int-constant ENOTSUP {int} > 0 +macro-int-constant ENOTTY {int} > 0 +macro-int-constant ENXIO {int} > 0 +macro-int-constant EOPNOTSUPP {int} > 0 +macro-int-constant EOVERFLOW {int} > 0 +macro-int-constant EPERM {int} > 0 +macro-int-constant EPIPE {int} > 0 +macro-int-constant EPROTO {int} > 0 +macro-int-constant EPROTONOSUPPORT {int} > 0 +macro-int-constant EPROTOTYPE {int} > 0 +macro-int-constant EROFS {int} > 0 +macro-int-constant ESPIPE {int} > 0 +macro-int-constant ESRCH {int} > 0 +macro-int-constant ESTALE {int} > 0 +macro-int-constant ETIME {int} > 0 +macro-int-constant ETIMEDOUT {int} > 0 +macro-int-constant ETXTBSY {int} > 0 +macro-int-constant EWOULDBLOCK {int} > 0 +macro-int-constant EXDEV {int} > 0 # if defined XOPEN2K8 || defined POSIX2008 -constant ENOTRECOVERABLE -constant EOWNERDEAD +macro-int-constant ENOTRECOVERABLE {int} > 0 +macro-int-constant EOWNERDEAD {int} > 0 # endif allow E* diff --git a/conform/data/float.h-data b/conform/data/float.h-data index 49d953aa6d..350802ac29 100644 --- a/conform/data/float.h-data +++ b/conform/data/float.h-data @@ -1,60 +1,62 @@ -macro FLT_RADIX +macro-int-constant FLT_RADIX >= 2 -constant FLT_ROUNDS +macro FLT_ROUNDS -macro FLT_MANT_DIG -macro DBL_MANT_DIG -macro LDBL_MANT_DIG +macro-int-constant FLT_MANT_DIG +macro-int-constant DBL_MANT_DIG +macro-int-constant LDBL_MANT_DIG -constant FLT_DIG >= 6 -constant DBL_DIG >= 10 -constant LDBL_DIG >= 10 +macro-int-constant FLT_DIG >= 6 +macro-int-constant DBL_DIG >= 10 +macro-int-constant LDBL_DIG >= 10 -macro FLT_MIN_EXP -macro DBL_MIN_EXP -macro LDBL_MIN_EXP +macro-int-constant FLT_MIN_EXP < 0 +macro-int-constant DBL_MIN_EXP < 0 +macro-int-constant LDBL_MIN_EXP < 0 -constant FLT_MIN_10_EXP <= -37 -constant DBL_MIN_10_EXP <= -37 -constant LDBL_MIN_10_EXP <= -37 +macro-int-constant FLT_MIN_10_EXP <= -37 +macro-int-constant DBL_MIN_10_EXP <= -37 +macro-int-constant LDBL_MIN_10_EXP <= -37 -macro FLT_MAX_EXP -macro DBL_MAX_EXP -macro LDBL_MAX_EXP +macro-int-constant FLT_MAX_EXP +macro-int-constant DBL_MAX_EXP +macro-int-constant LDBL_MAX_EXP -constant FLT_MAX_10_EXP >= 37 -constant DBL_MAX_10_EXP >= 37 -constant LDBL_MAX_10_EXP >= 37 +macro-int-constant FLT_MAX_10_EXP >= 37 +macro-int-constant DBL_MAX_10_EXP >= 37 +macro-int-constant LDBL_MAX_10_EXP >= 37 -constant FLT_MAX >= 1.0E37 -constant DBL_MAX >= 1.0E37 -constant LDBL_MAX >= 1.0E37 +macro-constant FLT_MAX >= 1.0E37 +macro-constant DBL_MAX >= 1.0E37 +macro-constant LDBL_MAX >= 1.0E37 -macro FLT_EPSILON -macro DBL_EPSILON -macro LDBL_EPSILON +macro-constant FLT_EPSILON <= 1.0E-5 +macro-constant DBL_EPSILON <= 1.0E-9 +macro-constant LDBL_EPSILON <= 1.0E-9 -macro FLT_MIN -macro DBL_MIN -macro LDBL_MIN +macro-constant FLT_MIN <= 1.0E-37 +macro-constant DBL_MIN <= 1.0E-37 +macro-constant LDBL_MIN <= 1.0E-37 #if !defined ISO && !defined XPG3 && !defined XPG4 && !defined POSIX && !defined UNIX98 -constant DECIMAL_DIG >= 10 -constant FLT_EVAL_METHOD +macro-int-constant DECIMAL_DIG >= 10 +macro-int-constant FLT_EVAL_METHOD #endif #if defined ISO11 -constant DBL_HAS_SUBNORM -constant FLT_HAS_SUBNORM -constant LDBL_HAS_SUBNORM +macro-int-constant DBL_HAS_SUBNORM +macro-int-constant FLT_HAS_SUBNORM +macro-int-constant LDBL_HAS_SUBNORM -constant DBL_DECIMAL_DIG >= 10 -constant FLT_DECIMAL_DIG >= 6 -constant LDBL_DECIMAL_DIG >= 10 +macro-int-constant DBL_DECIMAL_DIG >= 10 +macro-int-constant FLT_DECIMAL_DIG >= 6 +macro-int-constant LDBL_DECIMAL_DIG >= 10 -constant DBL_TRUE_MIN <= 1E-37 -constant FLT_TRUE_MIN <= 1E-37 -constant LDBL_TRUE_MIN <= 1E-37 +macro-constant DBL_TRUE_MIN <= 1E-37 +macro-constant FLT_TRUE_MIN <= 1E-37 +macro-constant LDBL_TRUE_MIN <= 1E-37 #endif +#if !defined ISO && !defined ISO99 && !defined ISO11 allow *_t +#endif diff --git a/conform/data/limits.h-data b/conform/data/limits.h-data index 8f7a0010c2..dec178a517 100644 --- a/conform/data/limits.h-data +++ b/conform/data/limits.h-data @@ -1,28 +1,29 @@ -constant CHAR_BIT >= 8 -constant SCHAR_MIN <= -127 -constant SCHAR_MAX >= 127 -constant UCHAR_MAX >= 255 +macro-int-constant CHAR_BIT >= 8 +macro-int-constant SCHAR_MIN {promoted:signed char} <= -127 +macro-int-constant SCHAR_MAX {promoted:signed char} >= 127 +macro-int-constant UCHAR_MAX {promoted:unsigned char} >= 255 #ifdef __CHAR_UNSIGNED__ -constant CHAR_MIN == 0 -constant CHAR_MAX == UCHAR_MAX +macro-int-constant CHAR_MIN {promoted:char} == 0 +macro-int-constant CHAR_MAX {promoted:char} == UCHAR_MAX #else -constant CHAR_MIN == SCHAR_MIN -constant CHAR_MAX == SCHAR_MAX +macro-int-constant CHAR_MIN {promoted:char} == SCHAR_MIN +macro-int-constant CHAR_MAX {promoted:char} == SCHAR_MAX #endif -constant MB_LEN_MAX >= 1 -constant SHRT_MIN <= -32767 -constant SHRT_MAX >= 32767 -constant USHRT_MAX >= 65535 -constant INT_MAX >= 2147483647 -constant INT_MIN <= 2147483647 -constant UINT_MAX >= 4294967295 -constant LONG_MAX >= 2147483647 -constant LONG_MIN <= 2147483647 -constant ULONG_MAX >= 4294967295 +macro-int-constant MB_LEN_MAX >= 1 +macro-int-constant SHRT_MIN {promoted:short int} <= -32767 +macro-int-constant SHRT_MAX {promoted:short int} >= 32767 +macro-int-constant USHRT_MAX {promoted:unsigned short int} >= 65535 +// The ranges for int and unsigned int are from POSIX. +macro-int-constant INT_MAX {int} >= 2147483647 +macro-int-constant INT_MIN {int} <= -2147483647 +macro-int-constant UINT_MAX {unsigned int} >= 4294967295U +macro-int-constant LONG_MAX {long int} >= 2147483647L +macro-int-constant LONG_MIN {long int} <= -2147483647L +macro-int-constant ULONG_MAX {unsigned long int} >= 4294967295UL #if defined ISO99 || defined ISO11 || defined XOPEN2K8 || defined POSIX2008 -constant LLONG_MIN <= -9223372036854775807ll -constant LLONG_MAX >= 9223372036854775807ll -constant ULLONG_MAX >= 18446744073709551615ull +macro-int-constant LLONG_MIN {long long int} <= -9223372036854775807ll +macro-int-constant LLONG_MAX {long long int} >= 9223372036854775807ll +macro-int-constant ULLONG_MAX {unsigned long long int} >= 18446744073709551615ull #endif #if !defined ISO && !defined ISO99 && !defined ISO11 diff --git a/conform/data/stddef.h-data b/conform/data/stddef.h-data index a9acf2dac5..9ded4f1ca0 100644 --- a/conform/data/stddef.h-data +++ b/conform/data/stddef.h-data @@ -1,4 +1,4 @@ -constant NULL +macro-constant NULL == 0 macro offsetof @@ -6,4 +6,10 @@ type ptrdiff_t type wchar_t type size_t +#if defined ISO11 +type max_align_t +#endif + +#if !defined ISO && !defined ISO99 && !defined ISO11 allow *_t +#endif -- cgit 1.4.1