tests/rule19a.cocci

   1 @@
   2 identifier interrupt;
   3 statement S;
   4 @@
   5
   6   interrupt(...) {
   7     ...
   8 (
   9 +   spin_unlock(&cs->lock);
  10     return;
  11 |
  12     S
  13 +   spin_unlock(&cs->lock);
  14 )
  15   }