1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
extern /*@only@*/ char *string_copyext (char *s) ;
void f (void)
{
char *s;
if (3 < 4)
{
s = string_copyext ("asdf");
free (s);
}
}
/*@only@*/ char *string_copy (char *s)
{
return s; /* 1. returns temp as only! */
}
/*@only@*/ char *copy_string1 (char *s)
{
return string_copy (s); /* okay */
}
/*@only@*/ char *copy_string2 (char *s)
{
return string_copyext (s); /* okay */
}
void string_free1 (char *s)
{
free (s); /* 2. unqualified as only */
}
void string_free2 (/*@only@*/ char *s)
{
free (s);
}
void string_free3 (/*@only@*/ char *s)
{
char *t = string_copy (s);
string_free2 (s);
*t = 'a';
} /* 3. bad, t not released */
void string_free4 (/*@only@*/ char *s)
{
char *t;
int i;
for (i = 0; i < 3; i++)
{
t = string_copy (s);
*t = 'a';
free (t);
}
free (s);
} /* okay */
|
