Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-6930035

C2 type system incorrectly handles case j.l.Object->meet(constant AryPtr)

    XMLWordPrintable

Details

    • Bug
    • Resolution: Fixed
    • P4
    • hs17
    • hs17
    • hotspot
    • None
    • b11
    • x86
    • solaris_10

    Backports

      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.

        Attachments

          Issue Links

            Activity

              People

                kvn Vladimir Kozlov
                kvn Vladimir Kozlov
                Votes:
                0 Vote for this issue
                Watchers:
                0 Start watching this issue

                Dates

                  Created:
                  Updated:
                  Resolved:
                  Imported:
                  Indexed: