[splint.git] / test / alias5.c

typedef struct 
{
  /*@only@*/ int *x;
  /*@only@*/ int *y;
} *pair;  

# include "alias5.lh"

void incx1 (pair p)
{
  pair p2 = p;

  p2->x++; /* 1. Suspect modification of p->x through alias p2->x: p2->x++ */
}

void incx2 (pair p)
{
  pair p2 = p;

  p2 = pair_create ();
  p2->x++;
} /* 2. Fresh storage p2 not released before return */

void incx3 (pair p)
{
  pair p2 = pair_create ();
  p2->x = p->x; /* 3. Only storage p2->x not released before assignment: p2->x = p->x */
  *(p2->x) = 3; /* 4. Suspect modification of *(p->x) through alias *(p2->x): */
  pair_free (p2);
} /* 5. Storage p->x reachable from parameter is kept (should be only) */
Commit	Line	Data
885824d3	1	typedef struct
	2	{
	3	/@only@/ int *x;
	4	/@only@/ int *y;
	5	} *pair;
	6
	7	# include "alias5.lh"
	8
	9	void incx1 (pair p)
	10	{
	11	pair p2 = p;
	12
	13	p2->x++; /* 1. Suspect modification of p->x through alias p2->x: p2->x++ */
	14	}
	15
	16	void incx2 (pair p)
	17	{
	18	pair p2 = p;
	19
	20	p2 = pair_create ();
	21	p2->x++;
	22	} /* 2. Fresh storage p2 not released before return */
	23
	24	void incx3 (pair p)
	25	{
	26	pair p2 = pair_create ();
	27	p2->x = p->x; /* 3. Only storage p2->x not released before assignment: p2->x = p->x */
	28	(p2->x) = 3; / 4. Suspect modification of (p->x) through alias (p2->x): */
	29	pair_free (p2);
	30	} /* 5. Storage p->x reachable from parameter is kept (should be only) */
	31
	32
	33