Thu, 04 Nov 2010 12:57:48 +0000
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
Summary: More precise rethrow analysis should be extended to effectively-final exception parameters. Multicatch parameters should be made implicitly final.
Reviewed-by: jjg, darcy
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6943289 6993963
4 *
5 * @summary Project Coin: Improved Exception Handling for Java (aka 'multicatch')
6 * @author mcimadamore
7 * @compile/fail/ref=Neg02eff_final.out -XDrawDiagnostics Neg02eff_final.java
8 *
9 */
11 class Neg02eff_final {
12 static class A extends Exception {}
13 static class B extends Exception {}
15 void m() {
16 try {
17 if (true) {
18 throw new A();
19 }
20 else {
21 throw new B();
22 }
23 } catch (A | B ex) {
24 ex = new B();
25 }
26 }
27 }