public inbox for java-prs@sourceware.org
help / color / mirror / Atom feed
* [Bug java/19344] New: Java verification error: types could not be merged
@ 2005-01-09 7:24 brion at pobox dot com
2005-01-09 7:25 ` [Bug java/19344] " brion at pobox dot com
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: brion at pobox dot com @ 2005-01-09 7:24 UTC (permalink / raw)
To: java-prs
I've been getting a verification error trying to compile BerkeleyDB Java Edition to native code from the
precompiled jar distribution; I will attach a minimal test case class to this bug report, from which the
error messages below are derived.
GCJ can compile the test class from the .java source directly to object code without complaint, but fails
with a verification error when working from .class files generated either by itself on a -C pass or from
Sun's javac. (1.4.2) 3.3.4 (on Linux/x86) and 3.4.3 (on darwin-ppc) both give the same verification
error; on 4.0.0 checked out from CVS (on Linux/x86) I get an additional error message about an
internal compiler error in java/verify.c.
>From 3.3.4:
$ gcj -v -save-temps -c -o test.o *.class
Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.4/specs
Reading specs from /usr/lib/gcc-lib/i486-linux/3.3.4/../../../libgcj.spec
rename spec lib to liborig
Configured with: ../src/configure -v --enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --
prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-gxx-include-dir=/usr/
include/c++/3.3 --enable-shared --with-system-zlib --enable-nls --without-included-gettext --
enable-__cxa_atexit --enable-clocale=gnu --enable-debug --enable-java-gc=boehm --enable-java-
awt=xlib --enable-objc-gc i486-linux
Thread model: posix
gcc version 3.3.4 (Debian 1:3.3.4-9ubuntu5)
/usr/lib/gcc-lib/i486-linux/3.3.4/jc1 /tmp/ccmcxg1ujx -fhash-synchronization -fno-use-divide-
subroutine -fuse-boehm-gc -fnon-call-exceptions -fkeep-inline-functions -quiet -dumpbase
ccmcxg1ujx -auxbase-strip test.o -g1 -version -ffilelist-file -o ccmcxg1ujx.s
GNU Java version 3.3.4 (Debian 1:3.3.4-9ubuntu5) (i486-linux)
compiled by GNU C version 3.3.4 (Debian 1:3.3.4-9ubuntu5).
GGC heuristics: --param ggc-min-expand=64 --param ggc-min-heapsize=64576
Class path starts here:
./
/usr/share/java/libgcj-3.3.4.jar/ (system) (zip)
Cleaner.java: In class `Cleaner':
Cleaner.java: In method `Cleaner.doClean()':
Cleaner.java:20: error: verification error at PC=23
Cleaner.java:20: error: types could not be merged
With GCJ built from CVS checkout:
$ gcj -v -save-temps -c -o test.o *.class
Using built-in specs.
Reading specs from /opt/gcj/lib/gcc/i686-pc-linux-gnu/4.0.0/../../../libgcj.spec
rename spec lib to liborig
Configured with: ../gcc/configure --prefix=/opt/gcj --enable-languages=c,c++,java : (reconfigured)
../gcc/configure --prefix=/opt/gcj --enable-languages=c,c++,java
Thread model: posix
gcc version 4.0.0 20050108 (experimental)
/opt/gcj/libexec/gcc/i686-pc-linux-gnu/4.0.0/jc1 /tmp/ccjhixvIjx -fhash-synchronization -fno-use-
divide-subroutine -fuse-boehm-gc -fnon-call-exceptions -fno-omit-frame-pointer -fkeep-inline-
functions -quiet -dumpbase ccjhixvIjx -mtune=pentiumpro -auxbase-strip test.o -g1 -version
-ffilelist-file -o ccjhixvIjx.s
GNU Java version 4.0.0 20050108 (experimental) (i686-pc-linux-gnu)
compiled by GNU C version 3.3.4 (Debian 1:3.3.4-9ubuntu5).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Class path starts here:
./
/opt/gcj/share/java/libgcj-4.0.0.jar/ (system) (zip)
Cleaner.java: In class 'Cleaner':
Cleaner.java: In method 'Cleaner.doClean()':
Cleaner.java:20: internal compiler error: tree check: accessed elt 5 of tree_vec with 3 elts in
verify_jvm_instructions, at java/verify.c:592
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
--
Summary: Java verification error: types could not be merged
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: java
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: brion at pobox dot com
CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19344
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug java/19344] Java verification error: types could not be merged
2005-01-09 7:24 [Bug java/19344] New: Java verification error: types could not be merged brion at pobox dot com
@ 2005-01-09 7:25 ` brion at pobox dot com
2005-01-10 19:16 ` mckinlay at redhat dot com
2005-03-09 10:55 ` rmathew at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: brion at pobox dot com @ 2005-01-09 7:25 UTC (permalink / raw)
To: java-prs
------- Additional Comments From brion at pobox dot com 2005-01-09 07:25 -------
Created an attachment (id=7911)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7911&action=view)
Java source file which causes verification error when compiled via bytecode
Compile with:
gcj -C Cleaner.java && gcj -c -o test.o *.class
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19344
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug java/19344] Java verification error: types could not be merged
2005-01-09 7:24 [Bug java/19344] New: Java verification error: types could not be merged brion at pobox dot com
2005-01-09 7:25 ` [Bug java/19344] " brion at pobox dot com
@ 2005-01-10 19:16 ` mckinlay at redhat dot com
2005-03-09 10:55 ` rmathew at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: mckinlay at redhat dot com @ 2005-01-10 19:16 UTC (permalink / raw)
To: java-prs
------- Additional Comments From mckinlay at redhat dot com 2005-01-10 19:16 -------
Thanks for the test case.
A workaround for this, using GCC HEAD, is to use the --indirect-dispatch compile
option. This will use the "new verifier" code which does not have this bug.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-01-10 19:16:27
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19344
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug java/19344] Java verification error: types could not be merged
2005-01-09 7:24 [Bug java/19344] New: Java verification error: types could not be merged brion at pobox dot com
2005-01-09 7:25 ` [Bug java/19344] " brion at pobox dot com
2005-01-10 19:16 ` mckinlay at redhat dot com
@ 2005-03-09 10:55 ` rmathew at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: rmathew at gcc dot gnu dot org @ 2005-03-09 10:55 UTC (permalink / raw)
To: java-prs
------- Additional Comments From rmathew at gcc dot gnu dot org 2005-03-09 09:15 -------
Fixed on the mainline after the new verifier was enabled.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19344
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2005-03-09 9:19 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-01-09 7:24 [Bug java/19344] New: Java verification error: types could not be merged brion at pobox dot com
2005-01-09 7:25 ` [Bug java/19344] " brion at pobox dot com
2005-01-10 19:16 ` mckinlay at redhat dot com
2005-03-09 10:55 ` rmathew at gcc dot gnu dot org
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).