]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | int *mmod (int *); |
2 | int *umod (int *); | |
3 | ||
4 | int f (int *x) | |
5 | { | |
6 | (void) umod (mmod (umod (x))); | |
7 | return *x; | |
8 | } | |
9 | ||
10 | int g (int *x) /*@*/ | |
11 | { | |
12 | (void) umod (x); | |
13 | (void) umod (mmod (umod (x))); | |
14 | return *x; | |
15 | } |