* Paul Walmsley [110602 14:22]:
> On Wed, 1 Jun 2011, Julia Lawall wrote:
>
> > From: Julia Lawall
> >
> > Add missing call to clk_put.
> >
> > A simplified version of the semantic match that finds this problem is as
> > follows: (http://coccinelle.lip6.fr/)
> >
> > //
> > @r exists@
> > exp
On Wed, 1 Jun 2011, Julia Lawall wrote:
> From: Julia Lawall
>
> Add missing call to clk_put.
>
> A simplified version of the semantic match that finds this problem is as
> follows: (http://coccinelle.lip6.fr/)
>
> //
> @r exists@
> expression e1,e2;
> statement S;
> @@
>
> e1 = clk_get@p1(.
From: Julia Lawall
Add missing call to clk_put.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
//
@r exists@
expression e1,e2;
statement S;
@@
e1 = clk_get@p1(...);
... when != e1 = e2
when != clk_put(e1)
when any
if (...