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

27 lines
633 B
Java

/*
* @test /nodynamiccopyright/
* @bug 4718142
* @summary DU analysis not conservative for try-finally
* @author Neal Gafter (gafter)
*
* @compile/fail/ref=T4718142.out -XDrawDiagnostics T4718142.java
*/
class T4718142 {
static class E extends Exception {}
static void thr() throws E {
throw new E();
}
public static void meth() {
int count = 0;
final int i;
while (true) {
try {
i = count++;
System.out.println("assigned " + i);
thr();
while (true) {}
} catch (E e) {}
}
}
}