Toy programs to verify nested cases.

case.c

#include <stdio.h>

void test_case(int n) {
  switch (n) {
    case 0:
    case 1:
      printf("case %d\n", n);
      break;
    case 2:
      printf("case %d\n", n);
      break;
    case 3:
      printf("case %d\n", n);
      break;
    default:
      printf("default n = %d\n", n);
  }
}

int main(void) {
  int i;
  for (i = 0; i < 5; i++) {
    test_case(i);
  }
  return 0;
}

case2.c

#include <stdio.h>

void test_case(int n) {
  switch (n) {
    case 0:
    case 1:
      printf("case %d\n", n);
      break;
    case 2:
      printf("case %d\n", n);
      break;
    case 3:
      {
        printf("case %d\n", n);
        break;

        default:
          printf("default n = %d\n", n);
      }
  }
}

int main(void) {
  int i;
  for (i = 0; i < 5; i++) {
    test_case(i);
  }
  return 0;
}

Makefile

CC = gcc
CFLAGS = -O0

FILES = \
	case.s \
	case2.s

all: $(FILES)
	diff case.s case2.s

clean:
	-rm -f *.s

.c.s:
	$(CC) $(CFLAGS) -S $<