[splint.git] / test / branchstate.c

void
foo(void)
{
  size_t                      n;
  char                        *p;

  for (p = ""; (p != (char*) 0 ) && (*p); )
    {
      switch (*p)
	{
	case '9':
	  for (n = 0; n < 3; ++n) ;
	  p += n;
	}
    }
}

/*
        % lclint -nof -boolops -branchstate foo11.c
*/
Commit	Line	Data
2209bcb7	1	void
	2	foo(void)
	3	{
	4	size_t n;
	5	char *p;
	6
	7	for (p = ""; (p != (char) 0 ) && (p); )
	8	{
	9	switch (*p)
	10	{
	11	case '9':
	12	for (n = 0; n < 3; ++n) ;
	13	p += n;
	14	}
	15	}
	16	}
	17
	18	/*
	19	% lclint -nof -boolops -branchstate foo11.c
	20	*/