-1:000000000000 | 0:959103a6100f |
---|---|
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 |