harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Alexei Fedotov" <alexei.fedo...@gmail.com>
Subject [verifier] question about RI behavior
Date Fri, 16 Mar 2007 12:58:04 GMT
Mikhail, folks,
Let me attract a collective Harmony brain to the problem. Does anyone
have any idea why the following code doesn't pass verification on RI?

Thanks, Alexei

.class public SubSub
.super java/lang/Object
.method public <init>()V
    aload_0
    invokespecial java/lang/Object/<init>()V
    return
.end method

;
; Subroutine is called from the other subroutine and
; from the top level code.
;
.method public static main([Ljava/lang/String;)V
    .limit stack 1
    .limit locals 2

    jsr LabelSub
    jsr LabelSubSub
    return
LabelSub:
    astore 1
    jsr LabelSubSub
    ret 1
LabelSubSub:
    astore 0
    ret 0
.end method


$ java -jar c:/bin/jasmin-1.1/jasmin.jar SubSub.jj
Generated: SubSub.class
$ java -cp . SubSub
java.lang.VerifyError: (class: SubSub, method: testSubSub signature:
()V) Illegal return from subroutine
$


-- 
With best regards,
Alexei,
ESSD, Intel

Mime
View raw message