hg: valhalla/valhalla: [lworld] Where statically discernible, javac should reject null assignments to, null casts to and null comparisons with value instances.

srikanth.adayapalam at oracle.com srikanth.adayapalam at oracle.com
Tue Feb 27 08:08:57 UTC 2018


Changeset: 605a5a1da9fe
Author:    sadayapalam
Date:      2018-02-27 13:34 +0530
URL:       http://hg.openjdk.java.net/valhalla/valhalla/rev/605a5a1da9fe

[lworld] Where statically discernible, javac should reject null assignments to, null casts to and null comparisons with value instances.

! src/jdk.compiler/share/classes/com/sun/tools/javac/code/Types.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties
- test/langtools/tools/javac/diags/examples/IllegalNullAssignmentToFlattenableValue.java
! test/langtools/tools/javac/valhalla/lworld-values/CheckFlattenableFlagFromClass.out
! test/langtools/tools/javac/valhalla/lworld-values/CheckMultiDimensionalArrayStore.out
! test/langtools/tools/javac/valhalla/lworld-values/CheckNullAssign.java
! test/langtools/tools/javac/valhalla/lworld-values/CheckNullCastable.java
! test/langtools/tools/javac/valhalla/lworld-values/CheckNullCastable.out
! test/langtools/tools/javac/valhalla/lworld-values/FlattenableNegativeTest.out



More information about the valhalla-dev mailing list