]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | # include "tq.h" |
2 | ||
3 | void f (tam xtam, tai xtai, tm xtm, ti xti) | |
4 | /*@modifies xtam, xtai, xtm, xti@*/ | |
5 | { | |
6 | *xtam = 3; /* 4. Operand of * is abstract type (tam): *xtam */ | |
7 | *xtai = 4; /* 5. Operand of * is abstract type (tai): *xtai */ | |
8 | *xtm = 5; | |
9 | *xti = 8; | |
10 | } |