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

Related Reports
Backport:
Backport:
Backport:
Backport:
Backport:
Backport:

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