On Sat, Nov 27, 2010 at 13:27 +0100, Julia Lawall wrote:
> position p != r.p;

Well, I wanted to do it, but if "r.p" is not found then the rule is not
processed:

--
@r@
identifier f ~= "no_such_f";
@@

f (...)
{
...
}

@@
identifier f != r.f;
@@

*f (...)
{
...
}
--


void f(void *s)
{}

It should find "f", but no.

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

Reply via email to