This is the mail archive of the
gcc-prs@gcc.gnu.org
mailing list for the GCC project.
Re: libgcj/5783: verify.cc compatibility fails check on local variable
- From: Tom Tromey <tromey at redhat dot com>
- To: nobody at gcc dot gnu dot org
- Cc: gcc-prs at gcc dot gnu dot org,
- Date: 26 Feb 2002 18:16:03 -0000
- Subject: Re: libgcj/5783: verify.cc compatibility fails check on local variable
- Reply-to: Tom Tromey <tromey at redhat dot com>
The following reply was made to PR libgcj/5783; it has been noted by GNATS.
From: Tom Tromey <tromey@redhat.com>
To: toddastock@yahoo.com
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: libgcj/5783: verify.cc compatibility fails check on local variable
Date: 26 Feb 2002 11:32:23 -0700
>>>>> "Todd" == Todd Stock <toddastock@yahoo.com> writes:
Todd> Number: 5783
Todd> Synopsis: verify.cc compatibility fails check on local variable
Todd> This may be a problem in the merge code merging incorrectly to
Todd> unsuitable_type.
I tried this.
If I compile with `gcj -C' then all of gij, gcj --syntax-only, and
java (Sun JDK 1.2) agree that the bytecode is invalid.
If I compile with `javac' then they all agree it is correct.
So I think we're seeing a compiler bug here, and not a verifier bug.
Tom