Re: [Cocci] Checking function signatures with SmPL

2019-10-18 Thread Julia Lawall
On Fri, 18 Oct 2019, Markus Elfring wrote: > Hello, > > I have tried another small script out for the semantic patch language. > The following variant with two SmPL rules gets accepted by > the Coccinelle software. > > @display1@ > identifier pointing; > type T; > @@ > *T* pointing(...); > >

[Cocci] Checking function signatures with SmPL

2019-10-18 Thread Markus Elfring
Hello, I have tried another small script out for the semantic patch language. The following variant with two SmPL rules gets accepted by the Coccinelle software. @display1@ identifier pointing; type T; @@ *T* pointing(...); @display2@ identifier pointing; type T; @@ *T* pointing(...) { ... }