e.g. in find_unsigned.cocci

@u@ type T; unsigned T i; position p; @@
 i@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
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to