[Cocci] Weird problem trying to match code inside a function

Julia Lawall julia.lawall at lip6.fr
Wed Sep 12 08:26:09 CEST 2018



On Wed, 12 Sep 2018, SF Markus Elfring wrote:

> > Can you shed some light?
>
> Did you notice the following information in the manual for the semantic
> patch language?
> https://github.com/coccinelle/coccinelle/blob/dd206b29bf372a8f8e63ffe549f8184e10f2ea7e/docs/manual/cocci_syntax.tex#L1607
>
> “…
> All matching done by a SmPL rule is done intraprocedurally.
> …”
>
>
> Can this trigger software development considerations when you try
> to add source code after a found function implementation?

As the manual says, all matching is done within a function.  Adding code
is not matching.

julia


More information about the Cocci mailing list