On Sat, 27 Nov 2010, 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:
OK good point. It should work to then have another rule that says
depends on !r and doesn't inherit anything.
julia
> --
> @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)
