Re: Fixing a sample from K&R book using cake static analyser

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.