[bpt/coccinelle.git] / demos / check_region.cocci

@@ 
expression e1, e2; 
@@

- if(check_region(e1,e2)!=0)
+ if(!request_region(e1,e2))
  { ... return ...; }
  <...
+ release_region(e1);
  return ...;
  ...>
- request_region(e1,e2);
Commit	Line	Data
34e49164 C	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