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

@@
expression x;
expression E;
expression f;
@@

  free(x);
  ... WHEN != x = E
+ printf("possible use after free!!\n");
  f(...,x,...);
Commit	Line	Data
34e49164 C	1	@@
	2	expression x;
	3	expression E;
	4	expression f;
	5	@@
	6
	7	free(x);
	8	... WHEN != x = E
	9	+ printf("possible use after free!!\n");
	10	f(...,x,...);