tests/cr1.cocci

   1 @@
   2 expression E, req_reg_arg2;
   3 identifier probe;
   4 @@
   5
   6 probe(...) {
   7   ...
   8   for(...; ...; ...) {
   9     ...
  10 +   if (!request_region(E, req_reg_arg2, req_reg_arg3))
  11 -   if (check_region(E, req_reg_arg2))
  12       { continue; }
  13     <...
  14 +    release_region(E, req_reg_arg2);
  15      continue;
  16     ...>
  17 +   release_region(E, req_reg_arg2);
  18   }
  19   ...
  20 }