1 /*
2  * Copyright (c) 2018, 2019, Oracle and/or its affiliates. All rights reserved.
3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4  *
5  * This code is free software; you can redistribute it and/or modify it
6  * under the terms of the GNU General Public License version 2 only, as
7  * published by the Free Software Foundation.
8  *
9  * This code is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12  * version 2 for more details (a copy is included in the LICENSE file that
13  * accompanied this code).
14  *
15  * You should have received a copy of the GNU General Public License version
16  * 2 along with this work; if not, write to the Free Software Foundation,
17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18  *
19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20  * or visit www.oracle.com if you need additional information or have any
21  * questions.
22  */
23 
24 /**
25  * @test
26  * @bug 8214113
27  * @summary Verify the switch expression's type does not have a constant attached,
28  *          and so the switch expression is not elided.
29  * @compile SwitchExpressionIsNotAConstant.java
30  * @run main SwitchExpressionIsNotAConstant
31  */
32 public class SwitchExpressionIsNotAConstant {
33 
main(String[] args)34     public static void main(String[] args) {
35         int i = 0;
36         {
37             i = 0;
38             int dummy = 1 + switch (i) {
39                 default -> {
40                     i++;
41                     yield 1;
42                 }
43             };
44             if (i != 1) {
45                 throw new IllegalStateException("Side effects missing.");
46             }
47         }
48         {
49             i = 0;
50             int dummy = 1 + switch (i) {
51                 case -1 -> 1;
52                 default -> {
53                     i++;
54                     yield 1;
55                 }
56             };
57             if (i != 1) {
58                 throw new IllegalStateException("Side effects missing.");
59             }
60         }
61         {
62             i = 0;
63             int dummy = 1 + switch (i) {
64                  default :
65                     i++;
66                     yield 1;
67             };
68             if (i != 1) {
69                 throw new IllegalStateException("Side effects missing.");
70             }
71         }
72         {
73             i = 0;
74             int dummy = 1 + switch (i) {
75                 case -1: yield 1;
76                 default:
77                     i++;
78                     yield 1;
79             };
80             if (i != 1) {
81                 throw new IllegalStateException("Side effects missing.");
82             }
83         }
84     }
85 
86 }
87