java-topology/test/langtools/tools/javac/DefiniteAssignment/DASwitch.java
russell@unturf.com 0a580b313d undefect. CWE-407 — 63 sites patched across 27 ecosystems
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com

Patches, unit tests, benchmarks, whitepaper, and outreach briefs.
Public domain — no copyright claimed. Use freely.
2026-03-26 17:11:57 -04:00

25 lines
532 B
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 meth() {
int t = 1;
{
final int x;
x = 1;
}
switch(t) {
case 0:
Integer b;
break;
case 1:
System.out.println(b.toString());
}
}
}