[splint.git] / test / fields3.c

typedef struct 
{
  int *x;
  int *y;
} *pair;

void pair_free (/*@only@*/ pair p)
{
  int i = 3;

  free (p->x);

  if (i < 2)
    {
      *(p->y) = 3;
      i++;
    }

  free (p->y);
  free (p);
}

void pair_free2 (/*@only@*/ pair p)
{
  int i = 3;

  free (p->x);

  if (i < 2)
    {
      *(p->y) = 3;
    }
  else
    {
      *(p->y) = 12;
    }

  free (p->y);
  free (p);
}
Commit	Line	Data
885824d3	1	typedef struct
	2	{
	3	int *x;
	4	int *y;
	5	} *pair;
	6
	7	void pair_free (/@only@/ pair p)
	8	{
	9	int i = 3;
	10
	11	free (p->x);
	12
	13	if (i < 2)
	14	{
	15	*(p->y) = 3;
	16	i++;
	17	}
	18
	19	free (p->y);
	20	free (p);
	21	}
	22
	23	void pair_free2 (/@only@/ pair p)
	24	{
	25	int i = 3;
	26
	27	free (p->x);
	28
	29	if (i < 2)
	30	{
	31	*(p->y) = 3;
	32	}
	33	else
	34	{
	35	*(p->y) = 12;
	36	}
	37
	38	free (p->y);
	39	free (p);
	40	}