<html>
    <head>
      <base href="https://bugs.webkit.org/" />
    </head>
    <body><table border="1" cellspacing="0" cellpadding="8">
        <tr>
          <th>Bug ID</th>
          <td><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Array.prototype.slice should not modify frozen objects"
   href="https://bugs.webkit.org/show_bug.cgi?id=163338">163338</a>
          </td>
        </tr>

        <tr>
          <th>Summary</th>
          <td>Array.prototype.slice should not modify frozen objects
          </td>
        </tr>

        <tr>
          <th>Classification</th>
          <td>Unclassified
          </td>
        </tr>

        <tr>
          <th>Product</th>
          <td>WebKit
          </td>
        </tr>

        <tr>
          <th>Version</th>
          <td>WebKit Local Build
          </td>
        </tr>

        <tr>
          <th>Hardware</th>
          <td>Unspecified
          </td>
        </tr>

        <tr>
          <th>OS</th>
          <td>Unspecified
          </td>
        </tr>

        <tr>
          <th>Status</th>
          <td>NEW
          </td>
        </tr>

        <tr>
          <th>Severity</th>
          <td>Normal
          </td>
        </tr>

        <tr>
          <th>Priority</th>
          <td>P2
          </td>
        </tr>

        <tr>
          <th>Component</th>
          <td>JavaScriptCore
          </td>
        </tr>

        <tr>
          <th>Assignee</th>
          <td>webkit-unassigned&#64;lists.webkit.org
          </td>
        </tr>

        <tr>
          <th>Reporter</th>
          <td>mark.lam&#64;apple.com
          </td>
        </tr></table>
      <p>
        <div>
        <pre>The ES6 spec for Array.prototype.slice (<a href="https://tc39.github.io/ecma262/#sec-array.prototype.slice">https://tc39.github.io/ecma262/#sec-array.prototype.slice</a>) states that it uses the CreateDataPropertyOrThrow() (<a href="https://tc39.github.io/ecma262/#sec-createdatapropertyorthrow">https://tc39.github.io/ecma262/#sec-createdatapropertyorthrow</a>) to add items to the result array.  The spec for CreateDataPropertyOrThrow states:

&quot;This abstract operation creates a property whose attributes are set to the same defaults used for properties created by the ECMAScript language assignment operator. Normally, the property will not already exist. If it does exist and is not configurable or if O is not extensible, [[DefineOwnProperty]] will return false causing this operation to throw a TypeError exception.&quot;

Array.prototype.slice also uses a Set function (<a href="https://tc39.github.io/ecma262/#sec-set-o-p-v-throw">https://tc39.github.io/ecma262/#sec-set-o-p-v-throw</a>) to set the &quot;length&quot; property and passes true for the Throw argument.  Ultimately, it ends up calling the OrdinarySet function (<a href="https://tc39.github.io/ecma262/#sec-ordinaryset">https://tc39.github.io/ecma262/#sec-ordinaryset</a>) that will fail if the property is not writable.  This failure should result in a TypeError being thrown in Set.

Since the properties of frozen objects are not extensible, not configurable, and not writeable, Array.prototype.slice should fail to write to the result array if it is frozen.</pre>
        </div>
      </p>
      <hr>
      <span>You are receiving this mail because:</span>
      
      <ul>
          <li>You are the assignee for the bug.</li>
      </ul>
    </body>
</html>