Name: vrC94537 Date: 11/01/99



If the value of 'start_pc' item of exception_table of Code attribute
is greater or equal to the value of 'end_pc' item, then the attribute
is invalid and 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.7.3 The Code Attribute" of 2nd JVM spec says about
exception_table items 'start_pc' and 'end_pc':
"The value of start_pc must be less than the value of end_pc."

The following new jck1.3-RC1 test
vm/classfmt/atr/atrcod008/atrcod00802m1/atrcod00802m1.html
is failed due to this bug.

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