VerifierError with gcc trunk and ant 1.5.2

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> java.lang.VerifyError: verification failed at PC 584 in 
Michael> org.apache.tools.ant.taskdefs.Zip:getResourcesToAdd(([Lorg.apache.tools.ant.types.FileSet;Ljava.io.File;Z)[[Lorg.apache.tools.ant.types.Resource;): 
Michael> incompatible type on stack

Why don't these things fail at PC=3?

I definitely don't have the time to trace through this code to find
the problem.

One thing to try would be to run the code through the JDK.  If that
works then it is a libgcj verifier bug.  If it fails then it is a gcj
code generation bug.  At least, those are the most likely outcomes --
but the JDK verifier bugs are pretty obscure.

Michael> 584: invokestatic #513=<Method org.apache.tools.ant.util.ResourceUtils.selectOutOfDateSources (org.apache.tools.ant.ProjectComponent,org.apache.tools.ant.types.Resource[],org.apache.tools.ant.util.FileNameMapper,org.apache.tools.ant.types.ResourceFactory)org.apache.tools.ant.types.Resource[]>

One guess would be that we're running into the known libgcj verifier
bug, which has to do with handling interface types incorrectly.
That's just a guess though.

If you could submit a PR, that would be great.  If you can debug or
reduce it to a manageable test case, that would be even better.

Tom