[Bug java/13107] New: Wrong verification error in gij: recursive subroutine call

["bonniot at users dot sf dot net" <gcc-bugzilla at gcc dot gnu dot org>]

The verifier seems to be confused by the two levels of try.

$ javac GIJ.java
$ java GIJ
$ /usr/lib/gcc-snapshot/bin/gij GIJ
Exception in thread "main" java.lang.VerifyError: verification failed at PC 24
in GIJ:main(([Ljava.lang.String;)V): recursive subroutine call
   at _Jv_BytecodeVerifier.verify_fail(byte, int)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at _Jv_BytecodeVerifier.verify_instructions_0()
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at _Jv_VerifyMethod(_Jv_InterpMethod) (/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at _Jv_PrepareClass(java.lang.Class) (/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at _Jv_WaitForState(java.lang.Class, int)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at java.lang.VMClassLoader.linkClass0(java.lang.Class)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at java.lang.VMClassLoader.resolveClass(java.lang.Class)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at java.lang.Class.initializeClass() (/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at java.lang.Class.forName(java.lang.String, boolean, java.lang.ClassLoader)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at java.lang.Class.forName(java.lang.String)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at gnu.gcj.runtime.FirstThread.run() (/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at _Jv_ThreadRun(java.lang.Thread) (/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at _Jv_RunMain(java.lang.Class, byte const, int, byte const, boolean)
(/usr/lib/gcc-snapshot/lib/libgcj.so.4.0.0)
   at __libc_start_main (/lib/libc-2.3.2.so)

$ /usr/lib/gcc-snapshot/bin/gij -version
gij (GNU libgcj) version 3.4 20031116 (experimental)

-- 
           Summary: Wrong verification error in gij: recursive subroutine
                    call
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bonniot at users dot sf dot net
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: Linux/i686


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