tests/cr.cocci

   1 @@
   2 identifier x;
   3 expression E1, E2, E3;
   4 @@
   5
   6 -  x = request_region(E1,E2,E3);
   7   <...
   8 -   if (...) {
   9 -     ... when != release_region(E1,E2);
  10 -     return ...;
  11 -   }
  12   ...>
  13 ?- release_region(E1,E2);