[Cocci] Avoiding code duplication for SmPL constraints

Julia Lawall julia.lawall at lip6.fr
Sat Feb 17 14:39:02 CET 2018

On Sat, 17 Feb 2018, SF Markus Elfring wrote:

> Hello,
> Constraints can be specified for metavariables of the semantic patch language.
> I noticed that they can trigger software maintenance challenges
> when bigger specifications are repeated in some SmPL rules.
> Now I am looking again for further possibilities to avoid corresponding
> code duplication.
> * Scripted constraints might be a design option.
>   Unfortunately, I find the documentation for this functionality still incomplete.

What information do you find to be lacking?

> * I imagine that it would nice if constraints could be set by programming script
>   rules at a single place.

The simplest thing to do is to define a function in the initialize part of
the semantic patch, and then call that function in the constraints as


More information about the Cocci mailing list