This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: VerifierError with gcc trunk and ant 1.5.2
>>>>> "Michael" == Michael Koch <konqueror at gmx dot 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