java-topology/test/langtools/tools/javac/DefiniteAssignment/T4717165.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

20 lines
414 B
Java

/*
* @test /nodynamiccopyright/
* @bug 4717165
* @summary when can a statement complete normally? (break&continue versus finally)
* @author Neal Gafter (gafter)
*
* @compile/fail/ref=T4717165.out -XDrawDiagnostics T4717165.java
*/
class T4717165 {
void f() {
int i;
a: try {
break a;
} finally {
return;
}
i = 12; // unreachable
}
}