jdk-sandbox: test/langtools/tools/javac/switchexpr/ExpressionSwitchEmbedding.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	* Copyright (c) 2018, Oracle and/or its affiliates. All rights reserved.
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	3	* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	4	*
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	5	* This code is free software; you can redistribute it and/or modify it
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	6	* under the terms of the GNU General Public License version 2 only, as
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	7	* published by the Free Software Foundation.
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	* This code is distributed in the hope that it will be useful, but WITHOUT
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	10	* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	11	* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	12	* version 2 for more details (a copy is included in the LICENSE file that
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	13	* accompanied this code).
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	* You should have received a copy of the GNU General Public License version
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	16	* 2 along with this work; if not, write to the Free Software Foundation,
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	17	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	18	*
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	19	* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	20	* or visit www.oracle.com if you need additional information or have any
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	21	* questions.
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	/*
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	25	* @test
52936 9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	26	* @bug 8214031 8214114
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	27	* @summary Verify switch expressions embedded in various statements work properly.
53023 6879069d9d94 8205626: Start of release updates for JDK 13 darcy parents: 52936 diff changeset	28	* @compile --enable-preview -source 13 ExpressionSwitchEmbedding.java
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	29	* @run main/othervm --enable-preview ExpressionSwitchEmbedding
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	public class ExpressionSwitchEmbedding {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	33	public static void main(String... args) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	34	new ExpressionSwitchEmbedding().run();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	35	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	36
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	37	private void run() {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	38	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	39	int i = 6;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	40	int o = 0;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	41	while (switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	42	case 1: i = 0; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	43	case 2: i = 1; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	44	case 3, 4: i--;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	45	if (i == 2 \|\| i == 4) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	46	break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	47	case 2 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	48	case 4 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	49	default -> throw new IllegalStateException();
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	} else {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	52	break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	53	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	54	default: i--; break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	55	case -1 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	56	case 3 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	57	default -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	58	};
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	59	}) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	60	o++;
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	if (o != 6 && i >= 0) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	63	throw new IllegalStateException();
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	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	66	{
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	67	int i = 6;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	68	int o = 0;
52936 9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	69	while (switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	70	case 1: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 0; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	71	case 2: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 1; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	72	case 3, 4:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	73	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	74	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	75	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	76	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	77	if (i == 2 \|\| i == 4) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	78	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	79	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	80	case 2 -> throw new ResultException(true);
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	81	case 4 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	82	default -> throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	83	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	84	} catch (ResultException ex) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	85	break ex.result;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	86	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	87	} else {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	88	break true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	89	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	90	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	91	default:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	92	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	93	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	94	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	95	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	96	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	97	case -1 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	98	case 3 -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	99	default -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	100	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	101	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	102	throw new AssertionError();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	103	}) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	104	o++;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	105	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	106	if (o != 6 && i >= 0) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	107	throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	108	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	109	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	110	{
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	111	int i = 6;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	112	int o = 0;
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	113	if (switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	114	case 1: i = 0; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	115	case 2: i = 1; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	116	case 3, 4: i--;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	117	if (i == 2 \|\| i == 4) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	118	break (switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	119	case 2 -> 3;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	120	case 4 -> 5;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	121	default -> throw new IllegalStateException();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	122	}) == i + 1;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	123	} else {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	124	break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	125	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	126	default: i--; break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	127	case -1 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	128	case 3 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	129	default -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	130	};
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	131	}) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	132	o++;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	133	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	134	if (o != 1 && i != 5) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	135	throw new IllegalStateException();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	136	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	137	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	138	{
52936 9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	139	int i = 6;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	140	int o = 0;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	141	if (switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	142	case 1: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 0; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	143	case 2: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 1; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	144	case 3, 4:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	145	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	146	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	147	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	148	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	149	if (i == 2 \|\| i == 4) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	150	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	151	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	152	case 2 -> throw new ResultException(true);
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	153	case 4 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	154	default -> throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	155	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	156	} catch (ResultException ex) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	157	break ex.result;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	158	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	159	} else {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	160	break true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	161	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	162	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	163	default:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	164	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	165	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	166	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	167	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	168	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	169	case -1 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	170	case 3 -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	171	default -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	172	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	173	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	174	throw new AssertionError();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	175	}) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	176	o++;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	177	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	178	if (o != 1 && i != 5) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	179	throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	180	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	181	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	182	{
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	183	int o = 0;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	184	for (int i = 6; (switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	185	case 1: i = 0; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	186	case 2: i = 1; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	187	case 3, 4: i--;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	188	if (i == 2 \|\| i == 4) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	189	break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	190	case 2 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	191	case 4 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	192	default -> throw new IllegalStateException();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	193	};
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	194	} else {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	195	break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	196	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	197	default: i--; break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	198	case -1 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	199	case 3 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	200	default -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	201	};
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	202	}); ) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	203	o++;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	204	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	205	if (o != 6) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	206	throw new IllegalStateException();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	207	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	208	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	209	{
52936 9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	210	int o = 0;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	211	for (int i = 6; (switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	212	case 1: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 0; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	213	case 2: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 1; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	214	case 3, 4:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	215	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	216	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	217	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	218	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	219	if (i == 2 \|\| i == 4) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	220	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	221	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	222	case 2 -> throw new ResultException(true);
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	223	case 4 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	224	default -> throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	225	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	226	} catch (ResultException ex) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	227	break ex.result;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	228	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	229	} else {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	230	break true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	231	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	232	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	233	default:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	234	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	235	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	236	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	237	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	238	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	239	case -1 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	240	case 3 -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	241	default -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	242	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	243	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	244	throw new AssertionError();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	245	}); ) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	246	o++;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	247	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	248	if (o != 6) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	249	throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	250	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	251	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	252	{
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	253	int i = 6;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	254	int o = 0;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	255	do {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	256	o++;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	257	} while (switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	258	case 1: i = 0; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	259	case 2: i = 1; break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	260	case 3, 4: i--;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	261	if (i == 2 \|\| i == 4) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	262	break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	263	case 2 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	264	case 4 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	265	default -> throw new IllegalStateException();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	266	};
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	267	} else {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	268	break true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	269	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	270	default: i--; break switch (i) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	271	case -1 -> false;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	272	case 3 -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	273	default -> true;
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	274	};
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	275	});
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	276	if (o != 6 && i >= 0) {
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	277	throw new IllegalStateException();
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	278	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	279	}
52936 9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	280	{
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	281	int i = 6;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	282	int o = 0;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	283	do {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	284	o++;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	285	} while (switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	286	case 1: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 0; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	287	case 2: try { new ExpressionSwitchEmbedding().throwException(); } catch (Throwable t) { i = 1; break true; }
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	288	case 3, 4:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	289	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	290	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	291	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	292	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	293	if (i == 2 \|\| i == 4) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	294	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	295	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	296	case 2 -> throw new ResultException(true);
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	297	case 4 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	298	default -> throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	299	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	300	} catch (ResultException ex) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	301	break ex.result;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	302	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	303	} else {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	304	break true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	305	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	306	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	307	default:
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	308	try {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	309	new ExpressionSwitchEmbedding().throwException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	310	} catch (Throwable t) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	311	i--;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	312	break switch (i) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	313	case -1 -> false;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	314	case 3 -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	315	default -> true;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	316	};
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	317	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	318	throw new AssertionError();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	319	});
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	320	if (o != 6 && i >= 0) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	321	throw new IllegalStateException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	322	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	323	}
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	324	}
e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	325
52936 9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	326	private void throwException() {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	327	throw new RuntimeException();
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	328	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	329
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	330	private static final class ResultException extends RuntimeException {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	331	public final boolean result;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	332	public ResultException(boolean result) {
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	333	this.result = result;
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	334	}
9745e4e36dd1 8214114: Switch expressions with try-catch statements jlahoda parents: 52794 diff changeset	335	}
52794 e4ba5414c8b4 8214031: Assertion error in value break statement with conditional operator in switch expression jlahoda parents: diff changeset	336	}

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