Commit | Line | Data |
---|---|---|
34e49164 C |
1 | // Even if our analysis does not go through nodes containing |
2 | // funcall, we can still do some (limited) interprocedural modification. | |
3 | ||
4 | @ rule1 @ | |
5 | identifier foo; | |
6 | @@ | |
7 | ||
8 | ||
9 | ioctl (...) { | |
10 | ... | |
11 | foo(3); | |
12 | ... | |
13 | } | |
14 | ||
15 | ||
16 | ||
17 | @@ | |
18 | identifier rule1.foo; | |
19 | @@ | |
20 | ||
21 | ||
22 | foo(...) | |
23 | { | |
24 | ||
25 | - bar(1); | |
26 | + bar(2); | |
27 | ||
28 | } |