test/mergenull.c

   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