Re: [cocci] Checking evaluation of another SmPL script

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

On Sat, 23 May 2026, Markus Elfring wrote:

> >> 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.
>
> How will chances evolve to agree on corresponding information so that it can be integrated
> for a better software documentation?
>
>
> > Maybe try --no-gotos.
> Where is such a program parameter explained?

spatch --help.  Like all the other command line arguments.

julia


>
> Regards,
> Markus
>