Re: [cocci] Searching for lock calls without unlocking (with SmPL)?

[Julia Lawall <julia.lawall@inria.fr>]

On Sat, 2 Aug 2025, Markus Elfring wrote:

> >> May I expect that only a single call should be marked for such a test case?
> >
> > No, I already explained why two calls are marked.
>
> I see further challenges with this explanation approach.
>
>
> > The shortest path constraint is that for A ... B, the ... doesn't contain
> > A or B.
>
> This is generally fine.
>
>
> >          It doesn't mean that the rule can't match at multiple places in
> > the function.
>
> I find that this information will need further clarifications.

Coccinelle considers every node in the control-flow graph and checks
whether the pattern can be matched at that point.  Each mach is
independent.  There is no guarantee that one match will not cross another
one.  Furthermore, (just in case this is the concern) when you mentin two
different metavariables, there is no guarantee that they are not bound to
the same term.

julia