Re: [cocci] Checking evaluation of another SmPL script

On Sat, 23 May 2026, Markus Elfring wrote:

> >>> Maybe try --no-gotos.
> >> Where is such a program parameter explained?
> >
> > spatch --help.  Like all the other command line arguments.
> https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/enter.ml#L650-651
>
> Would you expect that a more detailed explanation will appear also in the document “spatch_options.tex”?

I added an entry to this file.

julia

>
> Are we still looking for more helpful guidance than the hint “drop all jumps derived from gotos - unsafe”?
>
> Regards,
> Markus
>