Re: [cocci] Checking evaluation of another SmPL script

On Tue, 26 May 2026, Markus Elfring wrote:

> >> How would anybody get such an information from the software documentation
> >> with sufficient certainty (according to usage of SmPL asterisks)?
> >
> > Well, * puts a - on every line that contains a matched token.
>
> Fine.
>
> The clarification is continuing.
>
>
> >                                                                - is a
> > single character and there can be multiple matches, so it seems pretty
> > obvious.
>
> The discussion is evolving around the source code search for a selected
> pair of function calls.
> Did you notice that more code was marked than intended because of long lines?
> Are other application concerns more relevant here?

When there is a token that is matched by *, the whole line is marked with
-.  In the patch notation there is no way to mark only part of a line.
It is done this way ebcause in emacs it is possible to jump directly from
a diff line to the affected line in the code.  If you want a different
behavior, you can use position variables to print information about the
precise matched position.

>
> > --no-loops doesn't introduce non existent paths.  It only removes the
> > back edges in loop operators.
> Did you indicate uncertainty about corresponding software functionality?

No uncertainty.

julia