[bpt/coccinelle.git] / tests / cr.cocci

@@
identifier x;
expression E1, E2, E3;
@@

-  x = request_region(E1,E2,E3);
  <...
-   if (...) {
-     ... when != release_region(E1,E2);
-     return ...;
-   }
  ...>
?- release_region(E1,E2);
Commit	Line	Data
34e49164 C	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);