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

VerifyError thrown for static interface method

    Details

    • Subcomponent:
    • Resolved In Build:
      hopper
    • CPU:
      generic
    • OS:
      generic

      Description



      Name: vrC94537 Date: 11/01/99



      If interface contains static method (method has ACC_STATIC flag set,
      besides ACC_ABSTRACT and ACC_PUBLIC flags), then the class file is
      malformed and therefore must be rejected by VM class format checker
      with exception ClassFormatError.
      However, JVM (all jdk version till 1.3.0L) throws VerifyError
      instead of ClassFormatError.

      The section "4.6 Methods" of 2nd JVM spec says:
      "All interface methods must have their ACC_ABSTRACT and ACC_PUBLIC
      flags set and may not have any of the other flags in Table 4.5 set."

      The following new jck1.3-RC1 test
      vm/classfmt/mth/mthacc001/mthacc00103m1/mthacc00103m1.html
      is failed due to this bug.

      ======================================================================

        Attachments

          Activity

            People

            • Assignee:
              wtaosunw Wei Tao (Inactive)
              Reporter:
              duke J. Duke (Inactive)
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved:
                Imported:
                Indexed: