Name: viR10068 Date: 11/03/2003


The JVM (1.5.0-beta-b26) rejects valid class files with
the extends clause while the prolog spec accepts it.

The new JCK tests are failed due to this error:
vm/cldc/typechecker/rules/rules013/rules01301m1/rules01301m1.html

The test source:
--------------------- test07.jasm ---------------------------
public class test07 extends java/lang/Throwable
        version 49:0
{
public Method "<init>":"()V"
stack 1 locals 1
{
aload_0;
invokespecial Method java/lang/Throwable."<init>":"()V";
return;
}

public static Method run:"([Ljava/lang/String;Ljava/io/PrintStream;)I"
stack 2 locals 3
{
try t0;
new class java/lang/Throwable;
dup;
invokespecial Method java/lang/Throwable."<init>":"()V";
athrow;
endtry t0;
catch t0 java/lang/Throwable;
locals_map class "[Ljava/lang/String;", class java/io/PrintStream;
stack_map class java/lang/Throwable;
astore_2;
iconst_0;
ireturn;
}
} // end Class test07
----------------------------------------------------------
The execution log:
% jasm test07.jasm && jdk1.5.0-b26/solaris-sparc/bin/java -showversion -Xfuture test07
java version "1.5.0-beta"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-beta-b26)
Java HotSpot(TM) Client VM (build 1.5.0-beta-b26, mixed mode)

Exception in thread "main" java.lang.VerifyError: Bad <init> method call in method
test07.<init>()V at offset 1
%

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