1 /*

     2  * @test /nodynamiccopyright/

     3  * @bug 8231827

     4  * @summary Ensure that scopes arising from conditionalExpressions are handled corrected.

     5  * @compile/fail/ref=BindingsTest2.out -XDrawDiagnostics -XDshould-stop.at=FLOW --enable-preview -source ${jdk.version} BindingsTest2.java

     6  */

     7 public class BindingsTest2 {

     8     public static boolean Ktrue() { return true; }

     9     public static void main(String[] args) {

    10         Object o1 = "hello";

    11         Integer in = 42;

    12         Object o2 = in;

    13         Object o3 = "there";

    14 

    15 

    16         if (Ktrue() ? o2 instanceof Integer x : o2 instanceof String x) {

    17             x.intValue();

    18         }

    19         if (Ktrue() ? o2 instanceof Integer x : true) {

    20             x.intValue();

    21         }

    22 

    23         if (o1 instanceof String s ? true : true) {

    24             s.length();

    25         }

    26         if (o1 instanceof String s ? true : o2 instanceof Integer s) {

    27             s.length();

    28         }

    29         if (o1 instanceof String s ? true : o2 instanceof Integer i) {

    30             s.length();

    31         }

    32 

    33         // Test for (e1 ? e2 : e3).T contains intersect(e1.F, e2.T)

    34         if (!(o1 instanceof String s) ? true : true) {

    35             s.length();

    36         }

    37         if (!(o1 instanceof String s) ? (o2 instanceof Integer s) : true) {

    38             s.length();

    39         }

    40         if (!(o1 instanceof String s) ? (o2 instanceof Integer i) : true) {

    41             s.length();

    42             i.intValue();

    43         }

    44         if (!(o1 instanceof String s) ? (o1 instanceof String s2) : true) {

    45             s.length();

    46             s2.length();

    47         }

    48 

    49 

    50         // Test for (e1 ? e2 : e3).F contains intersect(e2.F, e3.F)

    51         if (Ktrue() ? !(o2 instanceof Integer x) : !(o1 instanceof String x)){

    52         } else {

    53             x.intValue();

    54         }

    55         if (Ktrue() ? !(o2 instanceof Integer x) : !(o1 instanceof String s)){

    56         } else {

    57             x.intValue();

    58         }

    59         if (Ktrue() ? !(o2 instanceof Integer x) : !(o2 instanceof Integer x1)){

    60         } else {

    61             x.intValue();

    62             x1.intValue();

    63         }

    64         if (Ktrue() ? !(o2 instanceof Integer x) : false){

    65         } else {

    66             x.intValue();

    67         }

    68 

    69         // Test for (e1 ? e2 : e3).F contains intersect(e1.T, e3.F)

    70         if (o1 instanceof String s ? true : !(o2 instanceof Integer s)){

    71         } else {

    72             s.length();

    73         }

    74         if (o1 instanceof String s ? true : !(o2 instanceof Integer i)){

    75         } else {

    76             s.length();

    77             i.intValue();

    78         }

    79         if (o1 instanceof String s ? true : !(o2 instanceof String s1)){

    80         } else {

    81             s.length();

    82             s1.length();

    83         }

    84         // Test for (e1 ? e2 : e3).F contains intersect(e1.F, e2.F)

    85         if (!(o1 instanceof String s) ? !(o1 instanceof String s1) : true){

    86         } else {

    87             s.length();

    88             s1.length();

    89         }

    90         if (!(o1 instanceof String s) ? !(o2 instanceof Integer s) : true){

    91         } else {

    92             s.length();

    93         }

    94         if (!(o1 instanceof String s) ? !(o2 instanceof Integer i) : true){

    95         } else {

    96             s.length();

    97             i.intValue();

    98         }

    99 

   100         // Test for e1 ? e2: e3 - include e1.T in e2

   101         if (o1 instanceof String s ? false : s.length()>0) {

   102             System.out.println("done");

   103         }

   104         if (o1 instanceof String s ? false : s.intValue!=0) {

   105             System.out.println("done");

   106         }

   107 

   108         // Test for e1 ? e2 : e3 - include e1.F in e3

   109         if (!(o1 instanceof String s) ? s.length()>0 : false){

   110             System.out.println("done");

   111         }

   112         if (!(o1 instanceof String s) ? s.intValue>0 : false){

   113             System.out.println("done");

   114         }

   115 

   116         {

   117             while (!(o1 instanceof String s)) {

   118                 break;

   119             }

   120 

   121             s.length();

   122         }

   123 

   124         {

   125             while (!(o1 instanceof String s)) {

   126                 if (false) break;

   127             }

   128 

   129             s.length();

   130         }

   131 

   132         {

   133             while (!(o1 instanceof String s)) {

   134                 while (true);

   135                 break;

   136             }

   137 

   138             s.length();

   139         }

   140 

   141         {

   142             for (; !(o1 instanceof String s); ) {

   143                 break;

   144             }

   145 

   146             s.length();

   147         }

   148 

   149         {

   150             for (; !(o1 instanceof String s); ) {

   151                 if (false) break;

   152             }

   153 

   154             s.length();

   155         }

   156 

   157         {

   158             for (; !(o1 instanceof String s); ) {

   159                 while (true);

   160                 break;

   161             }

   162 

   163             s.length();

   164         }

   165 

   166         {

   167             do {

   168                 break;

   169             } while (!(o1 instanceof String s));

   170 

   171             s.length();

   172         }

   173 

   174         {

   175             do {

   176                 if (false) break;

   177             } while (!(o1 instanceof String s));

   178 

   179             s.length();

   180         }

   181 

   182         {

   183             do {

   184                 while (true);

   185                 break;

   186             } while (!(o1 instanceof String s));

   187 

   188             s.length();

   189         }

   190     }

   191 }