<?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>82249</bug_id>
          
          <creation_ts>2012-03-26 15:47:49 -0700</creation_ts>
          <short_desc>DFG should assert that argument value recoveries can only be AlreadyInRegisterFile or Constant</short_desc>
          <delta_ts>2012-03-26 15:59:14 -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>528+ (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></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="Nobody">webkit-unassigned</assigned_to>
          
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>588221</commentid>
    <comment_count>0</comment_count>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2012-03-26 15:47:49 -0700</bug_when>
    <thetext>This is what Arguments relies on already, but the DFG asserts something weaker.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>588227</commentid>
    <comment_count>1</comment_count>
      <attachid>133912</attachid>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2012-03-26 15:50:40 -0700</bug_when>
    <thetext>Created attachment 133912
the patch</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>588244</commentid>
    <comment_count>2</comment_count>
    <who name="Filip Pizlo">fpizlo</who>
    <bug_when>2012-03-26 15:59:14 -0700</bug_when>
    <thetext>Landed in http://trac.webkit.org/changeset/112164</thetext>
  </long_desc>
      
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>133912</attachid>
            <date>2012-03-26 15:50:40 -0700</date>
            <delta_ts>2012-03-26 15:55:43 -0700</delta_ts>
            <desc>the patch</desc>
            <filename>fixargassert_patch_1.diff</filename>
            <type>text/plain</type>
            <size>3717</size>
            <attacher name="Filip Pizlo">fpizlo</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMTEyMTU5KQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDIxIEBA
CisyMDEyLTAzLTI2ICBGaWxpcCBQaXpsbyAgPGZwaXpsb0BhcHBsZS5jb20+CisKKyAgICAgICAg
REZHIHNob3VsZCBhc3NlcnQgdGhhdCBhcmd1bWVudCB2YWx1ZSByZWNvdmVyaWVzIGNhbiBvbmx5
IGJlCisgICAgICAgIEFscmVhZHlJblJlZ2lzdGVyRmlsZSBvciBDb25zdGFudAorICAgICAgICBo
dHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1Zy5jZ2k/aWQ9ODIyNDkKKworICAgICAgICBS
ZXZpZXdlZCBieSBOT0JPRFkgKE9PUFMhKS4KKyAgICAgICAgCisgICAgICAgIE1hZGUgdGhlIGFz
c2VydGlvbnMgdGhhdCB0aGUgREZHIG1ha2VzIGZvciBhcmd1bWVudCB2YWx1ZSByZWNvdmVyaWVz
IG1hdGNoCisgICAgICAgIHdoYXQgQXJndW1lbnRzIGV4cGVjdHMuCisKKyAgICAgICAgKiBieXRl
Y29kZS9WYWx1ZVJlY292ZXJ5Lmg6CisgICAgICAgIChKU0M6OlZhbHVlUmVjb3Zlcnk6OmlzQ29u
c3RhbnQpOgorICAgICAgICAoVmFsdWVSZWNvdmVyeSk6CisgICAgICAgIChKU0M6OlZhbHVlUmVj
b3Zlcnk6OmlzQWxyZWFkeUluUmVnaXN0ZXJGaWxlKToKKyAgICAgICAgKiBkZmcvREZHU3BlY3Vs
YXRpdmVKSVQuY3BwOgorICAgICAgICAoSlNDOjpERkc6OlNwZWN1bGF0aXZlSklUOjpjb21waWxl
KToKKwogMjAxMi0wMy0yNiAgRGFuIEJlcm5zdGVpbiAgPG1pdHpAYXBwbGUuY29tPgogCiAgICAg
ICAgIFRyaWVkIHRvIGZpeCB0aGUgV2luZG93cyBidWlsZC4KSW5kZXg6IFNvdXJjZS9KYXZhU2Ny
aXB0Q29yZS9ieXRlY29kZS9WYWx1ZVJlY292ZXJ5LmgKPT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291cmNlL0ph
dmFTY3JpcHRDb3JlL2J5dGVjb2RlL1ZhbHVlUmVjb3ZlcnkuaAkocmV2aXNpb24gMTEyMDQwKQor
KysgU291cmNlL0phdmFTY3JpcHRDb3JlL2J5dGVjb2RlL1ZhbHVlUmVjb3ZlcnkuaAkod29ya2lu
ZyBjb3B5KQpAQCAtMTkyLDYgKzE5Miw4IEBAIHB1YmxpYzoKICAgICAKICAgICBWYWx1ZVJlY292
ZXJ5VGVjaG5pcXVlIHRlY2huaXF1ZSgpIGNvbnN0IHsgcmV0dXJuIG1fdGVjaG5pcXVlOyB9CiAg
ICAgCisgICAgYm9vbCBpc0NvbnN0YW50KCkgY29uc3QgeyByZXR1cm4gbV90ZWNobmlxdWUgPT0g
Q29uc3RhbnQ7IH0KKyAgICAKICAgICBib29sIGlzSW5SZWdpc3RlcnMoKSBjb25zdAogICAgIHsK
ICAgICAgICAgc3dpdGNoIChtX3RlY2huaXF1ZSkgewpAQCAtMjA4LDYgKzIxMCwyMCBAQCBwdWJs
aWM6CiAgICAgICAgIH0KICAgICB9CiAgICAgCisgICAgYm9vbCBpc0FscmVhZHlJblJlZ2lzdGVy
RmlsZSgpIGNvbnN0CisgICAgeworICAgICAgICBzd2l0Y2ggKHRlY2huaXF1ZSgpKSB7CisgICAg
ICAgIGNhc2UgQWxyZWFkeUluUmVnaXN0ZXJGaWxlOgorICAgICAgICBjYXNlIEFscmVhZHlJblJl
Z2lzdGVyRmlsZUFzVW5ib3hlZEludDMyOgorICAgICAgICBjYXNlIEFscmVhZHlJblJlZ2lzdGVy
RmlsZUFzVW5ib3hlZENlbGw6CisgICAgICAgIGNhc2UgQWxyZWFkeUluUmVnaXN0ZXJGaWxlQXNV
bmJveGVkQm9vbGVhbjoKKyAgICAgICAgY2FzZSBBbHJlYWR5SW5SZWdpc3RlckZpbGVBc1VuYm94
ZWREb3VibGU6CisgICAgICAgICAgICByZXR1cm4gdHJ1ZTsKKyAgICAgICAgZGVmYXVsdDoKKyAg
ICAgICAgICAgIHJldHVybiBmYWxzZTsKKyAgICAgICAgfQorICAgIH0KKyAgICAKICAgICBNYWNy
b0Fzc2VtYmxlcjo6UmVnaXN0ZXJJRCBncHIoKSBjb25zdAogICAgIHsKICAgICAgICAgQVNTRVJU
KG1fdGVjaG5pcXVlID09IEluR1BSIHx8IG1fdGVjaG5pcXVlID09IFVuYm94ZWRJbnQzMkluR1BS
IHx8IG1fdGVjaG5pcXVlID09IFVuYm94ZWRCb29sZWFuSW5HUFIgfHwgbV90ZWNobmlxdWUgPT0g
VUludDMySW5HUFIpOwpJbmRleDogU291cmNlL0phdmFTY3JpcHRDb3JlL2RmZy9ERkdTcGVjdWxh
dGl2ZUpJVC5jcHAKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291cmNlL0phdmFTY3JpcHRDb3JlL2RmZy9ERkdT
cGVjdWxhdGl2ZUpJVC5jcHAJKHJldmlzaW9uIDExMjA0MCkKKysrIFNvdXJjZS9KYXZhU2NyaXB0
Q29yZS9kZmcvREZHU3BlY3VsYXRpdmVKSVQuY3BwCSh3b3JraW5nIGNvcHkpCkBAIC05NTQsMTAg
Kzk1NCwxMiBAQCB2b2lkIFNwZWN1bGF0aXZlSklUOjpjb21waWxlKEJhc2ljQmxvY2smCiAgICAg
ICAgICAgICAgICAgaW50IGFyZ3VtZW50Q291bnRJbmNsdWRpbmdUaGlzID0gaW5saW5lQ2FsbEZy
YW1lLT5hcmd1bWVudHMuc2l6ZSgpOwogICAgICAgICAgICAgICAgIGZvciAoaW50IGkgPSAwOyBp
IDwgYXJndW1lbnRDb3VudEluY2x1ZGluZ1RoaXM7ICsraSkgewogICAgICAgICAgICAgICAgICAg
ICBWYWx1ZVJlY292ZXJ5IHJlY292ZXJ5ID0gY29tcHV0ZVZhbHVlUmVjb3ZlcnlGb3IobV92YXJp
YWJsZXNbaW5saW5lQ2FsbEZyYW1lLT5zdGFja09mZnNldCArIENhbGxGcmFtZTo6YXJndW1lbnRP
ZmZzZXRJbmNsdWRpbmdUaGlzKGkpXSk7Ci0gICAgICAgICAgICAgICAgICAgIC8vIFRoZSByZWNv
dmVyeSBjYW5ub3QgcG9pbnQgdG8gcmVnaXN0ZXJzLCBzaW5jZSB0aGUgY2FsbCBmcmFtZSByZWlm
aWNhdGlvbiBpc24ndAotICAgICAgICAgICAgICAgICAgICAvLyBhcyBzbWFydCBhcyBPU1IsIHNv
IGl0IGNhbid0IGhhbmRsZSB0aGF0LiBUaGUgZXhjZXB0aW9uIGlzIHRoZSB0aGlzIGFyZ3VtZW50
LAotICAgICAgICAgICAgICAgICAgICAvLyB3aGljaCB3ZSBkb24ndCByZWFsbHkgbmVlZCB0byBi
ZSBhYmxlIHRvIHJlY292ZXIuCi0gICAgICAgICAgICAgICAgICAgIEFTU0VSVCghaSB8fCAhcmVj
b3ZlcnkuaXNJblJlZ2lzdGVycygpKTsKKyAgICAgICAgICAgICAgICAgICAgLy8gVGhlIHJlY292
ZXJ5IHNob3VsZCByZWZlciBlaXRoZXIgdG8gc29tZXRoaW5nIHRoYXQgaGFzIGFscmVhZHkgYmVl
bgorICAgICAgICAgICAgICAgICAgICAvLyBzdG9yZWQgaW50byB0aGUgcmVnaXN0ZXIgZmlsZSBh
dCB0aGUgcmlnaHQgcGxhY2UsIG9yIHRvIGEgY29uc3RhbnQsCisgICAgICAgICAgICAgICAgICAg
IC8vIHNpbmNlIHRoZSBBcmd1bWVudHMgY29kZSBpc24ndCBzbWFydCBlbm91Z2ggdG8gaGFuZGxl
IGFueXRoaW5nIGVsc2UuCisgICAgICAgICAgICAgICAgICAgIC8vIFRoZSBleGNlcHRpb24gaXMg
dGhlIHRoaXMgYXJndW1lbnQsIHdoaWNoIHdlIGRvbid0IHJlYWxseSBuZWVkIHRvIGJlCisgICAg
ICAgICAgICAgICAgICAgIC8vIGFibGUgdG8gcmVjb3Zlci4KKyAgICAgICAgICAgICAgICAgICAg
QVNTRVJUKCFpIHx8IChyZWNvdmVyeS5pc0FscmVhZHlJblJlZ2lzdGVyRmlsZSgpIHx8IHJlY292
ZXJ5LmlzQ29uc3RhbnQoKSkpOwogICAgICAgICAgICAgICAgICAgICBpbmxpbmVDYWxsRnJhbWUt
PmFyZ3VtZW50c1tpXSA9IHJlY292ZXJ5OwogICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAg
ICAgICBicmVhazsK
</data>
<flag name="review"
          id="138034"
          type_id="1"
          status="+"
          setter="msaboff"
    />
          </attachment>
      

    </bug>

</bugzilla>