test/tools/javac/TryWithResources/T7022711.java

changeset 899
67d6b2df47ba
parent 0
959103a6100f
equal deleted inserted replaced
898:bf9f162c7104 899:67d6b2df47ba
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

mercurial