1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
// This file is part of Coccinelle, licensed under the terms of the GPL v2.
// See copyright.txt in the Coccinelle source code for more information.
// The Coccinelle source code can be obtained at http://coccinelle.lip6.fr
@@
struct SHT sht;
local function proc_info_func;
@@
sht.proc_info = proc_info_func;
@@
identifier buffer, start, offset, length, inout, hostptr, hostno;
@@
proc_info_func (
+ struct Scsi_Host *hostptr,
char *buffer, char **start, off_t offset, int length,
- int hostno,
int inout) {
...
- struct Scsi_Host *hostptr;
...
- hostptr = scsi_host_hn_get(hostno);
...
?- if (!hostptr) { ... }
...
?- scsi_host_put(hostptr);
...
}
@@
expression E;
@@
proc_info_func(...) {
<...
(
\+- E->host_no == hostno
+ E == shpnt
|
- hostno
+ shpnt->host_no
)
...>
}
@@
struct foo E;
@@
proc_info_func(...) {
<...
(
\+- E->host_no == hostno
+ E == shpnt
|
- hostno
+ shpnt->host_no
)
...>
}
|
