[Bug libgcj/13026] New: libgcj verifier failure

["tromey at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

libgcj verifier fails on current freenet:

fleche. CLASSPATH=freenet.jar gij freenet.node.Main --config
Exception in thread "main" java.lang.VerifyError: verification failed at PC 832
in freenet.node.Main:loadNodeFile(()V): incompatible type in local variable
   at _Jv_BytecodeVerifier.verify_fail(byte, int)
(/home/tromey/gnu/Trunk/install/lib/libgcj.so.4.0.0)
   at _Jv_BytecodeVerifier.get_variable(int, _Jv_BytecodeVerifier.type)
(/home/tromey/gnu/Trunk/install/lib/libgcj.so.4.0.0)
   at _Jv_BytecodeVerifier.verify_instructions_0()
(/home/tromey/gnu/Trunk/install/lib/libgcj.so.4.0.0)
   at _Jv_VerifyMethod(_Jv_InterpMethod)
(/home/tromey/gnu/Trunk/install/lib/libgcj.so.4.0.0)


Freenet is available here:
 http://freenetproject.org/snapshots/freenet-0.5.2.1.tar.gz

I'm marking this as P1 as it is very important that the
verifier not reject valid code.

-- 
           Summary: libgcj verifier failure
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P1
         Component: libgcj
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tromey at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13026