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

VerifyError thrown for static interface method

XMLWordPrintable

    • hopper
    • generic
    • generic



      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.

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

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

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: