[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