Commit | Line | Data |
---|---|---|
34e49164 C |
1 | @ rule1 disable add_signed @ |
2 | parameter list[n] P; | |
3 | identifier x; | |
4 | @@ | |
5 | ||
6 | f (P,int x,...) { ... } | |
7 | ||
8 | @ rule3 disable add_signed @ | |
9 | expression list[rule1.n] Es; | |
10 | expression E; | |
11 | identifier x; | |
12 | @@ | |
13 | ||
14 | g (Es, | |
15 | - E, | |
16 | ...) | |
17 | ||
18 | @ rule2 disable add_signed @ | |
19 | parameter list[rule1.n] P; | |
20 | identifier x; | |
21 | @@ | |
22 | ||
23 | g (P, | |
24 | - int x, | |
25 | ...) { ... } |