This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug java/20056] [4.0 regression] 'verification failed: incompatible type on stack' with --indirect-dispatch
- From: "tromey at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 18 Feb 2005 23:10:13 -0000
- Subject: [Bug java/20056] [4.0 regression] 'verification failed: incompatible type on stack' with --indirect-dispatch
- References: <20050218145225.20056.bonniot@users.sf.net>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From tromey at gcc dot gnu dot org 2005-02-18 23:10 -------
There is a special case in "putfield" for setting a field
before the object reference has been initialized -- this is valid
in some cases. This bug occurs because we aren't properly
checking all the preconditions of this special case.
I have a patch for gcc, I will write one for the runtime shortly.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20056