[GR-62433] [GR-63216] Fix ClassCastException in super property access.

PullRequest: js/3455

Author: woess

graal-js/src/com.oracle.js.parser/src/com/oracle/js/parser/Parser.java

@@ -7561,7 +7561,7 @@ private void markSuperProperty() {
         if (currentFunction.isMethod()) {
             currentFunction.setFlag(FunctionNode.USES_SUPER);
             addIdentifierReference(SUPER.getName());
-            addIdentifierReference(THIS.getName());
+            markThis();
         }
     }
 

graal-js/src/com.oracle.truffle.js.test/js/GR-62433.js

@@ -0,0 +1,45 @@
+/*
+ * Copyright (c) 2025, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * Licensed under the Universal Permissive License v 1.0 as shown at http://oss.oracle.com/licenses/upl.
+ */
+
+/**
+ * Regression test for implicit use of lexical `this` via `super` in a nested arrow function.
+ */
+new class C1 {
+    constructor() {
+        (() => {
+            for (let i = (() => super.a = 0)();
+                i >= 0;
+                (() => (this, i--))()) {
+            }
+        })();
+    }
+};
+
+// original test case
+class C2 {
+    constructor(a4, a5) {
+        class C6 {
+        }
+        for (let i9 = 0, i10 = 10;
+            i10--;
+            (() => {
+                for (let [i15, i16] = (() => {
+                        super.a = 0;
+                        return [0, 10];
+                    })();
+                    i16;
+                    (() => {
+                        this * Uint8Array;
+                        C6[8] = "o";
+                        i16--;
+                    })()) {
+                }
+            })()) {
+        }
+    }
+}
+new C2();

graal-js/src/com.oracle.truffle.js.test/js/GR-63216.js

@@ -0,0 +1,58 @@
+/*
+ * Copyright (c) 2025, Oracle and/or its affiliates. All rights reserved.
+ * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
+ *
+ * Licensed under the Universal Permissive License v 1.0 as shown at http://oss.oracle.com/licenses/upl.
+ */
+
+/**
+ * Regression test for implicit use of lexical `this` via `super` in a nested arrow function.
+ */
+class C0 {
+    constructor() {
+        for (let i = 0;
+            (() => {
+                this; // explicit use of `this`
+                for (let j = 0;
+                    (() => {
+                        super.toString(); // implicit use of `this`
+                        return j < 1;
+                    })();
+                    j++) {
+                }
+                return i < 1;
+            })();
+            i++) {
+        }
+    }
+}
+new C0();
+
+// bonus test case
+class C1 extends C0 {
+    constructor() {
+        for (let i = 0;
+            (() => {
+                for (let j = 0;
+                    (() => {
+                        super();
+                        return j < 0;
+                    })();
+                    j++) {
+                }
+                for (let j = 0;
+                     (() => {
+                         super.toString();
+                         return j < 0;
+                     })();
+                     j++) {
+                }
+                this.toString();
+                return i < 1;
+            })();
+            i++) {
+            break;
+        }
+    }
+}
+new C1();