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

// shows the expressive power added by positions
// normally, we find one root and then explore its children.
// here the root is in some sense the if, and we want to see if it can
// be reached from two contexts

@n@
position p;
expression E;
statement S,S1;
@@

E = NULL
... when != E = ALLOC(...)
if@p (\(E\|!E\)) S else S1

@@
expression E, E1;
statement S,S1;
position p1 != n.p;
@@

* E = ALLOC(...)
... when != E = E1
* if@p1 (\(E\|!E\))
 S else S1
Commit	Line	Data
34e49164 C	1	// shows the expressive power added by positions
	2	// normally, we find one root and then explore its children.
	3	// here the root is in some sense the if, and we want to see if it can
	4	// be reached from two contexts
	5
	6	@n@
	7	position p;
	8	expression E;
	9	statement S,S1;
	10	@@
	11
	12	E = NULL
	13	... when != E = ALLOC(...)
	14	if@p (\(E\\|!E\)) S else S1
	15
	16	@@
	17	expression E, E1;
	18	statement S,S1;
	19	position p1 != n.p;
	20	@@
	21
	22	* E = ALLOC(...)
	23	... when != E = E1
	24	* if@p1 (\(E\\|!E\))
	25	S else S1