disallow surrogate in the end of contextual name

JLHwung · JLHwung · commit 4b2b6090a1cf · 2021-05-26T11:44:55.000-04:00
diff --git a/packages/babel-parser/src/parser/util.js b/packages/babel-parser/src/parser/util.js
@@ -71,11 +71,17 @@ export default class UtilParser extends Tokenizer {
 
   isUnparsedContextual(nameStart: number, name: string): boolean {
     const nameEnd = nameStart + name.length;
-    return (
-      this.input.slice(nameStart, nameEnd) === name &&
-      (nameEnd === this.input.length ||
-        !isIdentifierChar(this.input.charCodeAt(nameEnd)))
-    );
+    if (this.input.slice(nameStart, nameEnd) === name) {
+      const nextCh = this.input.charCodeAt(nameEnd);
+      return !(
+        isIdentifierChar(nextCh) ||
+        // check if `nextCh is between 0xd800 - 0xdbff,
+        // if `nextCh` is NaN, `NaN & 0xfc00` is 0, the function
+        // returns true
+        (nextCh & 0xfc00) === 0xd800
+      );
+    }
+    return false;
   }
 
   isLookaheadContextual(name: string): boolean {
diff --git a/packages/babel-parser/test/fixtures/es2017/async-functions/async-function-and-non-bmp-character/input.js b/packages/babel-parser/test/fixtures/es2017/async-functions/async-function-and-non-bmp-character/input.js
@@ -0,0 +1 @@
+async function𝐬 f() {}
diff --git a/packages/babel-parser/test/fixtures/es2017/async-functions/async-function-and-non-bmp-character/output.json b/packages/babel-parser/test/fixtures/es2017/async-functions/async-function-and-non-bmp-character/output.json
@@ -0,0 +1,56 @@
+{
+  "type": "File",
+  "start":0,"end":23,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":23}},
+  "errors": [
+    "SyntaxError: Missing semicolon. (1:5)",
+    "SyntaxError: Missing semicolon. (1:16)",
+    "SyntaxError: Missing semicolon. (1:20)"
+  ],
+  "program": {
+    "type": "Program",
+    "start":0,"end":23,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":23}},
+    "sourceType": "script",
+    "interpreter": null,
+    "body": [
+      {
+        "type": "ExpressionStatement",
+        "start":0,"end":5,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":5}},
+        "expression": {
+          "type": "Identifier",
+          "start":0,"end":5,"loc":{"start":{"line":1,"column":0},"end":{"line":1,"column":5},"identifierName":"async"},
+          "name": "async"
+        }
+      },
+      {
+        "type": "ExpressionStatement",
+        "start":6,"end":16,"loc":{"start":{"line":1,"column":6},"end":{"line":1,"column":16}},
+        "expression": {
+          "type": "Identifier",
+          "start":6,"end":16,"loc":{"start":{"line":1,"column":6},"end":{"line":1,"column":16},"identifierName":"function𝐬"},
+          "name": "function𝐬"
+        }
+      },
+      {
+        "type": "ExpressionStatement",
+        "start":17,"end":20,"loc":{"start":{"line":1,"column":17},"end":{"line":1,"column":20}},
+        "expression": {
+          "type": "CallExpression",
+          "start":17,"end":20,"loc":{"start":{"line":1,"column":17},"end":{"line":1,"column":20}},
+          "callee": {
+            "type": "Identifier",
+            "start":17,"end":18,"loc":{"start":{"line":1,"column":17},"end":{"line":1,"column":18},"identifierName":"f"},
+            "name": "f"
+          },
+          "arguments": []
+        }
+      },
+      {
+        "type": "BlockStatement",
+        "start":21,"end":23,"loc":{"start":{"line":1,"column":21},"end":{"line":1,"column":23}},
+        "body": [],
+        "directives": []
+      }
+    ],
+    "directives": []
+  }
+}
