codeql/cpp/ql/test/query-tests/jsf/4.24 Control Flow Structures/AV Rule 196/AV Rule 196.c

static void f(int x) {
  switch(x) {
  }
  
  switch(x) {
  default:;
  }
  
  switch(x) {
  case 0:;
  }
  
  switch(x) {
  default:
  case 0:;
  }
  
  switch(x) {
  case 0:;
  case 1:;
  }
  
  switch(x) {
  default:;
  case 0:;
  case 1:;
  }
}