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

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

XMLWordPrintable

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

        === 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.

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

                Created:
                Updated:
                Resolved:
                Imported:
                Indexed: