/* | |
* @test /nodynamiccopyright/ | |
* @bug 4630634 | |
* @summary missing warn about exception not thrown in try block if finally can't complete | |
* @author gafter | |
* | |
* @compile/fail/ref=ExceptionalFinally2.out -XDrawDiagnostics ExceptionalFinally2.java | |
*/ | |
class ExceptionalFinally2 { | |
static class E extends Exception {} | |
public void t() throws E {} | |
void f() { | |
try { | |
try { | |
t(); | |
} finally { | |
return; | |
} | |
} catch (E x) { // error: E can't be thrown in try block | |
} | |
} | |
} |