]>
Commit | Line | Data |
---|---|---|
80ee600a | 1 | typedef /*@only@*/ char *ocp; |
2 | ||
3 | static /*@only@*/ ocp *stringTable; | |
4 | static int stringTableSize; | |
5 | ||
6 | void destroyMod (void) | |
7 | /*@globals killed stringTable@*/ | |
8 | { | |
9 | int i; | |
10 | ||
11 | for (i = 0; i < stringTableSize; i++) | |
12 | { | |
13 | free (stringTable[i]); | |
14 | } | |
15 | ||
16 | free (stringTable); /* okay */ | |
17 | } | |
18 | ||
19 | void destroyMod2 (void) | |
20 | /*@globals killed stringTable@*/ | |
21 | { | |
22 | free (stringTable); /* error */ | |
23 | } |