Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Bart's Language
Date: Thu, 20 Mar 2025 16:22:13 -0700
Organization: None to speak of
Lines: 18
Message-ID: <87a59fs2xm.fsf@nosuchdomain.example.com>
References: <vracit$178ka$1@dont-email.me> <vrbo88$1j3e0$1@paganini.bofh.team>
	<vrbtve$2irc9$1@dont-email.me> <vrc2d5$1jjrf$1@paganini.bofh.team>
	<vrc4eb$2p28t$1@dont-email.me> <vri6co$26v8m$2@paganini.bofh.team>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Fri, 21 Mar 2025 00:22:13 +0100 (CET)
Injection-Info: dont-email.me; posting-host="279d8aeca4b8e8a9dbe8bc9eae075af5";
	logging-data="279745"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19++9mhcQgjslH1gIDNEXzm"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:xMVmR+TiidgT1IynVT2hX2B+kJc=
	sha1:fdJGvov8X1KykyMFDRdO+6aiqGk=
Bytes: 1933

antispam@fricas.org (Waldek Hebisch) writes:
[...]
> Well, it is rather easy to see if variable is used within its
> own initialization, so practically it is minor gap.  Of course,
> there is problem with C standard: IIUC depending on rest of
> the code declarations as above are merely undefined behaviour
> or even produce unspecified value.  So C compiler is
> forbidden to stop compilation are report compile time error.

Valid responses to undefined behavior include "terminating a translation
or execution (with the issuance of a diagnostic message)".  In other
words, if a compiler is able to prove that a program has undefined
behavior (that will occur on each execution), it can reject it at
compile time.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */