[Cocci] what is the function of 'position' in SMPL
Peter Senna Tschudin
peter.senna at gmail.com
Mon Feb 17 14:34:49 CET 2014
p is a position metavariable. It is useful when you want to print line
and column numbers of interesting parts.
The @p means that the position of what matches to 'i' will be saved into p.
There is some information available at:
On Mon, Feb 17, 2014 at 6:45 AM, 林嘉(程二 福州) <linjia at ruijie.com.cn> wrote:
> e.g. in find_unsigned.cocci
> @u@ type T; unsigned T i; position p; @@
> i at p < 0
> what is the difference with
> @u@ type T; unsigned T i; @@
> i < 0
> and what is the meaning of operator '@' ahead 'p'?
> Cocci mailing list
> Cocci at systeme.lip6.fr
More information about the Cocci