Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: James Kuyper <jameskuyper@alumni.caltech.edu>
Newsgroups: comp.lang.c
Subject: Re: remark on defining size of basic types
Date: Thu, 4 Apr 2024 12:02:16 -0400
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <uumiu8$o78i$1@dont-email.me>
References: <uukp2q$2v3$1@i2pn2.org> <uukrfp$7l0f$2@dont-email.me>
 <uul0q6$c4i$1@i2pn2.org> <uul461$d88r$1@dont-email.me>
 <uum354$1l27$1@i2pn2.org> <uum95f$lr8o$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 04 Apr 2024 16:02:17 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0f535587ed0cce5386e66a52273f2426";
	logging-data="793874"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18djAlRXrNl1xFY/onmiCKo7ld3leRQdjA="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:84Htv2jX1hJCfmfDGNUiXRKHOdk=
Content-Language: en-US
In-Reply-To: <uum95f$lr8o$1@dont-email.me>
Bytes: 2263

On 4/4/24 09:15, Janis Papanagnou wrote:
....
> Since I remember C had always just defined a '<=' (or '>=') relation
> between the unsized basic integral data types.

There's several things not quite right about the form of that sentence,
so I'm not quite sure what you meant to say, but C originally defined
the relational operators for any arithmetic type (and for pointers to
compatible object types), including the unsigned types..

Some complications have been added since then. When extended integer
types and _Bool were added, the definitions were adjusted so that the
integer promotion rules apply to _Bool, and extended integer types are
included along with other integer types. When _Complex and _Imaginary
were added, the operands to the relational operators were explicitly
required to be real (which, as C defines the term, includes all integer
types). When decimal floating types were introduced, they added a
prohibition on comparing such values with values that had a standard
floating types. However, nothing matching the restrictions you imply has
ever been true.