This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: profiledbootstrap fails in java with "error: verification failed at PC=8: branch out of range"
On 11/26/2010 11:12 PM, Uros Bizjak wrote:
> Hello!
>
>>> /home/uros/gcc-svn/trunk/libjava/classpath/gnu/java/awt/peer/gtk/GtkComponentPeer.java:
>>> In class 'gnu.java.awt.peer.gtk.GtkComponentPeer':
>>> /home/uros/gcc-svn/trunk/libjava/classpath/gnu/java/awt/peer/gtk/GtkComponentPeer.java:
>>> In method 'gnu.java.awt.peer.gtk.GtkComponentPeer.handleEvent(java.awt.AWTEvent)':
>>> In file included from <built-in>:63:0:
>>> /home/uros/gcc-svn/trunk/libjava/classpath/gnu/java/awt/peer/gtk/GtkComponentPeer.java:279:0:
>>> error: verification failed at PC=8: branch out of range
>>> /home/uros/gcc-svn/trunk/libjava/classpath/gnu/java/awt/peer/gtk/GtkComponentPeer.java:279:0:
>>> internal compiler error: Segmentation fault
>>> Please submit a full bug report,
>>> with preprocessed source if appropriate.
>>> See <http://gcc.gnu.org/bugs.html> for instructions.
>>> gmake[5]: *** [gnu-java-awt-peer-gtk.lo] Error 1
>>>
>>> Any info what this verification error means?
>>
>> Either
>>
>> a. A file (GtkComponentPeer.class) has been corrupted
>>
>> or
>>
>> b. verify-* in gcc/java has been miscompiled by gcc.
>>
>> or
>>
>> c. something used by verify-* in gcc/java has changed, and now
>> verify-* is broken.
>
> Right on spot, It is verify_instructions_0 from verify-impl.c that is
> miscompiled. Following patch avoids these failures and enables
> profiledbootstrap to finish:
Thank you for doing this.
Can I at this point say just how useful Java is in detecting optimization
bugs in gcc? No? Ok, I won't then. :-)
I'll get my coat...
Andrew.