]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | void test (char *s1, int x); |
2 | void test3 (int, char *s1); | |
3 | void test2 (/*@only@*/ char *s1, int x); | |
4 | char *copystring (char *s); | |
5 | ||
6 | int f (/*@only@*/ char *name) /*@modifies *name;@*/ | |
7 | { | |
8 | test (name, f(name)); /* 1. Variable name used after being released */ | |
9 | test3 (f(name), name); /* 2. Variable name used after being released */ | |
10 | test2 (copystring(name), f(name)); /* 3. Argument 2 modifies *name, used by ... */ | |
11 | return 3; | |
12 | } |