dataflow/manual/examples/CFGSwitch.java

class Test {
  void test(int x) {
    switch (x) {
      case 1:
        int a = x;
        break;
      case 2:
        int b = x;
      default:
        int c = x;
        break;
    }
  }
}