<?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>195375</bug_id>
          
          <creation_ts>2019-03-06 13:49:03 -0800</creation_ts>
          <short_desc>[JSC] AI should not propagate AbstractValue relying on constant folding phase</short_desc>
          <delta_ts>2019-03-06 14:34:36 -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>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>webkit-bug-importer</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1513176</commentid>
    <comment_count>0</comment_count>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-03-06 13:49:03 -0800</bug_when>
    <thetext>[JSC] AI should not propagate AbstractValue relying on constant folding phase</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1513177</commentid>
    <comment_count>1</comment_count>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-03-06 13:49:56 -0800</bug_when>
    <thetext>&lt;rdar://problem/48630230&gt;</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1513182</commentid>
    <comment_count>2</comment_count>
      <attachid>363789</attachid>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-03-06 13:56:48 -0800</bug_when>
    <thetext>Created attachment 363789
Patch</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1513202</commentid>
    <comment_count>3</comment_count>
    <who name="Yusuke Suzuki">ysuzuki</who>
    <bug_when>2019-03-06 14:34:36 -0800</bug_when>
    <thetext>Committed r242568: &lt;https://trac.webkit.org/changeset/242568&gt;</thetext>
  </long_desc>
      
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>363789</attachid>
            <date>2019-03-06 13:56:48 -0800</date>
            <delta_ts>2019-03-06 13:58:46 -0800</delta_ts>
            <desc>Patch</desc>
            <filename>bug-195375-20190306135647.patch</filename>
            <type>text/plain</type>
            <size>4040</size>
            <attacher name="Yusuke Suzuki">ysuzuki</attacher>
            
              <data encoding="base64">U3VidmVyc2lvbiBSZXZpc2lvbjogMjQyNTUyCmRpZmYgLS1naXQgYS9Tb3VyY2UvSmF2YVNjcmlw
dENvcmUvQ2hhbmdlTG9nIGIvU291cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwppbmRleCA4
MmM3MzM1YWI4ZDQzNTQ0NmQyYTFiZTBjN2JhMGJlNzczMTU4ODliLi5lODBlZDIxMmVhN2MyOGM5
NWM3YzhhOTJjNWVmMjBkYTVjNjQ2ZWE3IDEwMDY0NAotLS0gYS9Tb3VyY2UvSmF2YVNjcmlwdENv
cmUvQ2hhbmdlTG9nCisrKyBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKQEAgLTEs
MyArMSwyMCBAQAorMjAxOS0wMy0wNiAgWXVzdWtlIFN1enVraSAgPHlzdXp1a2lAYXBwbGUuY29t
PgorCisgICAgICAgIFtKU0NdIEFJIHNob3VsZCBub3QgcHJvcGFnYXRlIEFic3RyYWN0VmFsdWUg
cmVseWluZyBvbiBjb25zdGFudCBmb2xkaW5nIHBoYXNlCisgICAgICAgIGh0dHBzOi8vYnVncy53
ZWJraXQub3JnL3Nob3dfYnVnLmNnaT9pZD0xOTUzNzUKKworICAgICAgICBSZXZpZXdlZCBieSBO
T0JPRFkgKE9PUFMhKS4KKworICAgICAgICBNYWtlUm9wZSBydWxlIGluIEFJIGF0dGVtcHRzIHRv
IHByb3BhZ2F0ZSB0aGUgbm9kZSwgd2hpY2ggd2lsbCBiZSBwcm9kdWNlZCBhZnRlciBjb25zdGFu
dCBmb2xkaW5nIHBoYXNlIHJ1bnMuCisgICAgICAgIFRoaXMgaXMgd3Jvbmcgc2luY2Ugd2UgZG8g
bm90IGd1YXJhbnRlZSB0aGF0IGNvbnN0YW50IGZvbGRpbmcgcGhhc2UgcnVucyBhZnRlciBBSSBy
dW5zIChlLmcuIERGR1NwZWN1bGF0aXZlSklUCisgICAgICAgIGFuZCBGVExMb3dlckRGR1RvQjMg
cnVuIEFJKS4gVGhpcyByZXN1bHRzIGluIHRoZSBidWcgdGhhdCB0aGUgdmFsdWUgcHJvZHVjZWQg
YXQgcnVudGltZSBpcyBkaWZmZXJlbnQgZnJvbSB0aGUKKyAgICAgICAgcHJvdmVuIGNvbnN0YW50
IHZhbHVlIGluIEFJLiBJbiB0aGUgYXR0YWNoZWQgdGVzdCwgQUkgc2F5cyB0aGUgdmFsdWUgaXMg
U3BlY1N0cmluZ0lkZW50IHdoaWxlIHRoZSByZXN1bHRlZCB2YWx1ZQorICAgICAgICBhdCBydW50
aW1lIGlzIFNwZWNTdHJpbmdWYXIsIHJlc3VsdGluZyBpbiB3cm9uZyBNYWtlUm9wZSBjb2RlLiBU
aGlzIHBhdGNoIHJlbW92ZXMgdGhlIHBhdGggcHJvcGFnYXRpbmcgdGhlIG5vZGUKKyAgICAgICAg
cmVseWluZyBvbiBjb25zdGFudCBmb2xkaW5nIHBoYXNlLgorCisgICAgICAgICogZGZnL0RGR0Fi
c3RyYWN0SW50ZXJwcmV0ZXJJbmxpbmVzLmg6CisgICAgICAgIChKU0M6OkRGRzo6QWJzdHJhY3RJ
bnRlcnByZXRlcjxBYnN0cmFjdFN0YXRlVHlwZT46OmV4ZWN1dGVFZmZlY3RzKToKKwogMjAxOS0w
My0wNSAgU2FhbSBiYXJhdGkgIDxzYmFyYXRpQGFwcGxlLmNvbT4KIAogICAgICAgICBvcF9zd2l0
Y2hfY2hhciBicm9rZW4gZm9yIHJvcGUgc3RyaW5ncyBhZnRlciBKU1JvcGVTdHJpbmcgbGF5b3V0
IHJld3JpdGUKZGlmZiAtLWdpdCBhL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQWJzdHJh
Y3RJbnRlcnByZXRlcklubGluZXMuaCBiL1NvdXJjZS9KYXZhU2NyaXB0Q29yZS9kZmcvREZHQWJz
dHJhY3RJbnRlcnByZXRlcklubGluZXMuaAppbmRleCA2N2U1YTg3Y2IzODgwZGZlNWJmY2E1ODYx
NWVmM2JiYWIzZDA4YWQ2Li4yMzYzNjBlNDI4MmJiYjZkYWI2NjM4OTExYjViZDEzNjE1ZTgzZTli
IDEwMDY0NAotLS0gYS9Tb3VyY2UvSmF2YVNjcmlwdENvcmUvZGZnL0RGR0Fic3RyYWN0SW50ZXJw
cmV0ZXJJbmxpbmVzLmgKKysrIGIvU291cmNlL0phdmFTY3JpcHRDb3JlL2RmZy9ERkdBYnN0cmFj
dEludGVycHJldGVySW5saW5lcy5oCkBAIC03MzMsMTkgKzczMyw4IEBAIGJvb2wgQWJzdHJhY3RJ
bnRlcnByZXRlcjxBYnN0cmFjdFN0YXRlVHlwZT46OmV4ZWN1dGVFZmZlY3RzKHVuc2lnbmVkIGNs
b2JiZXJMaW1pCiAgICAgICAgICAgICArK251bWJlck9mUmVtb3ZlZENoaWxkcmVuOwogICAgICAg
ICB9CiAKLSAgICAgICAgaWYgKG51bWJlck9mUmVtb3ZlZENoaWxkcmVuKSB7CisgICAgICAgIGlm
IChudW1iZXJPZlJlbW92ZWRDaGlsZHJlbikKICAgICAgICAgICAgIG1fc3RhdGUuc2V0Rm91bmRD
b25zdGFudHModHJ1ZSk7Ci0gICAgICAgICAgICBpZiAobnVtYmVyT2ZSZW1vdmVkQ2hpbGRyZW4g
PT0gbnVtYmVyT2ZDaGlsZHJlbikgewotICAgICAgICAgICAgICAgIC8vIFByb3BhZ2F0ZSB0aGUg
bGFzdCBjaGlsZC4gVGhpcyBpcyB0aGUgd2F5IHRha2VuIGluIHRoZSBjb25zdGFudCBmb2xkaW5n
IHBoYXNlLgotICAgICAgICAgICAgICAgIHNldEZvck5vZGUobm9kZSwgZm9yTm9kZShub2RlLT5j
aGlsZHJlbi5jaGlsZChudW1iZXJPZkNoaWxkcmVuIC0gMSkpKTsKLSAgICAgICAgICAgICAgICBi
cmVhazsKLSAgICAgICAgICAgIH0KLSAgICAgICAgICAgIGlmICgobnVtYmVyT2ZSZW1vdmVkQ2hp
bGRyZW4gKyAxKSA9PSBudW1iZXJPZkNoaWxkcmVuKSB7Ci0gICAgICAgICAgICAgICAgQVNTRVJU
KG5vbkVtcHR5SW5kZXgpOwotICAgICAgICAgICAgICAgIHNldEZvck5vZGUobm9kZSwgZm9yTm9k
ZShub2RlLT5jaGlsZHJlbi5jaGlsZChub25FbXB0eUluZGV4LnZhbHVlKCkpKSk7Ci0gICAgICAg
ICAgICAgICAgYnJlYWs7Ci0gICAgICAgICAgICB9Ci0gICAgICAgIH0KICAgICAgICAgc2V0Rm9y
Tm9kZShub2RlLCBtX3ZtLnN0cmluZ1N0cnVjdHVyZS5nZXQoKSk7CiAgICAgICAgIGJyZWFrOwog
ICAgIH0KZGlmZiAtLWdpdCBhL0pTVGVzdHMvQ2hhbmdlTG9nIGIvSlNUZXN0cy9DaGFuZ2VMb2cK
aW5kZXggYmUwMDNkM2U2ZjBlOWNlMjY2NDA4MWJhN2RhYTdkZDgyOWExNzExMS4uNGY5NTM5MjQ5
NzAyOWRkOTZjMjE2N2ZjOGZlY2RlNzM5YTkyNGIxZSAxMDA2NDQKLS0tIGEvSlNUZXN0cy9DaGFu
Z2VMb2cKKysrIGIvSlNUZXN0cy9DaGFuZ2VMb2cKQEAgLTEsMyArMSwxMyBAQAorMjAxOS0wMy0w
NiAgWXVzdWtlIFN1enVraSAgPHlzdXp1a2lAYXBwbGUuY29tPgorCisgICAgICAgIFtKU0NdIEFJ
IHNob3VsZCBub3QgcHJvcGFnYXRlIEFic3RyYWN0VmFsdWUgcmVseWluZyBvbiBjb25zdGFudCBm
b2xkaW5nIHBoYXNlCisgICAgICAgIGh0dHBzOi8vYnVncy53ZWJraXQub3JnL3Nob3dfYnVnLmNn
aT9pZD0xOTUzNzUKKworICAgICAgICBSZXZpZXdlZCBieSBOT0JPRFkgKE9PUFMhKS4KKworICAg
ICAgICAqIHN0cmVzcy9tYWtlLXJvcGUtc2hvdWxkLW5vdC1wcm9wYWdhdGUtY29uc3RhbnQtZm9s
ZGVkLXZhbHVlLWluLWFpLmpzOiBBZGRlZC4KKyAgICAgICAgKGxldC5hcnJheSk6CisKIDIwMTkt
MDMtMDUgIFNhYW0gYmFyYXRpICA8c2JhcmF0aUBhcHBsZS5jb20+CiAKICAgICAgICAgb3Bfc3dp
dGNoX2NoYXIgYnJva2VuIGZvciByb3BlIHN0cmluZ3MgYWZ0ZXIgSlNSb3BlU3RyaW5nIGxheW91
dCByZXdyaXRlCmRpZmYgLS1naXQgYS9KU1Rlc3RzL3N0cmVzcy9tYWtlLXJvcGUtc2hvdWxkLW5v
dC1wcm9wYWdhdGUtY29uc3RhbnQtZm9sZGVkLXZhbHVlLWluLWFpLmpzIGIvSlNUZXN0cy9zdHJl
c3MvbWFrZS1yb3BlLXNob3VsZC1ub3QtcHJvcGFnYXRlLWNvbnN0YW50LWZvbGRlZC12YWx1ZS1p
bi1haS5qcwpuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAwMDAwMDAwMDAwMDAwMDAwMDAwMDAw
MDAwMDAwMDAwMDAwMDAwMDAwLi4xMmI1ZDhjZTE4MGE2YWFiMzM4ZTk2OWRhMmZiNjc0ZTUyNTY4
YTJiCi0tLSAvZGV2L251bGwKKysrIGIvSlNUZXN0cy9zdHJlc3MvbWFrZS1yb3BlLXNob3VsZC1u
b3QtcHJvcGFnYXRlLWNvbnN0YW50LWZvbGRlZC12YWx1ZS1pbi1haS5qcwpAQCAtMCwwICsxLDE0
IEBACisvL0AgcnVuRGVmYXVsdCgiLS1mb3JjZUVhZ2VyQ29tcGlsYXRpb249MSIpCitsZXQgc3Ry
aW5nID0gJ2EnOworbGV0IGFycmF5ID0gW10KKworZnVuY3Rpb24gdGVzdCgpIHsKKyAgICBsZXQg
eCA9IFtdW2FycmF5Lmxlbmd0aF07CisgICAgbGV0IHkgPSB4ID8geCArICcnIDogJyc7CisgICAg
bGV0IHogPSBzdHJpbmcgKyB5OworICAgIGxldCB6YSA9IHogKyAnYSc7CisgICAgW10uam9pbih6
YSk7Cit9CisKK2ZvciAobGV0IGk9MDsgaTwgMWU0OyBpKyspCisgICAgdGVzdCgpOwo=
</data>
<flag name="review"
          id="380353"
          type_id="1"
          status="+"
          setter="saam"
    />
          </attachment>
      

    </bug>

</bugzilla>