<?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>165012</bug_id>
          
          <creation_ts>2016-11-21 15:03:36 -0800</creation_ts>
          <short_desc>Fix exception scope verification failures in GenericArgumentsInlines.h.</short_desc>
          <delta_ts>2017-03-16 17:51:45 -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></keywords>
          <priority>P2</priority>
          <bug_severity>Normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          <blocked>162351</blocked>
          <everconfirmed>1</everconfirmed>
          <reporter name="Mark Lam">mark.lam</reporter>
          <assigned_to name="Mark Lam">mark.lam</assigned_to>
          <cc>fpizlo</cc>
    
    <cc>ggaren</cc>
    
    <cc>jfbastien</cc>
    
    <cc>keith_miller</cc>
    
    <cc>msaboff</cc>
    
    <cc>saam</cc>
    
    <cc>ysuzuki</cc>
          

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>1253295</commentid>
    <comment_count>0</comment_count>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2016-11-21 15:03:36 -0800</bug_when>
    <thetext>Patch coming.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1253296</commentid>
    <comment_count>1</comment_count>
      <attachid>295315</attachid>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2016-11-21 15:06:36 -0800</bug_when>
    <thetext>Created attachment 295315
proposed patch.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1253298</commentid>
    <comment_count>2</comment_count>
      <attachid>295315</attachid>
    <who name="Saam Barati">saam</who>
    <bug_when>2016-11-21 15:10:20 -0800</bug_when>
    <thetext>Comment on attachment 295315
proposed patch.

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

&gt; Source/JavaScriptCore/runtime/GenericArgumentsInlines.h:213
&gt; +            RETURN_IF_EXCEPTION(scope, false);

I wonder if this should be an assertion instead of a return. Why would this fail?</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1288870</commentid>
    <comment_count>3</comment_count>
      <attachid>295315</attachid>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2017-03-16 17:38:44 -0700</bug_when>
    <thetext>Comment on attachment 295315
proposed patch.

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

&gt;&gt; Source/JavaScriptCore/runtime/GenericArgumentsInlines.h:213
&gt;&gt; +            RETURN_IF_EXCEPTION(scope, false);
&gt; 
&gt; I wonder if this should be an assertion instead of a return. Why would this fail?

I think you&apos;re right.  As far as I can remember, the reason I added this check was because:
1. putDirectMayBeIndex() may call putDirectIndex() with mode PutDirectIndexLikePutDirect.
2. putDirectIndex() may call putDirectIndexBeyondVectorLength().
3. putDirectIndexBeyondVectorLength() may call putDirectIndexBeyondVectorLengthWithArrayStorage().
4. putDirectIndexBeyondVectorLengthWithArrayStorage() may throw if mode == PutDirectIndexShouldThrow.

So, in our case here, we wouldn&apos;t expect an exception because the PutDirectIndexMode is never PutDirectIndexShouldThrow.  I&apos;ll change this to an assert.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1288872</commentid>
    <comment_count>4</comment_count>
      <attachid>304729</attachid>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2017-03-16 17:48:24 -0700</bug_when>
    <thetext>Created attachment 304729
Patch for landing.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>1288876</commentid>
    <comment_count>5</comment_count>
    <who name="Mark Lam">mark.lam</who>
    <bug_when>2017-03-16 17:51:45 -0700</bug_when>
    <thetext>Thanks for the review.  Landed in r214085: &lt;http://trac.webkit.org/r214085&gt;.</thetext>
  </long_desc>
      
          <attachment
              isobsolete="1"
              ispatch="1"
              isprivate="0"
          >
            <attachid>295315</attachid>
            <date>2016-11-21 15:06:36 -0800</date>
            <delta_ts>2017-03-16 17:48:24 -0700</delta_ts>
            <desc>proposed patch.</desc>
            <filename>bug-165012.patch</filename>
            <type>text/plain</type>
            <size>1759</size>
            <attacher name="Mark Lam">mark.lam</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMjA4OTUxKQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDEzIEBA
CisyMDE2LTExLTIxICBNYXJrIExhbSAgPG1hcmsubGFtQGFwcGxlLmNvbT4KKworICAgICAgICBG
aXggZXhjZXB0aW9uIHNjb3BlIHZlcmlmaWNhdGlvbiBmYWlsdXJlcyBpbiBHZW5lcmljQXJndW1l
bnRzSW5saW5lcy5oLgorICAgICAgICBodHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1Zy5j
Z2k/aWQ9MTY1MDEyCisKKyAgICAgICAgUmV2aWV3ZWQgYnkgTk9CT0RZIChPT1BTISkuCisKKyAg
ICAgICAgKiBydW50aW1lL0dlbmVyaWNBcmd1bWVudHNJbmxpbmVzLmg6CisgICAgICAgIChKU0M6
OkdlbmVyaWNBcmd1bWVudHM8VHlwZT46OmRlZmluZU93blByb3BlcnR5KToKKwogMjAxNi0xMS0y
MSAgTWFyayBMYW0gIDxtYXJrLmxhbUBhcHBsZS5jb20+CiAKICAgICAgICAgRml4IGV4Y2VwdGlv
biBzY29wZSB2ZXJpZmljYXRpb24gZmFpbHVyZXMgaW4gKkV4ZWN1dGFibGUuY3BwIGZpbGVzLgpJ
bmRleDogU291cmNlL0phdmFTY3JpcHRDb3JlL3J1bnRpbWUvR2VuZXJpY0FyZ3VtZW50c0lubGlu
ZXMuaAo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09Ci0tLSBTb3VyY2UvSmF2YVNjcmlwdENvcmUvcnVudGltZS9HZW5lcmlj
QXJndW1lbnRzSW5saW5lcy5oCShyZXZpc2lvbiAyMDg5NTEpCisrKyBTb3VyY2UvSmF2YVNjcmlw
dENvcmUvcnVudGltZS9HZW5lcmljQXJndW1lbnRzSW5saW5lcy5oCSh3b3JraW5nIGNvcHkpCkBA
IC0xODAsNiArMTgwLDcgQEAgYm9vbCBHZW5lcmljQXJndW1lbnRzPFR5cGU+OjpkZWZpbmVPd25Q
cgogewogICAgIFR5cGUqIHRoaXNPYmplY3QgPSBqc0Nhc3Q8VHlwZSo+KG9iamVjdCk7CiAgICAg
Vk0mIHZtID0gZXhlYy0+dm0oKTsKKyAgICBhdXRvIHNjb3BlID0gREVDTEFSRV9USFJPV19TQ09Q
RSh2bSk7CiAgICAgCiAgICAgaWYgKGlkZW50ID09IHZtLnByb3BlcnR5TmFtZXMtPmxlbmd0aAog
ICAgICAgICB8fCBpZGVudCA9PSB2bS5wcm9wZXJ0eU5hbWVzLT5jYWxsZWUKQEAgLTIwOSwxMSAr
MjEwLDEzIEBAIGJvb2wgR2VuZXJpY0FyZ3VtZW50czxUeXBlPjo6ZGVmaW5lT3duUHIKICAgICAg
ICAgICAgIEpTVmFsdWUgdmFsdWUgPSB0aGlzT2JqZWN0LT5nZXRJbmRleFF1aWNrbHkoaW5kZXgp
OwogICAgICAgICAgICAgQVNTRVJUKHZhbHVlKTsKICAgICAgICAgICAgIG9iamVjdC0+cHV0RGly
ZWN0TWF5QmVJbmRleChleGVjLCBpZGVudCwgdmFsdWUpOworICAgICAgICAgICAgUkVUVVJOX0lG
X0VYQ0VQVElPTihzY29wZSwgZmFsc2UpOwogICAgICAgICAgICAgdGhpc09iamVjdC0+b3ZlcnJp
ZGVBcmd1bWVudCh2bSwgaW5kZXgpOwogICAgICAgICB9CiAgICAgfQogICAgIAogICAgIC8vIE5v
dyBqdXN0IGxldCB0aGUgbm9ybWFsIG9iamVjdCBtYWNoaW5lcnkgZG8gaXRzIHRoaW5nLgorICAg
IHNjb3BlLnJlbGVhc2UoKTsKICAgICByZXR1cm4gQmFzZTo6ZGVmaW5lT3duUHJvcGVydHkob2Jq
ZWN0LCBleGVjLCBpZGVudCwgZGVzY3JpcHRvciwgc2hvdWxkVGhyb3cpOwogfQogCg==
</data>
<flag name="review"
          id="317932"
          type_id="1"
          status="+"
          setter="saam"
    />
          </attachment>
          <attachment
              isobsolete="0"
              ispatch="1"
              isprivate="0"
          >
            <attachid>304729</attachid>
            <date>2017-03-16 17:48:24 -0700</date>
            <delta_ts>2017-03-16 17:48:24 -0700</delta_ts>
            <desc>Patch for landing.</desc>
            <filename>bug-165012.patch</filename>
            <type>text/plain</type>
            <size>1894</size>
            <attacher name="Mark Lam">mark.lam</attacher>
            
              <data encoding="base64">SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291
cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMjE0MDgzKQorKysgU291cmNl
L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDEzIEBA
CisyMDE3LTAzLTE2ICBNYXJrIExhbSAgPG1hcmsubGFtQGFwcGxlLmNvbT4KKworICAgICAgICBG
aXggZXhjZXB0aW9uIHNjb3BlIHZlcmlmaWNhdGlvbiBmYWlsdXJlcyBpbiBHZW5lcmljQXJndW1l
bnRzSW5saW5lcy5oLgorICAgICAgICBodHRwczovL2J1Z3Mud2Via2l0Lm9yZy9zaG93X2J1Zy5j
Z2k/aWQ9MTY1MDEyCisKKyAgICAgICAgUmV2aWV3ZWQgYnkgU2FhbSBCYXJhdGkuCisKKyAgICAg
ICAgKiBydW50aW1lL0dlbmVyaWNBcmd1bWVudHNJbmxpbmVzLmg6CisgICAgICAgIChKU0M6Okdl
bmVyaWNBcmd1bWVudHM8VHlwZT46OmRlZmluZU93blByb3BlcnR5KToKKwogMjAxNy0wMy0xNiAg
TWFyayBMYW0gIDxtYXJrLmxhbUBhcHBsZS5jb20+CiAKICAgICAgICAgQXJyYXkgY29uY2F0IG9w
ZXJhdGlvbiBzaG91bGQgY2hlY2sgZm9yIGxlbmd0aCBvdmVyZmxvd3MuCkluZGV4OiBTb3VyY2Uv
SmF2YVNjcmlwdENvcmUvcnVudGltZS9HZW5lcmljQXJndW1lbnRzSW5saW5lcy5oCj09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT0KLS0tIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9ydW50aW1lL0dlbmVyaWNBcmd1bWVudHNJbmxp
bmVzLmgJKHJldmlzaW9uIDIxNDA4MykKKysrIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9ydW50aW1l
L0dlbmVyaWNBcmd1bWVudHNJbmxpbmVzLmgJKHdvcmtpbmcgY29weSkKQEAgLTIwMCw2ICsyMDAs
NyBAQCBib29sIEdlbmVyaWNBcmd1bWVudHM8VHlwZT46OmRlZmluZU93blByCiB7CiAgICAgVHlw
ZSogdGhpc09iamVjdCA9IGpzQ2FzdDxUeXBlKj4ob2JqZWN0KTsKICAgICBWTSYgdm0gPSBleGVj
LT52bSgpOworICAgIGF1dG8gc2NvcGUgPSBERUNMQVJFX1RIUk9XX1NDT1BFKHZtKTsKICAgICAK
ICAgICBpZiAoaWRlbnQgPT0gdm0ucHJvcGVydHlOYW1lcy0+bGVuZ3RoCiAgICAgICAgIHx8IGlk
ZW50ID09IHZtLnByb3BlcnR5TmFtZXMtPmNhbGxlZQpAQCAtMjI2LDcgKzIyNyw4IEBAIGJvb2wg
R2VuZXJpY0FyZ3VtZW50czxUeXBlPjo6ZGVmaW5lT3duUHIKICAgICAgICAgICAgICAgICAgICAg
SlNWYWx1ZSB2YWx1ZSA9IHRoaXNPYmplY3QtPmdldEluZGV4UXVpY2tseShpbmRleCk7CiAgICAg
ICAgICAgICAgICAgICAgIEFTU0VSVCh2YWx1ZSk7CiAgICAgICAgICAgICAgICAgICAgIG9iamVj
dC0+cHV0RGlyZWN0TWF5QmVJbmRleChleGVjLCBpZGVudCwgdmFsdWUpOwotICAgICAgICAgICAg
ICAgICAgICAKKyAgICAgICAgICAgICAgICAgICAgQVNTRVJUKCFzY29wZS5leGNlcHRpb24oKSk7
CisKICAgICAgICAgICAgICAgICAgICAgdGhpc09iamVjdC0+c2V0TW9kaWZpZWRBcmd1bWVudERl
c2NyaXB0b3Iodm0sIGluZGV4KTsKICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICB9CkBA
IC0yNTAsNiArMjUyLDcgQEAgYm9vbCBHZW5lcmljQXJndW1lbnRzPFR5cGU+OjpkZWZpbmVPd25Q
cgogICAgIH0KIAogICAgIC8vIE5vdyBqdXN0IGxldCB0aGUgbm9ybWFsIG9iamVjdCBtYWNoaW5l
cnkgZG8gaXRzIHRoaW5nLgorICAgIHNjb3BlLnJlbGVhc2UoKTsKICAgICByZXR1cm4gQmFzZTo6
ZGVmaW5lT3duUHJvcGVydHkob2JqZWN0LCBleGVjLCBpZGVudCwgZGVzY3JpcHRvciwgc2hvdWxk
VGhyb3cpOwogfQogCg==
</data>

          </attachment>
      

    </bug>

</bugzilla>