xref: /dports/devel/splint/splint-3.1.2/test/tests2.4/emptycase.c

void f (int x) {
  switch (x) {
  case 1:
  }

  switch (x) {
  default:
  }
}