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