Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.c
Subject: Re: how cast works?
Date: Fri, 9 Aug 2024 02:47:08 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 8
Message-ID: <v93vvc$hjg3$4@dont-email.me>
References: <v8vlo9$2oc1v$1@dont-email.me> <slrnvb7kis.28a.dan@djph.net>
	<v929ah$3u7l7$1@dont-email.me> <v92gt1$e1l$1@dont-email.me>
	<20240808193203.00006287@yahoo.com> <v92va5$4msg$1@dont-email.me>
	<v9310a$4v1a$2@dont-email.me> <v93565$6ffo$1@dont-email.me>
	<v93h12$9vom$1@dont-email.me> <87frre8v5q.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 09 Aug 2024 04:47:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9c219cffcf102146d604ffe68a37a70f";
	logging-data="577027"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/bPuOUl3Rq90oiTGNziUy3"
User-Agent: Pan/0.159 (Vovchansk; )
Cancel-Lock: sha1:JBbWwUtlwNWh3njqvAO1RUKfctM=
Bytes: 1516

On Thu, 08 Aug 2024 16:14:09 -0700, Keith Thompson wrote:

> The value of a _Bool object is always either 0 or 1 *unless* the program
> does something weird.

If a variable is declared to be of a particular type, does that mean that 
any possible value of that variable is, by definition, interpreted as some 
instance of that type?