Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8220710

[lworld] Improve propagation of nullability information

    Details

    • Type: Enhancement
    • Status: Open
    • Priority: P4
    • Resolution: Unresolved
    • Affects Version/s: repo-valhalla
    • Fix Version/s: repo-valhalla
    • Component/s: hotspot
    • Labels:

      Description

      There are cases where ciTypeFlow is not able to keep track of the fact the a value type is never null. For example, after explicit null checks and implicit receiver null checks. We should investigate if these cases can be improved:

      http://cr.openjdk.java.net/~thartmann/8220710/webrev.00/

        Attachments

          Activity

            People

            • Assignee:
              Unassigned
              Reporter:
              thartmann Tobias Hartmann
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated: