test/langtools/tools/javac/DefiniteAssignment/DASwitch.java

/*
 * @test /nodynamiccopyright/
 * @bug 4695463
 * @summary DA versus switch: javac allows reference to uninitialized variable
 * @author Neal Gafter (gafter)
 *
 * @compile/fail/ref=DASwitch.out -XDrawDiagnostics  DASwitch.java
 */

public class DASwitch {
    public static void main(final String[] args) {
        int t = 1;
        {
            final int x;
            x = 1;
        }
        switch(t) {
        case 0:
            Integer b;
            break;
        case 1:
            System.out.println(b.toString());
        }
    }
}