demos/unsigned.cocci

   1 // This semantic patch does essentially the same as the script in
   2 // unsigned.txt.  That one does things with typedefs.  Not clear whether the
   3 // semantic patch finds those cases (it didn't but maybe there aren't any).
   4
   5 @@
   6 unsigned int i;
   7 @@
   8
   9 * i < 0