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

[lworld] LW2 array support in verifier

    XMLWordPrintable

    Details

    • Type: Enhancement
    • Status: Resolved
    • Priority: P3
    • Resolution: Not an Issue
    • Affects Version/s: repo-valhalla
    • Fix Version/s: repo-valhalla
    • Component/s: hotspot
    • Labels:

      Description

       LW2 array covariance:

      "[QFoo;" <: "[LFoo;” <: “[LObject;” <: “Object;"

      We can freely allow widening conversion, but not narrowing. I.e. narrow checkcast must match [Q...

      https://mail.openjdk.java.net/pipermail/valhalla-dev/2019-April/005600.html

      It might be useful to have verifier work in place before javac work if possible (there is some javac independent verifier testing).

        Attachments

          Issue Links

            Activity

              People

              Assignee:
              hseigel Harold Seigel
              Reporter:
              dsimms David Simms
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Dates

                Created:
                Updated:
                Resolved: