Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8220789 [lworld] C1 and C2 should work together
  3. JDK-8223931

[lworld] C1 ValueTypeReturnedAsFields should check if method return value is never null

    Details

    • Type: Sub-task
    • Status: Resolved
    • Priority: P4
    • Resolution: Fixed
    • Affects Version/s: repo-valhalla
    • Fix Version/s: repo-valhalla
    • Component/s: hotspot
    • Labels:
      None

      Description

      C1 should implement ValueTypeReturnedAsFields for method calls/returns only if ciMethod::signature()->returns_never_null() returns true. E.g., for a method like the following, which can possibly return a null value

          V? get_nullable_V() {...}

      C1 should handle it just as a regular method that returns a reference type.

        Attachments

          Activity

            People

            • Assignee:
              iklam Ioi Lam
              Reporter:
              iklam Ioi Lam
            • Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: