RFC: make verifier more lazy

[Robert Schuster]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,
this is my patch for PR #17021. It makes the verification step more lazy and
allows loading of classes where classes files are referenced from which the
bytecode cannot be found.

I wrote a couple of mauve (module verify) tests to make sure that I introduced
no regressions and prove that my fix works.

2005-11-11  Robert Schuster  <robertschuster@fsfe.org>

        * gcj/javaprims.h:
        (_Jv_equalsUtf8Classname): New method declaration.
        (_Jv_isPrimitiveOrDerived): Dito.
        * prims.cc (_Jv_equalsUtf8Classnames): New method.
        * prims.cc (_Jv_isPrimitiveOrDerived): New method.
        * verify.cc:
        (ref_intersection::equals): Use new classname comparison method.
        (type::compatible): Use new classname comparison method. Added
        check whether LHS' type is java.lang.Object .
        (type::resolve): Added new optional debug message and simplified
        expression.
        (type::to_array): Added codepath that generates an array type
        without resolving the element type.

Please comment.

@Bryce: I sent my paperwork back to the FSF office already (~10 days).

cu
Robert
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFDeNWrG9cfwmwwEtoRAjtjAJ4+sMH5zbKM8YnLTZJMvczwZmkLXQCfS185
Nj3UFYK5u9BlAnMtTFIR5eg=
=O1YM
-----END PGP SIGNATURE-----
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gcj-verifier-lazy.diff
Type: text/x-patch
Size: 9500 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20051114/64a268e5/attachment.bin>