From 3ad76f932c8d2e3b9ba2d95e64848698ec7d7290 Mon Sep 17 00:00:00 2001
From: Robert Fancsik <robert.fancsik@h-lab.eu>
Date: Tue, 2 Nov 2021 08:40:07 +0100
Subject: [PATCH] Fix for-in collection cleanup on abrupt 'has' result (#4807)

This patch fixes #4747

JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik robert.fancsik@h-lab.eu
---
 jerry-core/vm/vm.c                            |  1 +
 .../es.next/regression-test-issue-4747.js     | 32 +++++++++++++++++++
 2 files changed, 33 insertions(+)
 create mode 100644 tests/jerry/es.next/regression-test-issue-4747.js

diff --git a/jerry-core/vm/vm.c b/jerry-core/vm/vm.c
index ab40ec01b..b6fef5df5 100644
--- a/jerry-core/vm/vm.c
+++ b/jerry-core/vm/vm.c
@@ -4144,6 +4144,7 @@ vm_loop (vm_frame_ctx_t *frame_ctx_p) /**< frame context */
 
             if (ECMA_IS_VALUE_ERROR (result))
             {
+              stack_top_p[-3] = index;
               goto error;
             }
 
diff --git a/tests/jerry/es.next/regression-test-issue-4747.js b/tests/jerry/es.next/regression-test-issue-4747.js
new file mode 100644
index 000000000..ef9d633e1
--- /dev/null
+++ b/tests/jerry/es.next/regression-test-issue-4747.js
@@ -0,0 +1,32 @@
+// 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 a = new Int32Array(256);
+try {
+    a.sort(function () {
+        var o = new Proxy(this, {
+            has: function () {},
+            get: function () {
+                a = true;
+                return 30;
+            }
+        });
+        var result = "";
+        for (var p in o)
+            result += o[p];
+    });
+    assert(false);
+} catch (e) {
+    assert(e instanceof TypeError);
+}