tests/serio.cocci

   1 @ rule1 @
   2 type T;
   3 identifier lock;
   4 @@
   5
   6 T { ...
   7     struct semaphore lock;
   8     ...
   9   };
  10
  11 @ rule1a @
  12 type rule1.T;
  13 T data;
  14 identifier rule1.lock;
  15 @@
  16
  17 - init_MUTEX
  18 + mutex_init
  19   (&data.
  20 -        lock
  21 +        new_lock
  22   )
  23
  24 @@
  25 type rule1.T;
  26 identifier rule1.lock;
  27 @@
  28
  29 T { ...
  30 -   struct semaphore lock;
  31 +   struct mutex new_lock;
  32     ...
  33   };