[splint.git] / test / abstptr.c

typedef int *abst;

/*@noaccess abst*/
int main (void)
{
  abst a;
  int b = 3;
  abst *ap = (abst *) NULL;
  abst *ap2 = NULL;
  void *vp;
  int *ip;

  vp = ap ; /* 1. Assignment of abst * to void *: vp = ap */
  ip = ap2; /* 2. Assignment of abst * to int *: ip = ap2 */
  ap = ip ; /* 3. Assignment of int * to abst *: ap = ip */
  vp = (void *) ap ; /* 4. Cast from underlying abstract type abst *: (void *)ap */
  a = *ap ; /* 5. Possible dereference of null pointer: *ap */    
  *ap = a ;
  vp = (void *)&a ; /* 6. Cast from underlying abstract type abst *: (void *)&a */
  ap = (abst *)&b ; /* 7. Cast to underlying abstract type abst *: (abst *)&b */
  ap = &b; /* 8. Assignment of int * to abst *: ap = &b */
  *ap = b; /* 9. Assignment of int to abst: *ap = b */
  return 12;
}
Commit	Line	Data
885824d3	1	typedef int *abst;
	2
	3	/@noaccess abst/
	4	int main (void)
	5	{
	6	abst a;
	7	int b = 3;
	8	abst ap = (abst ) NULL;
	9	abst *ap2 = NULL;
	10	void *vp;
	11	int *ip;
	12
	13	vp = ap ; /* 1. Assignment of abst * to void : vp = ap /
	14	ip = ap2; /* 2. Assignment of abst * to int : ip = ap2 /
	15	ap = ip ; /* 3. Assignment of int * to abst : ap = ip /
	16	vp = (void ) ap ; / 4. Cast from underlying abstract type abst : (void )ap */
	17	a = ap ; / 5. Possible dereference of null pointer: ap /
	18	*ap = a ;
	19	vp = (void )&a ; / 6. Cast from underlying abstract type abst : (void )&a */
	20	ap = (abst )&b ; / 7. Cast to underlying abstract type abst : (abst )&b */
	21	ap = &b; /* 8. Assignment of int * to abst : ap = &b /
	22	ap = b; / 9. Assignment of int to abst: ap = b /
	23	return 12;
	24	}