[Bug libgcj/13274] New: verifier error running eclipse

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

java.lang.VerifyError: verification failed at PC 22 in
org.eclipse.jdt.ui.actions.FindReferencesAction:<init>((Lorg.eclipse.ui.IWorkbenchSite;)V):
uninitialized object in local variable

I'll attach the class file from Eclipse 2.1.

Tom's initial analysis:

<tromey> jsturm: according to JVM Spec, 4.9.4 "Instance Initialization Methods
and Newly Created Objects"
<tromey> (edited a little) ... the instance init method <init> sees the new
uninit. object as its this argument in local variable 0
<tromey> It must either invoke an alternative instance init. method or invoke
the init. method of a superclass on the this object before it is allowed to do
anything else with this
<tromey> see the stuff about not having an uninit. object in a local variable in
code protected by an exception handler
<tromey> there's an exceptin region starting at PC=22, which is why libgcj complains

So perhaps it is an eclipse bug, but oddly the JRE does not complain.

-- 
           Summary: verifier error running eclipse
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: libgcj
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsturm at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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