[splint.git] / test / mergenull.c

/*
** Added 2001-12-29
** Test for branchstate bug reported by Jon Wilson
*/

typedef /*@null@*/ struct s_foo *foo;

struct s_foo {
  foo p;
} ;

void f (foo a)
{
  while ( a != NULL ) {
    foo temp = a->p ;
    a->p = NULL ;
    a = temp ;
  }
}
Commit	Line	Data
f2b6724f	1	/*
	2	** Added 2001-12-29
	3	** Test for branchstate bug reported by Jon Wilson
	4	*/
	5
	6	typedef /@null@/ struct s_foo *foo;
	7
	8	struct s_foo {
	9	foo p;
	10	} ;
	11
	12	void f (foo a)
	13	{
	14	while ( a != NULL ) {
	15	foo temp = a->p ;
	16	a->p = NULL ;
	17	a = temp ;
	18	}
	19	}
	20