]>
Commit | Line | Data |
---|---|---|
1 | extern unknown (int *x); | |
2 | extern inparam (/*@in@*/ int *x); | |
3 | ||
4 | void f (/*@out@*/ int *x) | |
5 | { | |
6 | if (3 > 4) | |
7 | { | |
8 | unknown (x); /* x not completely defined */ | |
9 | } | |
10 | else | |
11 | { | |
12 | inparam (x); /* x not completely defined */ | |
13 | } | |
14 | } |