On Sun, 24 Aug 2014, SF Markus Elfring wrote:

> > +@depends on patch@
> > +identifier r.i;
> > +type t;
> > +@@
>
> Would the specification "@variable_deletion depends on r@" be useful for such 
> a
> semantic patch rule?

Maybe it would be more efficient.  But conceptually it is redundant.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to