[Cocci] what is the function of 'position' in SMPL

林嘉(程二 福州) linjia at ruijie.com.cn
Mon Feb 17 06:45:31 CET 2014

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'?

More information about the Cocci mailing list