Andrew's git / gitweb.git / contrib/coccinelle/preincr.cocci
?
contrib / coccinelle / preincr.coccion commit trace2: use system/global config for default trace2 settings (bce9db6)
   1@ preincrement @
   2identifier i;
   3@@
   4- ++i > 1
   5+ i++