Small class file with loop from assembler gives odd behavior

[Archie Cobbs]

Bradley M. Kuhn writes:
> >  The .class file Brad sent does not verify because it violates a required
> > invariant about the stack size.  I checked in a fix, and we now report the
> > verification error.
> 
> Does Kaffe always require that code verify properly?  Could it, perhaps, act
> as Blackdown's does and allow running of non verified code when requested?

I think kaffe makes certain assumptions that are always true of verified
bytecode.. though it doesn't (yet) do complete bytecode verification.
But at least it must check the assumptions that it does rely on.

> Also, is there an FAQ or some reference somewhere on how to make code be
> verifiable?  I am generating Jasmin assembler, and would like it to be
> verifiable when possible.

The Java Virtual Machine specification spells out what is
meant for a class file to be "verifiable".

-Archie

___________________________________________________________________________
Archie Cobbs   *   Whistle Communications, Inc.  *   http://www.whistle.com