Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @a@ |
2 | identifier x; | |
3 | expression E; | |
4 | expression f; | |
5 | identifier fld; | |
6 | type 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 | @@ | |
25 | identifier x; | |
26 | expression E; | |
27 | type 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 | @@ | |
47 | identifier x; | |
48 | expression E; | |
49 | identifier fld; | |
50 | type 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 |