On 11/27/2010 01:44 PM, Vasiliy Kulikov wrote:
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;
Why don't you just use
identifier f !~= "no_such_f";
?
That way you don't need the first rule at all.
@@
*f (...)
{
...
}
--
void f(void *s)
{}
It should find "f", but no.
bye
michael
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
