[splint.git] / test / tests2.4 / bug1.c

int main( void )
{
  int a=5,c=1;
  
  switch(a)
    {
    case 1:
      while (c>3)
	{
	case 3:
	  ++c;
	}
    }     
  
  return 7;
}
Commit	Line	Data
885824d3	1	int main( void )
	2	{
	3	int a=5,c=1;
	4
	5	switch(a)
	6	{
	7	case 1:
	8	while (c>3)
	9	{
	10	case 3:
	11	++c;
	12	}
	13	}
	14
	15	return 7;
	16	}