<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://bugs.webkit.org/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4.1"
          urlbase="https://bugs.webkit.org/"
          
          maintainer="admin@webkit.org"
>

    <bug>
          <bug_id>159942</bug_id>
          
          <creation_ts>2016-07-19 13:15:05 -0700</creation_ts>
          <short_desc>HasIndexedProperty clobberize rule is wrong for Array::ForceOSRExit</short_desc>
          <delta_ts>2016-10-08 11:34:49 -0700</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>WebKit</product>
          <component>JavaScriptCore</component>
          <version>WebKit Local Build</version>
          <rep_platform>Unspecified</rep_platform>
          <op_sys>Unspecified</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>InRadar</keywords>
          <priority>P2</priority>
          <bug_severity>Normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Saam Barati">saam</reporter>
          <assigned_to name="Saam Barati">saam</assigned_to>
          <cc>benjamin</cc>
    
    <cc>commit-queue</cc>
    
    <cc>fpizlo</cc>
    
    <cc>ggaren</cc>
    
    <cc>gskachkov</cc>
    
    <cc>keith_miller</cc>
    
    <cc>mark.lam</cc>
    
    <cc>msaboff</cc>
    
    <cc>oliver</cc>
    
    <cc>sukolsak</cc>
    
    <cc>webkit-bug-importer</cc>
    
    <cc>ysuzuki</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1212483</commentid>
    <comment_count>0</comment_count>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-07-19 13:15:05 -0700</bug_when>
    <thetext>...</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1212485</commentid>
    <comment_count>1</comment_count>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-07-19 13:15:45 -0700</bug_when>
    <thetext>&lt;rdar://problem/27328836&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1235449</commentid>
    <comment_count>2</comment_count>
      <attachid>290393</attachid>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-09-30 15:07:38 -0700</bug_when>
    <thetext>Created attachment 290393
patch</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1235450</commentid>
    <comment_count>3</comment_count>
      <attachid>290393</attachid>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2016-09-30 15:09:04 -0700</bug_when>
    <thetext>Comment on attachment 290393
patch

View in context: https://bugs.webkit.org/attachment.cgi?id=290393&amp;action=review

Ouch.  R=me.

&gt; Source/JavaScriptCore/dfg/DFGClobberize.h:267
&gt; +        if (mode.type() == Array::ForceExit) {
&gt; +            write(SideState);
&gt; +            return;
&gt; +        }
&gt; +

Why didn&apos;t you put this in the switch statement, below?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1235455</commentid>
    <comment_count>4</comment_count>
      <attachid>290397</attachid>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-09-30 15:15:03 -0700</bug_when>
    <thetext>Created attachment 290397
patch for landing</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1235533</commentid>
    <comment_count>5</comment_count>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-09-30 17:58:11 -0700</bug_when>
    <thetext>I&apos;m going to try to find a repro test before landing, but it might be tricky</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1236838</commentid>
    <comment_count>6</comment_count>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-10-05 17:18:21 -0700</bug_when>
    <thetext>(In reply to comment #5)
&gt; I&apos;m going to try to find a repro test before landing, but it might be tricky

This is difficult to do.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1236840</commentid>
    <comment_count>7</comment_count>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-10-05 17:19:33 -0700</bug_when>
    <thetext>(In reply to comment #6)
&gt; (In reply to comment #5)
&gt; &gt; I&apos;m going to try to find a repro test before landing, but it might be tricky
&gt; 
&gt; This is difficult to do.

Basically, we need to profile something as contiguousInbounds, and then somehow not have a prediction for either the base or the index.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1237982</commentid>
    <comment_count>8</comment_count>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-10-08 11:11:33 -0700</bug_when>
    <thetext>Ok, I&apos;m going to give up on trying to get this to reproduce on ToT. It&apos;s pretty clear what the bug is, but it&apos;s probably quite difficult to write a program that exhibits the bug. Anyways, I&apos;m going to commit this change for now and then if I find a way to write a test that exhibits the bug, I&apos;ll check in the test later.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1237986</commentid>
    <comment_count>9</comment_count>
      <attachid>290397</attachid>
    <who name="WebKit Commit Bot">commit-queue</who>
    <bug_when>2016-10-08 11:34:44 -0700</bug_when>
    <thetext>Comment on attachment 290397
patch for landing

Clearing flags on attachment: 290397

Committed r206955: &lt;http://trac.webkit.org/changeset/206955&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1237987</commentid>
    <comment_count>10</comment_count>
    <who name="WebKit Commit Bot">commit-queue</who>
    <bug_when>2016-10-08 11:34:49 -0700</bug_when>
    <thetext>All reviewed patches have been landed.  Closing bug.</thetext>
  </long_desc>
      
          <attachment
              isobsolete="1"
              ispatch="1"
              isprivate="0"
          >
            <attachid>290393</attachid>
            <date>2016-09-30 15:07:38 -0700</date>
            <delta_ts>2016-09-30 15:15:03 -0700</delta_ts>
            <desc>patch</desc>
            <filename>c-backup.diff</filename>
            <type>text/plain</type>
            <size>1562</size>
            <attacher name="Saam Barati">saam</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMjA2Njc5KQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDE4IEBA
CisyMDE2LTA5LTMwICBTYWFtIEJhcmF0aSAgPHNiYXJhdGlAYXBwbGUuY29tPgorCisgICAgICAg
IEhhc0luZGV4ZWRQcm9wZXJ0eSBjbG9iYmVyaXplIHJ1bGUgaXMgd3JvbmcgZm9yIEFycmF5OjpG
b3JjZU9TUkV4aXQKKyAgICAgICAgaHR0cHM6Ly9idWdzLndlYmtpdC5vcmcvc2hvd19idWcuY2dp
P2lkPTE1OTk0MgorICAgICAgICA8cmRhcjovL3Byb2JsZW0vMjczMjg4MzY+CisKKyAgICAgICAg
UmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAgICAgICAgV2hlbiBpdCdzIGluIEZvcmNl
T1NSRXhpdCBhcnJheSBtb2RlLCBpdCBzaG91bGQgcmVwb3J0IHRvIHdyaXRlIHRvIHNpZGUKKyAg
ICAgICAgc3RhdGUsIGxpa2UgdGhlIEZvcmNlT1NSRXhpdCBub2RlLCBhbmQgdGhlIG90aGVyIG5v
ZGVzIHdpdGggRm9yY2VPU1JFeGl0CisgICAgICAgIGFycmF5IG1vZGUuCisKKyAgICAgICAgKiBk
ZmcvREZHQ2xvYmJlcml6ZS5oOgorICAgICAgICAoSlNDOjpERkc6OmNsb2JiZXJpemUpOgorCiAy
MDE2LTA5LTMwICBKb3NlcGggUGVjb3Jhcm8gIDxwZWNvcmFyb0BhcHBsZS5jb20+CiAKICAgICAg
ICAgRml4IG1vZHVsZXMgdGVzdHMgYWZ0ZXIgcjIwNjY1MyBoYW5kbGUgYnJlYWtwb2ludCBsb2Nh
dGlvbnMgaW4gaW1wb3J0L2V4cG9ydCBzdGF0ZW1lbnRzCkluZGV4OiBTb3VyY2UvSmF2YVNjcmlw
dENvcmUvZGZnL0RGR0Nsb2JiZXJpemUuaAo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09Ci0tLSBTb3VyY2UvSmF2YVNjcmlw
dENvcmUvZGZnL0RGR0Nsb2JiZXJpemUuaAkocmV2aXNpb24gMjA2NjQzKQorKysgU291cmNlL0ph
dmFTY3JpcHRDb3JlL2RmZy9ERkdDbG9iYmVyaXplLmgJKHdvcmtpbmcgY29weSkKQEAgLTI1OSw4
ICsyNTksMTMgQEAgdm9pZCBjbG9iYmVyaXplKEdyYXBoJiBncmFwaCwgTm9kZSogbm9kZQogICAg
IH0KIAogICAgIGNhc2UgSGFzSW5kZXhlZFByb3BlcnR5OiB7Ci0gICAgICAgIHJlYWQoSlNPYmpl
Y3RfYnV0dGVyZmx5KTsKICAgICAgICAgQXJyYXlNb2RlIG1vZGUgPSBub2RlLT5hcnJheU1vZGUo
KTsKKyAgICAgICAgaWYgKG1vZGUudHlwZSgpID09IEFycmF5OjpGb3JjZUV4aXQpIHsKKyAgICAg
ICAgICAgIHdyaXRlKFNpZGVTdGF0ZSk7CisgICAgICAgICAgICByZXR1cm47CisgICAgICAgIH0K
KworICAgICAgICByZWFkKEpTT2JqZWN0X2J1dHRlcmZseSk7CiAgICAgICAgIHN3aXRjaCAobW9k
ZS50eXBlKCkpIHsKICAgICAgICAgY2FzZSBBcnJheTo6SW50MzI6IHsKICAgICAgICAgICAgIGlm
IChtb2RlLmlzSW5Cb3VuZHMoKSkgewo=
</data>
<flag name="review"
          id="313585"
          type_id="1"
          status="+"
          setter="fpizlo"
    />
          </attachment>
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>290397</attachid>
            <date>2016-09-30 15:15:03 -0700</date>
            <delta_ts>2016-10-08 11:34:44 -0700</delta_ts>
            <desc>patch for landing</desc>
            <filename>c-backup.diff</filename>
            <type>text/plain</type>
            <size>1531</size>
            <attacher name="Saam Barati">saam</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMjA2Njc5KQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDE4IEBA
CisyMDE2LTA5LTMwICBTYWFtIEJhcmF0aSAgPHNiYXJhdGlAYXBwbGUuY29tPgorCisgICAgICAg
IEhhc0luZGV4ZWRQcm9wZXJ0eSBjbG9iYmVyaXplIHJ1bGUgaXMgd3JvbmcgZm9yIEFycmF5OjpG
b3JjZU9TUkV4aXQKKyAgICAgICAgaHR0cHM6Ly9idWdzLndlYmtpdC5vcmcvc2hvd19idWcuY2dp
P2lkPTE1OTk0MgorICAgICAgICA8cmRhcjovL3Byb2JsZW0vMjczMjg4MzY+CisKKyAgICAgICAg
UmV2aWV3ZWQgYnkgRmlsaXAgUGl6bG8uCisKKyAgICAgICAgV2hlbiBIYXNJbmRleGVkUHJvcGVy
dHkgaGFzIGEgRm9yY2VPU1JFeGl0IGFycmF5IG1vZGUsIGl0IHNob3VsZAorICAgICAgICByZXBv
cnQgdG8gd3JpdGUgdG8gc2lkZSBzdGF0ZSwgbGlrZSB0aGUgRm9yY2VPU1JFeGl0IG5vZGUsIGFu
ZCB0aGUKKyAgICAgICAgb3RoZXIgbm9kZXMgd2l0aCBGb3JjZU9TUkV4aXQgYXJyYXkgbW9kZS4K
KworICAgICAgICAqIGRmZy9ERkdDbG9iYmVyaXplLmg6CisgICAgICAgIChKU0M6OkRGRzo6Y2xv
YmJlcml6ZSk6CisKIDIwMTYtMDktMzAgIEpvc2VwaCBQZWNvcmFybyAgPHBlY29yYXJvQGFwcGxl
LmNvbT4KIAogICAgICAgICBGaXggbW9kdWxlcyB0ZXN0cyBhZnRlciByMjA2NjUzIGhhbmRsZSBi
cmVha3BvaW50IGxvY2F0aW9ucyBpbiBpbXBvcnQvZXhwb3J0IHN0YXRlbWVudHMKSW5kZXg6IFNv
dXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQ2xvYmJlcml6ZS5oCj09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KLS0tIFNv
dXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQ2xvYmJlcml6ZS5oCShyZXZpc2lvbiAyMDY2NDMp
CisrKyBTb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RGR0Nsb2JiZXJpemUuaAkod29ya2luZyBj
b3B5KQpAQCAtMjYyLDYgKzI2MiwxMCBAQCB2b2lkIGNsb2JiZXJpemUoR3JhcGgmIGdyYXBoLCBO
b2RlKiBub2RlCiAgICAgICAgIHJlYWQoSlNPYmplY3RfYnV0dGVyZmx5KTsKICAgICAgICAgQXJy
YXlNb2RlIG1vZGUgPSBub2RlLT5hcnJheU1vZGUoKTsKICAgICAgICAgc3dpdGNoIChtb2RlLnR5
cGUoKSkgeworICAgICAgICBjYXNlIEFycmF5OjpGb3JjZUV4aXQ6IHsKKyAgICAgICAgICAgIHdy
aXRlKFNpZGVTdGF0ZSk7CisgICAgICAgICAgICByZXR1cm47CisgICAgICAgIH0KICAgICAgICAg
Y2FzZSBBcnJheTo6SW50MzI6IHsKICAgICAgICAgICAgIGlmIChtb2RlLmlzSW5Cb3VuZHMoKSkg
ewogICAgICAgICAgICAgICAgIHJlYWQoQnV0dGVyZmx5X3B1YmxpY0xlbmd0aCk7Cg==
</data>

          </attachment>
      

    </bug>

</bugzilla>