]>
Commit | Line | Data |
---|---|---|
77970e15 | 1 | extern void |
2 | setVal (/*@out@*/ int *x); | |
3 | extern int | |
4 | getVal (/*@in@*/ int *x); | |
5 | extern int mysteryVal (int *x); | |
6 | ||
7 | int | |
8 | dumbfunc (/*@out@*/ int *x, int i) | |
9 | { | |
10 | if (i > 3) | |
11 | return *x; | |
12 | else if (i > 1) | |
13 | return getVal (x); | |
14 | else if (i == 0) | |
15 | return mysteryVal (x); | |
16 | else | |
17 | { | |
18 | setVal (x); | |
19 | return *x; | |
20 | } | |
21 | } |