Path: ...!news.nobody.at!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: Fixing a sample from K&R book using cake static analyser
Date: Mon, 24 Jun 2024 02:56:44 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <v5an9c$o87b$1@dont-email.me>
References: <v53sl1$35qt7$1@dont-email.me> <v558hv$3dskb$1@dont-email.me>
	<20240623022343.ec355c69a3d9eb03ad4a50f2@gmail.moc>
	<878qywq7ou.fsf@bsb.me.uk>
	<20240624013337.36fdb40f0766c6e1c8ce67c7@gmail.moc>
	<87tthjnsdt.fsf@bsb.me.uk> <v5am80$o3os$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 24 Jun 2024 04:56:45 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3048fea01d51f9337586ac8e02824e6c";
	logging-data="794859"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+E7zZ0yTn7CMXhqwvCIf8y"
User-Agent: Pan/0.158 (Avdiivka; )
Cancel-Lock: sha1:t+sGn2g3s6+I7a+YCoYb7ziobRc=
Bytes: 1621

On Mon, 24 Jun 2024 04:38:54 +0200, Janis Papanagnou wrote:

> ... it is a (more or less) deeply nested imperative code
> construct of loops where we want to leave from the innermost loop.
> Propagating the exit condition through all the nested loops "to the
> surface" complicates the code here.

Maybe it’s the kind of code I write, but I typically need to do cleanups 
on the way out of such nested constructs. That means a goto won’t cut it.