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

int main () {
  int i = 1;
  int j;

  switch (i) {
  case 1:
    j = 2;
  case 2:

  }

  printf ("j = %d", j);
}
Commit	Line	Data
885824d3	1	int main () {
	2	int i = 1;
	3	int j;
	4
	5	switch (i) {
	6	case 1:
	7	j = 2;
	8	case 2:
	9
	10	}
	11
	12	printf ("j = %d", j);
	13	}
	14