[splint.git] / test / cases.c

extern int g(int x);

int f(int j)
{
  int i;

  switch (j) 
    {
    case 3: /* okay */
      i = g(j);
      printf("3");
    case 4:  /* 2. Fall through case (no preceeding break) */
      if (i == 3) /* 1. Variable i used before definition */
	{
	  printf("hullo");
	  return 3;
	}
      else
	{
	  printf("yabba");
	  break;
	}
    case 5: /* okay */
      i = g(j++);
      while (i < 3)
	{
	  i++;
	  if (j == 4) break;
	}
    case 6: /* 3. Fall through case (no preceeding break) */
      printf("high");
      return 3;
    case 7: /* okay */
    case 8: /* okay */
    case 9:
      printf("nope");
    default: /* 4. Fall through case (no preceeding break) */
      printf("splat");
   }
} /* 5. Path with no return in function declared to return int */
Commit	Line	Data
885824d3	1	extern int g(int x);
	2
	3	int f(int j)
	4	{
	5	int i;
	6
	7	switch (j)
	8	{
	9	case 3: /* okay */
	10	i = g(j);
	11	printf("3");
	12	case 4: /* 2. Fall through case (no preceeding break) */
	13	if (i == 3) /* 1. Variable i used before definition */
	14	{
	15	printf("hullo");
	16	return 3;
	17	}
	18	else
	19	{
	20	printf("yabba");
	21	break;
	22	}
	23	case 5: /* okay */
	24	i = g(j++);
	25	while (i < 3)
	26	{
	27	i++;
	28	if (j == 4) break;
	29	}
	30	case 6: /* 3. Fall through case (no preceeding break) */
	31	printf("high");
	32	return 3;
	33	case 7: /* okay */
	34	case 8: /* okay */
	35	case 9:
	36	printf("nope");
	37	default: /* 4. Fall through case (no preceeding break) */
	38	printf("splat");
	39	}
	40	} /* 5. Path with no return in function declared to return int */
	41