The following code should fail to compile, but instead it
will run and report inconsistent values for the supposedly constant "x".
The definite assignment logic does not recognize that "x" has already
been assigned by case 1.

class SwitchDABug {
static void f(int n) {
final int x;
switch (n) {
case 1:
x = 1;
System.out.println(" at first, x == "+x);
case 2:
x = 2; // SECOND ASSIGNMENT ON FALL-THROUGH OF CASE 1
break;
default:
x = -1;
}
System.out.println("finally, x == "+x);
}
public static void main(String av[]) {
f(1);
f(2);
f(3);
}
}