1 typedef /*@only@*/ char *ocp;
3 static /*@only@*/ ocp *stringTable;
4 static int stringTableSize;
7 /*@globals killed stringTable@*/
11 for (i = 0; i < stringTableSize; i++)
13 free (stringTable[i]);
16 free (stringTable); /* okay */
19 void destroyMod2 (void)
20 /*@globals killed stringTable@*/
22 free (stringTable); /* error */