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

@exists@
expression x;
statement S1,S2;
@@

f(x);
+ after();
 ... when != true x == NULL || ...
g(x);
+ after();

@exists@
expression x;
statement S1,S2;
@@

+before();
f(x);
 ... when != false x == NULL || ...
+before();
g(x);
Commit	Line	Data
1be43e12 C	1	@exists@
	2	expression x;
	3	statement S1,S2;
	4	@@
	5
	6	f(x);
	7	+ after();
	8	... when != true x == NULL \|\| ...
	9	g(x);
	10	+ after();
	11
	12	@exists@
	13	expression x;
	14	statement S1,S2;
	15	@@
	16
	17	+before();
	18	f(x);
	19	... when != false x == NULL \|\| ...
	20	+before();
	21	g(x);