test/freearray.c

   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 }