* [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