Coccinelle release 1.0.0-rc4
[bpt/coccinelle.git] / tests / free.cocci
CommitLineData
34e49164
C
1@a@
2identifier x;
3expression E;
4expression f;
5identifier fld;
6type T;
7@@
8
9(
10 free(x);
11|
12 kfree(x);
13|
14 kfree_skb(x);
15|
16 dev_kfree_skb(x);
17|
18 dev_kfree_skb_anx(x);
19)
20 ... WHEN != x = E
21 WHEN != \(T x;\| T x = E;\)
22 f(...,x,...)
23
24@@
25identifier x;
26expression E;
27type T;
28@@
29
30(
31 free(x);
32|
33 kfree(x);
34|
35 kfree_skb(x);
36|
37 dev_kfree_skb(x);
38|
39 dev_kfree_skb_anx(x);
40)
41 ... WHEN != x = E
42 WHEN != T x;
43 WHEN != T x = E;
44 *x
45
46@@
47identifier x;
48expression E;
49identifier fld;
50type T;
51@@
52
53(
54 free(x);
55|
56 kfree(x);
57|
58 kfree_skb(x);
59|
60 dev_kfree_skb(x);
61|
62 dev_kfree_skb_anx(x);
63)
64 ... WHEN != x = E
65 WHEN != T x;
66 WHEN != T x = E;
67 x->fld
68