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

4.10: Eliminate redundant 'final' checks in verification

    Details

    • Type: Bug
    • Status: Open
    • Priority: P4
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: tbd
    • Component/s: specification
    • Labels:
    • Subcomponent:
      vm

      Description

      In JDK-8245382, it was recognized that the invariants associated with ACC_FINAL classes and methods are checked at class derivation time, *not* verification time. The appropriate rules were added to 5.3.5.

      Meanwhile, 4.10 continues to claim that verification performs these checks. These rules should be removed.

      Doing so properly will involve significant changes, as many of the rules defined in 4.10.1 exist solely to identify methods that might override an ACC_FINAL method in a superclass.

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                dlsmith Dan Smith
                Reporter:
                dlsmith Dan Smith
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated: