[splint.git] / test / freearray.c

typedef /*@only@*/ char *ocp;

static /*@only@*/ ocp *stringTable;
static int stringTableSize;

void destroyMod (void)
     /*@globals killed stringTable@*/
{
  int i;

  for (i = 0; i < stringTableSize; i++)
    {
      free (stringTable[i]);
    }

  free (stringTable); /* okay */
}

void destroyMod2 (void)
     /*@globals killed stringTable@*/
{
  free (stringTable); /* error */
}
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	}