harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mikhail Loenko" <mloe...@gmail.com>
Subject Re: [verifier] question about RI behavior
Date Mon, 19 Mar 2007 11:49:18 GMT
I tried it.

JRockit prints the same error as RI, but J9 digests it fine.
Harmony JIT fires an assertion.

Hi JIT folks, would you share your vision whether this class correct or not?

Thanks,
Mikhail

2007/3/19, Mikhail Loenko <mloenko@gmail.com>:
> 16 Mar 2007 16:05:18 +0300, Egor Pasko <egor.pasko@gmail.com>:
> > On the 0x29B day of Apache Harmony Alexei Fedotov wrote:
> > > 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?
> >
> > looks like a bug :)
>
> Agreed
>
> BTW, how other VMs behave? JRockit, J9?
>
> Thanks,
> Mikhail
>
> >
> > > 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
> > >
> >
> > --
> > Egor Pasko
> >
> >
>

Mime
View raw message