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

@a@
position p;
identifier f;
expression E;
@@

f(...) {
 <... when strict
(
E@p = ERR_PTR(...)
|
E@p = NULL
)
...>
return E;
}

@b exists@
identifier f, fld;
expression E,E1,E2;
position p1, p2 != a.p;
@@

f(...) {
(
  ... when any
  E@p2 = E1
  ... when != E->fld
      when != E = E2
  return@p1 E;
|
  ... when != E->fld
      when != E = E2
  return@p1 E;
)
}
Commit	Line	Data
34e49164 C	1	@a@
	2	position p;
	3	identifier f;
	4	expression E;
	5	@@
	6
	7	f(...) {
	8	<... when strict
	9	(
	10	E@p = ERR_PTR(...)
	11	\|
	12	E@p = NULL
	13	)
	14	...>
	15	return E;
	16	}
	17
	18	@b exists@
	19	identifier f, fld;
	20	expression E,E1,E2;
	21	position p1, p2 != a.p;
	22	@@
	23
	24	f(...) {
	25	(
	26	... when any
	27	E@p2 = E1
	28	... when != E->fld
	29	when != E = E2
	30	return@p1 E;
	31	\|
	32	... when != E->fld
	33	when != E = E2
	34	return@p1 E;
	35	)
	36	}