Mon, 17 Oct 2011 12:54:33 +0100
7097436: Project Coin: duplicate varargs warnings on method annotated with @SafeVarargs
Summary: Duplicate aliasing check during subtyping leads to spurious varargs diagnostic
Reviewed-by: jjg
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 6993963 |
aoqi@0 | 4 | * |
aoqi@0 | 5 | * @summary Project Coin: Use precise exception analysis for effectively final catch parameters |
aoqi@0 | 6 | * @author mcimadamore |
aoqi@0 | 7 | * @compile Pos06.java |
aoqi@0 | 8 | * |
aoqi@0 | 9 | */ |
aoqi@0 | 10 | |
aoqi@0 | 11 | class Pos06 { |
aoqi@0 | 12 | static class A extends Exception {} |
aoqi@0 | 13 | static class B extends Exception {} |
aoqi@0 | 14 | |
aoqi@0 | 15 | void m() { |
aoqi@0 | 16 | try { |
aoqi@0 | 17 | if (true) { |
aoqi@0 | 18 | throw new A(); |
aoqi@0 | 19 | } |
aoqi@0 | 20 | else { |
aoqi@0 | 21 | throw new B(); |
aoqi@0 | 22 | } |
aoqi@0 | 23 | } catch (A | B ex) { |
aoqi@0 | 24 | System.out.println(ex); |
aoqi@0 | 25 | } |
aoqi@0 | 26 | } |
aoqi@0 | 27 | } |