switch (0) {
  case 2:
    k;
  case (-1):
  case 2:
}
/* Don't assert. */