On Thu, 2011-12-29 at 14:33 +0100, Julia Lawall wrote:
> @r exists@
> position p;
> @@
> 
> a@p()
> ... when != x
> b()
> 
> @@
> position p;
> @@
> 
> -a();
>   ... when != x
> ?b()

Thank, but frankly, I do not understand how this patch works, I need to
read some more docs.

-- 
Best Regards,
Artem Bityutskiy

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to