United StatesChange Country, Oracle Worldwide Web Sites Communities I am a... I want to...
Bug ID: 6930035 C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)
6930035 : C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)

Details
Type:
Bug
Submit Date:
2010-02-25
Status:
Resolved
Updated Date:
2010-09-24
Project Name:
JDK
Resolved Date:
2010-03-10
Component:
hotspot
OS:
solaris_10
Sub-Component:
compiler
CPU:
x86
Priority:
P4
Resolution:
Fixed
Affected Versions:
hs17
Fixed Versions:
hs17

Related Reports
Backport:
JDK-2189804 - C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)
Backport:
JDK-2190669 - C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)
Backport:
JDK-2190668 - C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)
Backport:
JDK-2197973 - C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)
Backport:
JDK-2199923 - C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)
Backport:
JDK-2193612 - C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)

Sub Tasks

Description
=== Meet Not Symmetric ===
t   =                   char[int:5]<ciTypeArray length=5 type=<ciTypeArrayKlass name=[C ident=847 PERM address=0x2ccfb18> ident=1225 PERM address=0x3eb3008> *
this=                   java/lang/Object *
mt=(t meet this)=       java/lang/Object *
t_dual=                 int:65535..0:www[int:5]<ciTypeArray length=5 type=<ciTypeArrayKlass name=[C ident=847 PERM address=0x2ccfb18> ident=1225 PERM address=0x3eb3008> *,iid=top
this_dual=              java/lang/Object:TopPTR *,iid=top
mt_dual=                java/lang/Object:TopPTR *,iid=top
mt_dual meet t_dual=    int:65535..0:www[int:5]


mt->_dual->xmeet(t->_dual) has ptr==Constant but _const_oop field is not set.

Comments
EVALUATION

ChangeSet=http://hg.openjdk.java.net/jdk7/hotspot-comp/hotspot/rev/2432acbee618,ChangeRequest=6930035
2010-02-26 
PUBLIC COMMENTS

The meet code for dual of Object->meet(constant AryPtr)
does not set _const_oop field in the resulting dual AryPtr type.

Solution:
Add missing code.
2010-02-26


Hardware and Software, Engineered to Work Together