1 /* 2 * @test /nodynamiccopyright/ 3 * @bug 7022711 4 * @summary compiler crash in try-with-resources 5 * @compile/fail/ref=T7022711.out -XDrawDiagnostics T7022711.java 6 */ 7 8 import java.io.*; 9 10 class T7022711 { 11 public static void main (String args[]) throws Exception { 12 try (DataInputStream is = new DataInputStream(new FileInputStream("x"))) { 13 while (true) { 14 is.getChar(); // method not found 15 } 16 } catch (EOFException e) { 17 } 18 } 19 } 20 | 1 /* 2 * @test /nodynamiccopyright/ 3 * @bug 7022711 4 * @summary compiler crash in try-with-resources 5 * @compile/fail/ref=T7022711.out -XDrawDiagnostics T7022711.java 6 */ 7 8 import java.io.*; 9 10 class T7022711 { 11 public static void main (String args[]) throws Exception { 12 // declared resource 13 try (DataInputStream is = new DataInputStream(new FileInputStream("x"))) { 14 while (true) { 15 is.getChar(); // method not found 16 } 17 } catch (EOFException e) { 18 } 19 20 // resource as variable 21 DataInputStream is = new DataInputStream(new FileInputStream("x")); 22 try (is) { 23 while (true) { 24 is.getChar(); // method not found 25 } 26 } catch (EOFException e) { 27 } 28 } 29 } 30 |