[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[aph at gcc dot gnu dot org]

------- Comment #7 from aph at gcc dot gnu dot org  2005-12-15 15:54 -------
This should now be fixed on trunk and 4.1 branch.


-- 

aph at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[tromey at gcc dot gnu dot org]

------- Comment #8 from tromey at gcc dot gnu dot org  2006-03-29 22:39 -------
I tried this today with svn head.
The test program still prints 'false' no matter how I run it:
gij, compiled, or compiled with the BC ABI.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
   Last reconfirmed|2005-02-18 00:00:09         |2006-07-19 03:52:21
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[aph at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aph at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[tromey at gcc dot gnu dot org]

------- Additional Comments From tromey at gcc dot gnu dot org  2005-05-04 20:53 -------
Ben -- 

As I recall the original test case was written in 'nice', not in java.
The sources may be of limited usefulness here.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[bkonrath at redhat dot com]

------- Additional Comments From bkonrath at redhat dot com  2005-05-04 17:45 -------
Daniel, could you post the actual source for those classes? Thanks, Ben

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[tromey at gcc dot gnu dot org]

------- Additional Comments From tromey at gcc dot gnu dot org  2005-02-18 00:53 -------
This bug occurs in 3 places.

* In the interpreter and the old abi, the problem is similar.
  We do not properly implement the ACC_SUPER semantics of the
  invokespecial opcode.  The fix in both these cases is similar,
  the "invokespecial Object.equals" must be changed into a
  non-virtual call to "A.equals"

* In the BC ABI, the problem is the same, but the solution is different.
  We can't search the concrete class hierarchy in the compiler.
  Instead we must emit an atable (not otable, as the resulting call
  will be nonvirtual) reference for the method.  However, it must be
  a special atable reference, since we cannot know the precise name
  of the declaring class.  One approach to fixing this would be to
  emit a name like "+ClassNameHere" to indicate that we must search.
  Or, better, some magic value like (void*)1 or NULL would suffice here
  (since we know we must always start the search with the current class'
  superclass)

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-18 00:00 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-18 00:00:09
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-17 23:51 -------
Well it cannot be really that critial because nobody has hit this before.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
           Keywords|                            |wrong-code


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044

[Bug java/20044] Wrong method call semantics (maybe instanceof/invokespecial)

[bonniot at users dot sf dot net]

------- Additional Comments From bonniot at users dot sf dot net  2005-02-17 23:49 -------
Created an attachment (id=8219)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8219&action=view)
testcase


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20044