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 >