Fix [[Delete]] operation for fast arrays. (#3115)

When popping the last element from a fast array the underlying buffer must be released. This patch fixes #3106. JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik frobert@inf.u-szeged.hu
2019-09-16 03:54:16 -07:00
parent 62025cfa41
commit 436fcbb4b7
2 changed files with 36 additions and 0 deletions
@@ -0,0 +1,26 @@
+// Copyright JS Foundation and other contributors, http://js.foundation
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+var symbol = Symbol();
+var arr = [{}];
+with (arr.pop()){
+    arr.push(symbol.valueOf());
+}
+
+try {
+  arr.length = String.fromCharCode(Object.freeze(arr));
+  assert(false);
+} catch (e) {
+  assert(e instanceof TypeError);
+}