Thu, 10 Oct 2013 14:58:04 +0200
8001931: The new build system whitespace cleanup
Reviewed-by: tbell, simonis, erikj
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 */
8 import java.io.*;
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 }