Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: tcc - first impression. Was: Baby X is bor nagain
Date: Mon, 01 Jul 2024 15:09:16 -0700
Organization: None to speak of
Lines: 24
Message-ID: <87sewswyr7.fsf@nosuchdomain.example.com>
References: <v494f9$von8$1@dont-email.me> <v53vh6$368vf$1@dont-email.me>
	<v54se1$3bqsk$1@dont-email.me> <20240624160941.0000646a@yahoo.com>
	<v5bu5r$va3a$1@dont-email.me> <20240624181006.00003b94@yahoo.com>
	<v5c86d$11ac7$1@dont-email.me> <JEheO.108086$ED9b.74955@fx11.iad>
	<v5cblg$11q0j$1@dont-email.me> <gEieO.108089$ED9b.25598@fx11.iad>
	<20240625113616.000075e0@yahoo.com> <mUzeO.141609$Cqra.55051@fx10.iad>
	<v5elql$1jmii$1@dont-email.me> <m3BeO.24907$Gurd.16179@fx34.iad>
	<v5empd$1jndv$2@dont-email.me> <v5eph4$1k6a9$1@dont-email.me>
	<87ed8jnbmf.fsf@bsb.me.uk> <v5jhls$2m7np$1@dont-email.me>
	<867ceadtih.fsf@linuxsc.com> <20240701200924.00003d9a@yahoo.com>
	<87zfr0wzpt.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Tue, 02 Jul 2024 00:09:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a98783fc5e0fb925d62531fe92c7b3bb";
	logging-data="1324498"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/qpIQIdQMo/zW/XS1QJKjI"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:Hb0Z+DT9bwUbp0ys6OKWMK3TTiY=
	sha1:5T2rEc7VnfkigUYgQaMGZTxiBhE=
Bytes: 2421

Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:
[...]
> (Incidentally, the N3220 draft says that labels can be applied to either
> statements or declarations, but the grammar doesn't seem to reflect
> that.)
[...]

My mistake.  The grammar is consistent.

A compound-statement consists of a "{", zero or more block-items,
and a "}".

In C17 and earlier, a block-item is a declaration or a statement,
and a statement may optionally have a label.

In C23, a block-item is a declaration, an unlabeled-statement,
or a label.

This allows both labels on declarations and a label at the very
end of a compound-statement.

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