demos/check_region.cocci

   1 @@
   2 expression e1, e2;
   3 @@
   4
   5 - if(check_region(e1,e2)!=0)
   6 + if(!request_region(e1,e2))
   7   { ... return ...; }
   8   <...
   9 + release_region(e1);
  10   return ...;
  11   ...>
  12 - request_region(e1,e2);
  13
  14