Re: [cocci] Checking evaluation of another SmPL script

Julia Lawall <[email protected]> Sat, 23 May 2026 20:01:30 +0200 (CEST)
Newsgroups fr.inria.cocci
Message-ID <[email protected]>

On Sat, 23 May 2026, Markus Elfring wrote:

> > Due to the goto, they all look fine to me. …
>
> Which data processing effects do you expect according to the program option “--no-loops”
> for the presented source code search pattern?

I don't remember whether no loops looks at backward gotos.
Maybe try --no-gotos.

julia