Small class file with loop from assembler gives odd behavior

[Bradley M. Kuhn]

--0FM4RQAc0jwHekq5
Content-Type: text/plain; charset=us-ascii

Godmar Back wrote:

>  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?

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.

-- 
         -  bkuhn@ebb.org  -  Bradley M. Kuhn  -  bkuhn@gnu.org  -
                          http://www.ebb.org/bkuhn

--0FM4RQAc0jwHekq5
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.0 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE4xIgS53XjJNtBs4cRAfi1AJ4sB7pV/wH/CTC11CJK+3TdHRSi8QCghgOY
uSnFRYesr6Vx4CN9WaBZQ9o=
=cDhy
-----END PGP SIGNATURE-----

--0FM4RQAc0jwHekq5--