jdk-sandbox: test/langtools/tools/javac/switchexpr/DefiniteAssignment2.java@6879069d9d94 (annotated)

52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	1	/**
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	2	* @test /nodynamiccopyright/
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	3	* @bug 8214031
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	4	* @summary Verify that definite assignment when true works (illegal code)
53023 6879069d9d94 8205626: Start of release updates for JDK 13 darcy parents: 52794 diff changeset	5	* @compile/fail/ref=DefiniteAssignment2.out --enable-preview --source 13 -XDrawDiagnostics DefiniteAssignment2.java
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	6	*/
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	7	public class DefiniteAssignment2 {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	8
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	9	public static void main(String[] args) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	10	int a = 0;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	11	boolean b = true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	12	boolean t;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	13
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	14	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	15	int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	16
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	17	t = (b && switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	18	case 0: break (x = 1) == 1 \|\| true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	19	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	20	}) \|\| x == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	21	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	22
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	23	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	24	int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	25
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	26	t = (switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	27	case 0: break (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	28	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	29	}) \|\| x == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	30	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	31
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	32	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	33	int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	34
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	35	t = (switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	36	case 0: x = 1; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	37	case 1: break (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	38	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	39	}) \|\| x == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	40	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	41
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	42	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	43	int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	44
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	45	t = (switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	46	case 0: break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	47	case 1: break (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	48	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	49	}) && x == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	50	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	51
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	52	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	53	int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	54
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	55	t = (switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	56	case 0: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	57	case 1: break isTrue() \|\| (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	58	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	59	}) && x == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	60	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	61
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	62	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	63	int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	64
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	65	t = (switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	66	case 0: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	67	case 1: break isTrue() ? true : (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	68	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	69	}) && x == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	70	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	71
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	72	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	73	final int x;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	74
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	75	t = (switch(a) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	76	case 0: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	77	case 1: break isTrue() ? true : (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	78	default: break false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	79	}) && (x = 1) == 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	80	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	81	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	82
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	83	private static boolean isTrue() {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	84	return true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	85	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	86
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	87	}

author	darcy
	Thu, 13 Dec 2018 19:06:11 +0100
changeset 53023	6879069d9d94
parent 52794	e4ba5414c8b4
child 53878	4584d0331318
permissions	-rw-r--r--