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

// the point of this example is that if p doesn't get bound, then p1 can
// be anything

@a@
position p;
@@

f@p(...)

@@
position p1 != a.p;
@@

- g@p1(...);
Commit	Line	Data
34e49164 C	1	// the point of this example is that if p doesn't get bound, then p1 can
	2	// be anything
	3
	4	@a@
	5	position p;
	6	@@
	7
	8	f@p(...)
	9
	10	@@
	11	position p1 != a.p;
	12	@@
	13
	14	- g@p1(...);