<?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>179188</bug_id>
          
          <creation_ts>2017-11-02 12:00:29 -0700</creation_ts>
          <short_desc>AI does not correctly model the clobber case of ArithClz32</short_desc>
          <delta_ts>2017-11-15 12:17:43 -0800</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 Nightly Build</version>
          <rep_platform>All</rep_platform>
          <op_sys>All</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="Filip Pizlo">fpizlo</reporter>
          <assigned_to name="Filip Pizlo">fpizlo</assigned_to>
          <cc>buildbot</cc>
    
    <cc>keith_miller</cc>
    
    <cc>mark.lam</cc>
    
    <cc>msaboff</cc>
    
    <cc>saam</cc>
    
    <cc>webkit-bug-importer</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1367449</commentid>
    <comment_count>0</comment_count>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2017-11-02 12:00:29 -0700</bug_when>
    <thetext>Patch forthcoming.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1367450</commentid>
    <comment_count>1</comment_count>
      <attachid>325740</attachid>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2017-11-02 12:03:45 -0700</bug_when>
    <thetext>Created attachment 325740
the patch</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1367456</commentid>
    <comment_count>2</comment_count>
      <attachid>325740</attachid>
    <who name="Michael Saboff">msaboff</who>
    <bug_when>2017-11-02 12:11:37 -0700</bug_when>
    <thetext>Comment on attachment 325740
the patch

r=me</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1367460</commentid>
    <comment_count>3</comment_count>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2017-11-02 12:18:10 -0700</bug_when>
    <thetext>Landed in https://trac.webkit.org/changeset/224349/webkit</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1367461</commentid>
    <comment_count>4</comment_count>
      <attachid>325740</attachid>
    <who name="Saam Barati">saam</who>
    <bug_when>2017-11-02 12:18:15 -0700</bug_when>
    <thetext>Comment on attachment 325740
the patch

LGTM too</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1372119</commentid>
    <comment_count>5</comment_count>
    <who name="Radar WebKit Bug Importer">webkit-bug-importer</who>
    <bug_when>2017-11-15 12:17:43 -0800</bug_when>
    <thetext>&lt;rdar://problem/35567273&gt;</thetext>
  </long_desc>
      
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>325740</attachid>
            <date>2017-11-02 12:03:45 -0700</date>
            <delta_ts>2017-11-02 12:11:37 -0700</delta_ts>
            <desc>the patch</desc>
            <filename>blah.patch</filename>
            <type>text/plain</type>
            <size>2931</size>
            <attacher name="Filip Pizlo">fpizlo</attacher>
            
              <data encoding="base64">SW5kZXg6IEpTVGVzdHMvQ2hhbmdlTG9nCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KLS0tIEpTVGVzdHMvQ2hhbmdlTG9n
CShyZXZpc2lvbiAyMjQzNDcpCisrKyBKU1Rlc3RzL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpA
QCAtMSwzICsxLDE0IEBACisyMDE3LTExLTAyICBGaWxpcCBQaXpsbyAgPGZwaXpsb0BhcHBsZS5j
b20+CisKKyAgICAgICAgQUkgZG9lcyBub3QgY29ycmVjdGx5IG1vZGVsIHRoZSBjbG9iYmVyIGNh
c2Ugb2YgQXJpdGhDbHozMgorICAgICAgICBodHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1
Zy5jZ2k/aWQ9MTc5MTg4CisKKyAgICAgICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisK
KyAgICAgICAgKiBzdHJlc3MvYXJpdGgtY2x6MzItZWZmZWN0cy5qczogQWRkZWQuCisgICAgICAg
IChmb28pOgorICAgICAgICAodmFsdWVPZik6CisKIDIwMTctMTEtMDEgIE1pY2hhZWwgU2Fib2Zm
ICA8bXNhYm9mZkBhcHBsZS5jb20+CiAKICAgICAgICAgSW50ZWdlciBvdmVyZmxvdyBpbiBjb2Rl
IGdlbmVyYXRlZCBieSBMb2FkVmFyYXJncyBwcm9jZXNzaW5nIGluIERGRyBhbmQgRlRMLgpJbmRl
eDogSlNUZXN0cy9zdHJlc3MvYXJpdGgtY2x6MzItZWZmZWN0cy5qcwo9PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09Ci0tLSBK
U1Rlc3RzL3N0cmVzcy9hcml0aC1jbHozMi1lZmZlY3RzLmpzCShub25leGlzdGVudCkKKysrIEpT
VGVzdHMvc3RyZXNzL2FyaXRoLWNsejMyLWVmZmVjdHMuanMJKHdvcmtpbmcgY29weSkKQEAgLTAs
MCArMSwzMCBAQAorZnVuY3Rpb24gZm9vKG8sIHYpCit7CisgICAgdmFyIHJlc3VsdCA9IG8uZjsK
KyAgICBNYXRoLmNsejMyKHYpOworICAgIHJldHVybiByZXN1bHQgKyBvLmY7Cit9CisKK25vSW5s
aW5lKGZvbyk7CisKK3ZhciBvID0ge2Y6IDQyfTsKK28uZyA9IDQzOyAvLyBCdXN0IHRoZSB0cmFu
c2l0aW9uIHdhdGNocG9pbnQgb2Yge2Z9LgorCitmb3IgKHZhciBpID0gMDsgaSA8IDEwMDAwOyAr
K2kpIHsKKyAgICB2YXIgcmVzdWx0ID0gZm9vKHtmOiA0Mn0sICI0MiIpOworICAgIGlmIChyZXN1
bHQgIT0gODQpCisgICAgICAgIHRocm93ICJFcnJvcjogYmFkIHJlc3VsdCBpbiBsb29wOiAiICsg
cmVzdWx0OworfQorCit2YXIgbyA9IHtmOiA0M307Cit2YXIgcmVzdWx0ID0gZm9vKG8sIHsKKyAg
ICB2YWx1ZU9mOiBmdW5jdGlvbigpCisgICAgeworICAgICAgICBkZWxldGUgby5mOworICAgICAg
ICBvLl9fZGVmaW5lR2V0dGVyX18oImYiLCBmdW5jdGlvbigpIHsgcmV0dXJuIDQ0OyB9KTsKKyAg
ICB9Cit9KTsKKworaWYgKHJlc3VsdCAhPSA4NykKKyAgICB0aHJvdyAiRXJyb3I6IGJhZCByZXN1
bHQgYXQgZW5kOiAiICsgcmVzdWx0OworCkluZGV4OiBTb3VyY2UvSmF2YVNjcmlwdENvcmUvQ2hh
bmdlTG9nCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT0KLS0tIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cJKHJl
dmlzaW9uIDIyNDM0NikKKysrIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cJKHdvcmtp
bmcgY29weSkKQEAgLTEsMyArMSwxNSBAQAorMjAxNy0xMS0wMiAgRmlsaXAgUGl6bG8gIDxmcGl6
bG9AYXBwbGUuY29tPgorCisgICAgICAgIEFJIGRvZXMgbm90IGNvcnJlY3RseSBtb2RlbCB0aGUg
Y2xvYmJlciBjYXNlIG9mIEFyaXRoQ2x6MzIKKyAgICAgICAgaHR0cHM6Ly9idWdzLndlYmtpdC5v
cmcvc2hvd19idWcuY2dpP2lkPTE3OTE4OAorCisgICAgICAgIFJldmlld2VkIGJ5IE5PQk9EWSAo
T09QUyEpLgorCisgICAgICAgIFRoZSBub24tSW50MzIgY2FzZSBjbG9iYmVycyB0aGUgd29ybGQg
YmVjYXVzZSBpdCBtYXkgY2FsbCB2YWx1ZU9mLgorCisgICAgICAgICogZGZnL0RGR0Fic3RyYWN0
SW50ZXJwcmV0ZXJJbmxpbmVzLmg6CisgICAgICAgIChKU0M6OkRGRzo6QWJzdHJhY3RJbnRlcnBy
ZXRlcjxBYnN0cmFjdFN0YXRlVHlwZT46OmV4ZWN1dGVFZmZlY3RzKToKKwogMjAxNy0xMS0wMiAg
WXVzdWtlIFN1enVraSAgPHV0YXRhbmUudGVhQGdtYWlsLmNvbT4KIAogICAgICAgICBVbnJldmll
d2VkLCByZWxlYXNlIHRocm93IHNjb3BlCkluZGV4OiBTb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZn
L0RGR0Fic3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmgKPT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291cmNlL0ph
dmFTY3JpcHRDb3JlL2RmZy9ERkdBYnN0cmFjdEludGVycHJldGVySW5saW5lcy5oCShyZXZpc2lv
biAyMjQzNDYpCisrKyBTb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RGR0Fic3RyYWN0SW50ZXJw
cmV0ZXJJbmxpbmVzLmgJKHdvcmtpbmcgY29weSkKQEAgLTYxOCw2ICs2MTgsMTQgQEAgYm9vbCBB
YnN0cmFjdEludGVycHJldGVyPEFic3RyYWN0U3RhdGVUeQogICAgICAgICAgICAgc2V0Q29uc3Rh
bnQobm9kZSwganNOdW1iZXIoY2x6MzIodmFsdWUpKSk7CiAgICAgICAgICAgICBicmVhazsKICAg
ICAgICAgfQorICAgICAgICBzd2l0Y2ggKG5vZGUtPmNoaWxkMSgpLnVzZUtpbmQoKSkgeworICAg
ICAgICBjYXNlIEludDMyVXNlOgorICAgICAgICBjYXNlIEtub3duSW50MzJVc2U6CisgICAgICAg
ICAgICBicmVhazsKKyAgICAgICAgZGVmYXVsdDoKKyAgICAgICAgICAgIGNsb2JiZXJXb3JsZChu
b2RlLT5vcmlnaW4uc2VtYW50aWMsIGNsb2JiZXJMaW1pdCk7CisgICAgICAgICAgICBicmVhazsK
KyAgICAgICAgfQogICAgICAgICBmb3JOb2RlKG5vZGUpLnNldFR5cGUoU3BlY0ludDMyT25seSk7
CiAgICAgICAgIGJyZWFrOwogICAgIH0K
</data>
<flag name="review"
          id="345166"
          type_id="1"
          status="+"
          setter="msaboff"
    />
          </attachment>
      

    </bug>

</bugzilla>