[Bug java/20056] [4.0 regression] 'verification failed: incompatible type on stack' with --indirect-dispatch

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