tests/typedef_double.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 - sema_init
  18 + mutex_init
  19   (&data.lock)