test/tools/javac/DefiniteAssignment/T8039026.java

Wed, 30 Apr 2014 23:29:43 +0100

author
pgovereau
date
Wed, 30 Apr 2014 23:29:43 +0100
changeset 2376
12f99d1f23d9
parent 0
959103a6100f
permissions
-rw-r--r--

8039026: Definitely unassigned field can be accessed
Reviewed-by: vromero, jlahoda

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug 8039026
     4  * @summary Definitely unassigned field can be accessed
     5  * @compile/fail/ref=T8039026.out -XDrawDiagnostics T8039026.java
     6  */
     8 public class T8039026 {
     9     final int x,y,z;
    10     final int a = this.y;  // <- error
    11     {
    12         int b = true ? this.x : 0;  // <- error
    13         System.out.println(this.x); // <- error
    14         this.y = 1;
    15     }
    16     T8039026() {
    17         this.x = 1;      // <- no error!
    18         this.y = 1;      // <- error
    19         this.z = this.x; // <- no error
    20     }
    21 }

mercurial