[Bug java/19344] New: Java verification error: types could not be merged

[Bug java/19344] New: Java verification error: types could not be merged

[brion at pobox dot com]

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

[Bug java/19344] Java verification error: types could not be merged

[brion at pobox dot com]

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

[Bug java/19344] Java verification error: types could not be merged

[mckinlay at redhat dot com]

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

[Bug java/19344] Java verification error: types could not be merged

[rmathew at gcc dot gnu dot org]

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