<?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>202382</bug_id>
          
          <creation_ts>2019-09-30 16:44:49 -0700</creation_ts>
          <short_desc>[JSC] AI folds CompareEq wrongly when it sees proven Boolean and Number</short_desc>
          <delta_ts>2019-09-30 17:00:17 -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>New Bugs</component>
          <version>WebKit Nightly 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="Yusuke Suzuki">ysuzuki</reporter>
          <assigned_to name="Yusuke Suzuki">ysuzuki</assigned_to>
          <cc>ews-watchlist</cc>
    
    <cc>keith_miller</cc>
    
    <cc>mark.lam</cc>
    
    <cc>msaboff</cc>
    
    <cc>saam</cc>
    
    <cc>tzagallo</cc>
    
    <cc>webkit-bug-importer</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1575371</commentid>
    <comment_count>0</comment_count>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-09-30 16:44:49 -0700</bug_when>
    <thetext>[JSC] AI folds CompareEq wrongly when it sees proven Boolean and Number</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1575374</commentid>
    <comment_count>1</comment_count>
      <attachid>379856</attachid>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-09-30 16:47:37 -0700</bug_when>
    <thetext>Created attachment 379856
Patch</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1575375</commentid>
    <comment_count>2</comment_count>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-09-30 16:47:39 -0700</bug_when>
    <thetext>&lt;rdar://problem/52669112&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1575381</commentid>
    <comment_count>3</comment_count>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-09-30 17:00:17 -0700</bug_when>
    <thetext>Committed r250536: &lt;https://trac.webkit.org/changeset/250536&gt;</thetext>
  </long_desc>
      
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>379856</attachid>
            <date>2019-09-30 16:47:37 -0700</date>
            <delta_ts>2019-09-30 16:58:43 -0700</delta_ts>
            <desc>Patch</desc>
            <filename>bug-202382-20190930164737.patch</filename>
            <type>text/plain</type>
            <size>3659</size>
            <attacher name="Yusuke Suzuki">ysuzuki</attacher>
            
              <data encoding="base64">U3VidmVyc2lvbiBSZXZpc2lvbjogMjUwNTIyCmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlw
dENvcmUvQ2hhbmdlTG9nIGIvU291cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwppbmRleCAz
ZTAxM2FhM2ZiOWY1NTIxMTg5NTk0YmU2NjQwOWNhNDMwZDZiZTEyLi45NDgxNDg2OGIzMGZmYmM3
ZTI1ZjUzMmViZTZhZmViZDA3MWI4MjMzIDEwMDY0NAotLS0gYS9Tb3VyY2UvSmF2YVNjcmlwdENv
cmUvQ2hhbmdlTG9nCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKQEAgLTEs
MyArMSwyMCBAQAorMjAxOS0wOS0zMCAgWXVzdWtlIFN1enVraSAgPHlzdXp1a2lAYXBwbGUuY29t
PgorCisgICAgICAgIFtKU0NdIEFJIGZvbGRzIENvbXBhcmVFcSB3cm9uZ2x5IHdoZW4gaXQgc2Vl
cyBwcm92ZW4gQm9vbGVhbiBhbmQgTnVtYmVyCisgICAgICAgIGh0dHBzOi8vYnVncy53ZWJraXQu
b3JnL3Nob3dfYnVnLmNnaT9pZD0yMDIzODIKKyAgICAgICAgPHJkYXI6Ly9wcm9ibGVtLzUyNjY5
MTEyPgorCisgICAgICAgIFJldmlld2VkIGJ5IE5PQk9EWSAoT09QUyEpLgorCisgICAgICAgIElm
IENvbXBhcmVFcShVbnR5cGVkLCBVbnR5cGVkKSBmaW5kcyB0aGF0IGl0IGdldHMgcHJvdmVuIEJv
b2xlYW4gYW5kIE51bWJlciB0eXBlcyBvbiBpdHMgYXJndW1lbnRzLAorICAgICAgICB3ZSBmb2xk
IGl0IHRvIGNvbnN0YW50IEZhbHNlLiBCdXQgdGhpcyBpcyB3cm9uZyBzaW5jZSBgZmFsc2UgPT0g
MGAgaXMgdHJ1ZSBpbiBKUy4KKyAgICAgICAgVGhpcyBwYXRjaCBhZGRzIGxlYXN0VXBwZXJCb3Vu
ZE9mRXF1aXZhbGVudFNwZWN1bGF0aW9ucywgd2hpY2ggbWVyZ2VzIE51bWJlciwgQmlnSW50LCBh
bmQgQm9vbGVhbiB0eXBlcworICAgICAgICBpZiBvbmUgb2YgdGhlbSBhcmUgc2Vlbi4KKworICAg
ICAgICAqIGJ5dGVjb2RlL1NwZWN1bGF0ZWRUeXBlLmNwcDoKKyAgICAgICAgKEpTQzo6bGVhc3RV
cHBlckJvdW5kT2ZFcXVpdmFsZW50U3BlY3VsYXRpb25zKToKKyAgICAgICAgKEpTQzo6dmFsdWVz
Q291bGRCZUVxdWFsKToKKwogMjAxOS0wOS0yOCAgQWRyaWFuIFBlcmV6IGRlIENhc3RybyAgPGFw
ZXJlekBpZ2FsaWEuY29tPgogCiAgICAgICAgIFtHVEtdW1dQRV0gRml4IG5vbi11bmlmaWVkIGJ1
aWxkIGlzc3VlIGNhdXNlZCBieSByMjUwNDQwCmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlw
dENvcmUvYnl0ZWNvZGUvU3BlY3VsYXRlZFR5cGUuY3BwIGIvU291cmNlL0phdmFTY3JpcHRDb3Jl
L2J5dGVjb2RlL1NwZWN1bGF0ZWRUeXBlLmNwcAppbmRleCA2ZDRlMjIwMzJiMWRkZTA0ZWJjMmZi
NmJiNWQ5MDFlYmE5ZTMwOWVlLi5hMzI1YjJjODFiYzQ3Y2YzMWYyNDI5ZTkxMGZhNDNjYWM3MGQ5
NzViIDEwMDY0NAotLS0gYS9Tb3VyY2UvSmF2YVNjcmlwdENvcmUvYnl0ZWNvZGUvU3BlY3VsYXRl
ZFR5cGUuY3BwCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9ieXRlY29kZS9TcGVjdWxhdGVk
VHlwZS5jcHAKQEAgLTYyNCwxMCArNjI0LDIxIEBAIFNwZWN1bGF0ZWRUeXBlIGxlYXN0VXBwZXJC
b3VuZE9mU3RyaWN0bHlFcXVpdmFsZW50U3BlY3VsYXRpb25zKFNwZWN1bGF0ZWRUeXBlIHR5CiAg
ICAgcmV0dXJuIHR5cGU7CiB9CiAKK3N0YXRpYyBpbmxpbmUgU3BlY3VsYXRlZFR5cGUgbGVhc3RV
cHBlckJvdW5kT2ZFcXVpdmFsZW50U3BlY3VsYXRpb25zKFNwZWN1bGF0ZWRUeXBlIHR5cGUpCit7
CisgICAgdHlwZSA9IGxlYXN0VXBwZXJCb3VuZE9mU3RyaWN0bHlFcXVpdmFsZW50U3BlY3VsYXRp
b25zKHR5cGUpOworCisgICAgLy8gQm9vbGVhbiBvciBCaWdJbnQgY2FuIGJlIGNvbnZlcnRlZCB0
byBOdW1iZXIgd2hlbiBwZXJmb3JtaW5nIG5vbi1zdHJpY3QgZXF1YWwuCisgICAgaWYgKHR5cGUg
JiAoU3BlY0ludEFueUZvcm1hdCB8IFNwZWNOb25JbnRBc0RvdWJsZSB8IFNwZWNCb29sZWFuIHwg
U3BlY0JpZ0ludCkpCisgICAgICAgIHR5cGUgfD0gKFNwZWNJbnRBbnlGb3JtYXQgfCBTcGVjTm9u
SW50QXNEb3VibGUgfCBTcGVjQm9vbGVhbiB8IFNwZWNCaWdJbnQpOworCisgICAgcmV0dXJuIHR5
cGU7Cit9CisKIGJvb2wgdmFsdWVzQ291bGRCZUVxdWFsKFNwZWN1bGF0ZWRUeXBlIGEsIFNwZWN1
bGF0ZWRUeXBlIGIpCiB7Ci0gICAgYSA9IGxlYXN0VXBwZXJCb3VuZE9mU3RyaWN0bHlFcXVpdmFs
ZW50U3BlY3VsYXRpb25zKGEpOwotICAgIGIgPSBsZWFzdFVwcGVyQm91bmRPZlN0cmljdGx5RXF1
aXZhbGVudFNwZWN1bGF0aW9ucyhiKTsKKyAgICBhID0gbGVhc3RVcHBlckJvdW5kT2ZFcXVpdmFs
ZW50U3BlY3VsYXRpb25zKGEpOworICAgIGIgPSBsZWFzdFVwcGVyQm91bmRPZkVxdWl2YWxlbnRT
cGVjdWxhdGlvbnMoYik7CiAgICAgCiAgICAgLy8gQW55dGhpbmcgY291bGQgYmUgZXF1YWwgdG8g
YSBzdHJpbmcuCiAgICAgaWYgKGEgJiBTcGVjU3RyaW5nKQpkaWZmIC0tZ2l0IGEvSlNUZXN0cy9D
aGFuZ2VMb2cgYi9KU1Rlc3RzL0NoYW5nZUxvZwppbmRleCBmY2NjZjIzN2I4Yjg4NjMxMTAyNzUx
YzAxMTk2MTlhYWExNjg4NTkzLi45NzZkYjU0MDI0YjRmZjQ1MGMzZDc4NmY0MzFhN2ZmNDg4NzBm
YzlmIDEwMDY0NAotLS0gYS9KU1Rlc3RzL0NoYW5nZUxvZworKysgYi9KU1Rlc3RzL0NoYW5nZUxv
ZwpAQCAtMSwzICsxLDE0IEBACisyMDE5LTA5LTMwICBZdXN1a2UgU3V6dWtpICA8eXN1enVraUBh
cHBsZS5jb20+CisKKyAgICAgICAgW0pTQ10gQUkgZm9sZHMgQ29tcGFyZUVxIHdyb25nbHkgd2hl
biBpdCBzZWVzIHByb3ZlbiBCb29sZWFuIGFuZCBOdW1iZXIKKyAgICAgICAgaHR0cHM6Ly9idWdz
LndlYmtpdC5vcmcvc2hvd19idWcuY2dpP2lkPTIwMjM4MgorICAgICAgICA8cmRhcjovL3Byb2Js
ZW0vNTI2NjkxMTI+CisKKyAgICAgICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAg
ICAgICAgKiBzdHJlc3MvY29tcGFyZS1lcS1ib29sLW51bWJlci1mb2xkaW5nLmpzOiBBZGRlZC4K
KyAgICAgICAgKHRlc3QpOgorCiAyMDE5LTA5LTI3ICBZdXN1a2UgU3V6dWtpICA8eXN1enVraUBh
cHBsZS5jb20+CiAKICAgICAgICAgW0pTQ10gS2VlcCBKU1N0cmluZzo6dmFsdWUoRXhlY1N0YXRl
KikncyByZXN1bHQgYXMgU3RyaW5nIGluc3RlYWQgb2YgYGNvbnN0IFN0cmluZyZgCmRpZmYgLS1n
aXQgYS9KU1Rlc3RzL3N0cmVzcy9jb21wYXJlLWVxLWJvb2wtbnVtYmVyLWZvbGRpbmcuanMgYi9K
U1Rlc3RzL3N0cmVzcy9jb21wYXJlLWVxLWJvb2wtbnVtYmVyLWZvbGRpbmcuanMKbmV3IGZpbGUg
bW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw
MC4uYWRiMzdiOWJlNGZlZGMxYTY0YjBlZjhjOTUwNTNkMDcxYzNkNTcyMgotLS0gL2Rldi9udWxs
CisrKyBiL0pTVGVzdHMvc3RyZXNzL2NvbXBhcmUtZXEtYm9vbC1udW1iZXItZm9sZGluZy5qcwpA
QCAtMCwwICsxLDExIEBACisvL0AgcnVuRGVmYXVsdCgiLS11c2VDb25jdXJyZW50SklUPTAiLCAi
LS1qaXRQb2xpY3lTY2FsZT0wLjEiKQorCitmdW5jdGlvbiB0ZXN0KCkgeworICAgIHZhciBbdywg
eV0gPSBbZmFsc2UsIDAsIG51bGxdOworICAgIGlmICh3ICE9IHkpCisgICAgICAgIHRocm93IDA7
Cit9Citub0lubGluZSh0ZXN0KTsKKworZm9yICh2YXIgaSA9IDA7IGkgPCAyMDAwOyArK2kpCisg
ICAgdGVzdCgpOwo=
</data>
<flag name="review"
          id="395581"
          type_id="1"
          status="+"
          setter="saam"
    />
          </attachment>
      

    </bug>

</bugzilla>