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

int main () {
  int i = 1;

  switch (i) {
    printf ("here 1"); /* should complain about this! */
  case 1:
    printf ("here 2");
    while (i < 2) {
      printf ("here 3");
    case 2:      
      printf ("here 4");
      i++;
      printf ("here 5");
    }
    printf ("here 6");
  case 3:
    printf ("here 7");
    i++;
  }
}
Commit	Line	Data
885824d3	1	int main () {
	2	int i = 1;
	3
	4	switch (i) {
	5	printf ("here 1"); /* should complain about this! */
	6	case 1:
	7	printf ("here 2");
	8	while (i < 2) {
	9	printf ("here 3");
	10	case 2:
	11	printf ("here 4");
	12	i++;
	13	printf ("here 5");
	14	}
	15	printf ("here 6");
	16	case 3:
	17	printf ("here 7");
	18	i++;
	19	}
	20	}