jdk-sandbox: langtools/test/tools/javac/TryWithResources/T7022711.java@627464b87753 (annotated)

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

author	jlahoda
	Wed, 09 Dec 2015 14:26:56 +0100
changeset 34565	627464b87753
parent 8620	0b04e5235f25
permissions	-rw-r--r--