jdk-sandbox: test/langtools/tools/javac/switchexpr/DefiniteAssignment2.java@cfc7bb9a5a92 (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)
59021 cfc7bb9a5a92 8232684: Make switch expressions final jlahoda parents: 55306 diff changeset	5	* @compile/fail/ref=DefiniteAssignment2.out -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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	18	case 0: yield (x = 1) == 1 \|\| true;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	19	default: yield false;
52794 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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	27	case 0: yield (x = 1) == 1;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	28	default: yield false;
52794 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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	36	case 0: x = 1; yield true;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	37	case 1: yield (x = 1) == 1;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	38	default: yield false;
52794 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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	46	case 0: yield true;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	47	case 1: yield (x = 1) == 1;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	48	default: yield false;
52794 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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	56	case 0: yield false;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	57	case 1: yield isTrue() \|\| (x = 1) == 1;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	58	default: yield false;
52794 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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	66	case 0: yield false;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	67	case 1: yield isTrue() ? true : (x = 1) == 1;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	68	default: yield false;
52794 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) {
55306 ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	76	case 0: yield false;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	77	case 1: yield isTrue() ? true : (x = 1) == 1;
ea43db53de91 8223305: Compiler support for Switch Expressions jlahoda parents: 53878 diff changeset	78	default: yield false;
52794 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	jlahoda
	Tue, 12 Nov 2019 06:32:13 +0000
changeset 59021	cfc7bb9a5a92
parent 55306	ea43db53de91
permissions	-rw-r--r--