Thu, 10 Oct 2013 14:58:04 +0200
8001931: The new build system whitespace cleanup
Reviewed-by: tbell, simonis, erikj
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 7022711 |
aoqi@0 | 4 | * @summary compiler crash in try-with-resources |
aoqi@0 | 5 | * @compile/fail/ref=T7022711.out -XDrawDiagnostics T7022711.java |
aoqi@0 | 6 | */ |
aoqi@0 | 7 | |
aoqi@0 | 8 | import java.io.*; |
aoqi@0 | 9 | |
aoqi@0 | 10 | class T7022711 { |
aoqi@0 | 11 | public static void main (String args[]) throws Exception { |
aoqi@0 | 12 | try (DataInputStream is = new DataInputStream(new FileInputStream("x"))) { |
aoqi@0 | 13 | while (true) { |
aoqi@0 | 14 | is.getChar(); // method not found |
aoqi@0 | 15 | } |
aoqi@0 | 16 | } catch (EOFException e) { |
aoqi@0 | 17 | } |
aoqi@0 | 18 | } |
aoqi@0 | 19 | } |
aoqi@0 | 20 |