public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug java/13378] New: gcj compiling from jar files - verification error
@ 2003-12-10 19:15 norbertf at gmx dot net
  2003-12-10 20:49 ` [Bug java/13378] " pinskia at gcc dot gnu dot org
                   ` (9 more replies)
  0 siblings, 10 replies; 11+ messages in thread
From: norbertf at gmx dot net @ 2003-12-10 19:15 UTC (permalink / raw)
  To: gcc-bugs

It seems there still is a bytecode verifyer bug when compiling from jar-files. 
gcc version 3.4 20031203 (experimental)

gcj -fCLASSPATH=swt.jar:xerces.jar -c jface-standalone.jar -o
jface_standalone.oOpenStrategy.java: In class
`org.eclipse.jface.util.OpenStrategy$1':
OpenStrategy.java: In method
`org.eclipse.jface.util.OpenStrategy$1.handleEvent(org.eclipse.swt.widgets.Event)':
OpenStrategy.java:229: error: verification error at PC=480
OpenStrategy.java:229: error: loading local variable 2 which has unknown
type
org/eclipse/jface/resource/URLImageDescriptor.java: In class
`org.eclipse.jface.resource.URLImageDescriptor':
org/eclipse/jface/resource/URLImageDescriptor.java: In method
`org.eclipse.jface.resource.URLImageDescriptor.getImageData()':
org/eclipse/jface/resource/URLImageDescriptor.java:48: error:
verification error at PC=21
org/eclipse/jface/resource/URLImageDescriptor.java:48: error: loading
local variable 2 which has unknown type
org/eclipse/jface/resource/FileImageDescriptor.java: In class
`org.eclipse.jface.resource.FileImageDescriptor':
org/eclipse/jface/resource/FileImageDescriptor.java: In method
`org.eclipse.jface.resource.FileImageDescriptor.getImageData()':
org/eclipse/jface/resource/FileImageDescriptor.java:75: error:
verification error at PC=21
org/eclipse/jface/resource/FileImageDescriptor.java:75: error: loading
local variable 2 which has unknown type
make: *** [default] Error 1

The jar-files which caused the problem:
http://www.scheinwelt.at/~norbertf/gcj/tests/gcjverifybug_test.tar.gz

norbert

-- 
           Summary: gcj compiling from jar files - verification error
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: norbertf at gmx dot net
                CC: gcc-bugs at gcc dot gnu dot org


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
@ 2003-12-10 20:49 ` pinskia at gcc dot gnu dot org
  2003-12-19 12:59 ` aph at gcc dot gnu dot org
                   ` (8 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-12-10 20:49 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-10 20:49 -------
Confirmed (I cannot attach the file because it is over 1000KB.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-12-10 20:49:12
               date|                            |
   Target Milestone|---                         |3.4


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
  2003-12-10 20:49 ` [Bug java/13378] " pinskia at gcc dot gnu dot org
@ 2003-12-19 12:59 ` aph at gcc dot gnu dot org
  2003-12-19 13:07 ` aph at gcc dot gnu dot org
                   ` (7 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: aph at gcc dot gnu dot org @ 2003-12-19 12:59 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2003-12-10 20:49:12         |2003-12-19 12:40:23
               date|                            |


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
  2003-12-10 20:49 ` [Bug java/13378] " pinskia at gcc dot gnu dot org
  2003-12-19 12:59 ` aph at gcc dot gnu dot org
@ 2003-12-19 13:07 ` aph at gcc dot gnu dot org
  2003-12-20  6:35 ` tromey at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: aph at gcc dot gnu dot org @ 2003-12-19 13:07 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|aph at gcc dot gnu dot org  |unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (2 preceding siblings ...)
  2003-12-19 13:07 ` aph at gcc dot gnu dot org
@ 2003-12-20  6:35 ` tromey at gcc dot gnu dot org
  2004-01-14  3:18 ` pinskia at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: tromey at gcc dot gnu dot org @ 2003-12-20  6:35 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From tromey at gcc dot gnu dot org  2003-12-20 06:19 -------
Is this a regression from 3.3?
If not, let's not mark it with target-milestone 3.4.0.
The gcj verifier has several known bugs, and we aren't likely
to fix them for 3.4.  In fact my plan is to replace this verifier
with the one from libgcj.


-- 


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (3 preceding siblings ...)
  2003-12-20  6:35 ` tromey at gcc dot gnu dot org
@ 2004-01-14  3:18 ` pinskia at gcc dot gnu dot org
  2004-05-27  5:13 ` pinskia at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-01-14  3:18 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2004-01-14 03:18 -------
Not a regression and it looks like the verification is not going to be fixed for 3.4.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.0                       |3.5.0


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (4 preceding siblings ...)
  2004-01-14  3:18 ` pinskia at gcc dot gnu dot org
@ 2004-05-27  5:13 ` pinskia at gcc dot gnu dot org
  2005-03-09  9:15 ` rmathew at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-27  5:13 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.5.0                       |---


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (5 preceding siblings ...)
  2004-05-27  5:13 ` pinskia at gcc dot gnu dot org
@ 2005-03-09  9:15 ` rmathew at gcc dot gnu dot org
  2005-03-09  9:40 ` postfach at nfrese dot net
                   ` (2 subsequent siblings)
  9 siblings, 0 replies; 11+ messages in thread
From: rmathew at gcc dot gnu dot org @ 2005-03-09  9:15 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From rmathew at gcc dot gnu dot org  2005-03-09 09:11 -------
(In reply to comment #0)
> 
> The jar-files which caused the problem:
> http://www.scheinwelt.at/~norbertf/gcj/tests/gcjverifybug_test.tar.gz

I could not download this file - can you please put it back in?

Mainline CVS now has GCJ using a new verifier that should fix
most verifier bugs.


-- 


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (6 preceding siblings ...)
  2005-03-09  9:15 ` rmathew at gcc dot gnu dot org
@ 2005-03-09  9:40 ` postfach at nfrese dot net
  2005-03-09 10:27 ` rmathew at gcc dot gnu dot org
  2005-03-10  1:29 ` mckinlay at redhat dot com
  9 siblings, 0 replies; 11+ messages in thread
From: postfach at nfrese dot net @ 2005-03-09  9:40 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From postfach at nfrese dot net  2005-03-09 09:39 -------
Subject: Re:  gcj compiling from jar files - verification
	error

I put it here:
http://www.scheinwelt.at/~norbertf/files/gcj/other_tests/


On Wed, 2005-03-09 at 10:11, rmathew at gcc dot gnu dot org wrote:
> ------- Additional Comments From rmathew at gcc dot gnu dot org  2005-03-09 09:11 -------
> (In reply to comment #0)
> > 
> > The jar-files which caused the problem:
> > http://www.scheinwelt.at/~norbertf/gcj/tests/gcjverifybug_test.tar.gz
> 
> I could not download this file - can you please put it back in?
> 
> Mainline CVS now has GCJ using a new verifier that should fix
> most verifier bugs.
> 



-- 


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (7 preceding siblings ...)
  2005-03-09  9:40 ` postfach at nfrese dot net
@ 2005-03-09 10:27 ` rmathew at gcc dot gnu dot org
  2005-03-10  1:29 ` mckinlay at redhat dot com
  9 siblings, 0 replies; 11+ messages in thread
From: rmathew at gcc dot gnu dot org @ 2005-03-09 10:27 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From rmathew at gcc dot gnu dot org  2005-03-09 10:26 -------
Thanks.

Now the verification errors are gone, but I'm still not 
able to build the package (with or without -findirect-dispatch):
-------------------------------- 8< -------------------------------- 
~/src/tmp/PR13378/gcjverifybug > make
/home/ranmath/src/gcc/build/gcc/gcj -B/home/ranmath/src/gcc/build/gcc/ -B/home/r
anmath/src/gcc/build/i686-pc-linux-gnu/libjava/ -I/home/ranmath/src/gcc/build/i6
86-pc-linux-gnu/libjava/libgcj-4.1.0.jar -L/home/ranmath/src/gcc/build/i686-pc-l
inux-gnu/libjava/.libs -findirect-dispatch -fCLASSPATH=swt.jar:xerces.jar -c jfa
ce-standalone.jar -o jface_standalone.o
org/eclipse/jface/util/OpenStrategy.java: In class 'org.eclipse.jface.util.OpenS
trategy$1':
org/eclipse/jface/util/OpenStrategy.java: In method 'org.eclipse.jface.util.Open
Strategy$1.handleEvent(org.eclipse.swt.widgets.Event)':
org/eclipse/jface/util/OpenStrategy.java:336: error: expected type 'java.lang.Ru
nnable[]' but stack contains 'java.lang.Object'
org/eclipse/jface/util/OpenStrategy.java:336: error: stack underflow
org/eclipse/jface/util/OpenStrategy$1.java:0: confused by earlier errors, bailin
g out
make: *** [default] Error 1
-------------------------------- 8< --------------------------------

-- 


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
* [Bug java/13378] gcj compiling from jar files - verification error
  2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
                   ` (8 preceding siblings ...)
  2005-03-09 10:27 ` rmathew at gcc dot gnu dot org
@ 2005-03-10  1:29 ` mckinlay at redhat dot com
  9 siblings, 0 replies; 11+ messages in thread
From: mckinlay at redhat dot com @ 2005-03-10  1:29 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From mckinlay at redhat dot com  2005-03-10 01:29 -------
This is failing because the bytecode in this .jar really is broken:

public class Test
{
  public static void main(String[] args) throws Exception
  {
    Class f = Class.forName("org.eclipse.jface.util.OpenStrategy$1");
    System.out.println (f);
  }
}

$ java Test
Exception in thread "main" java.lang.VerifyError: (class:
org/eclipse/jface/util/OpenStrategy$1, method: handleEvent signature:
(Lorg/eclipse/swt/widgets/Event;)V) Register 2 contains wrong type
        at java.lang.Class.forName0(Native Method)
        at java.lang.Class.forName(Class.java:164)
        at Test.main(Test.java:7)

However, its questionable whether gcj should actually report this error with
--indirect-dispatch. The verifier is correctly deferring this type check to
runtime via a type assertion but code in expr.c is still doing its own check
(hangover from the old verifier, I guess). Then again its probably a reasonable
assumption to make that java.lang.Object is never assignment-compatible to
anything else.


-- 


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


^ permalink raw reply	[flat|nested] 11+ messages in thread
end of thread, other threads:[~2005-03-10  1:29 UTC | newest]

Thread overview: 11+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-12-10 19:15 [Bug java/13378] New: gcj compiling from jar files - verification error norbertf at gmx dot net
2003-12-10 20:49 ` [Bug java/13378] " pinskia at gcc dot gnu dot org
2003-12-19 12:59 ` aph at gcc dot gnu dot org
2003-12-19 13:07 ` aph at gcc dot gnu dot org
2003-12-20  6:35 ` tromey at gcc dot gnu dot org
2004-01-14  3:18 ` pinskia at gcc dot gnu dot org
2004-05-27  5:13 ` pinskia at gcc dot gnu dot org
2005-03-09  9:15 ` rmathew at gcc dot gnu dot org
2005-03-09  9:40 ` postfach at nfrese dot net
2005-03-09 10:27 ` rmathew at gcc dot gnu dot org
2005-03-10  1:29 ` mckinlay at redhat dot com

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).