fix: check whether RegExp have the global or sticky flags set

rollup · Dec 10, 2022 · 10f49e8 · 10f49e8
1 parent 2c23141
commit 10f49e8
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 3 deletions.
diff --git a/src/ast/values.ts b/src/ast/values.ts
@@ -200,7 +200,8 @@ const literalNumberMembers: MemberDescriptions = assembleMemberDescriptions(
 	objectMembers
 );
 
-const literalRegExpMembers: MemberDescriptions = assembleMemberDescriptions(
+// RegExp are stateful when they have the global or sticky flags set.
+const literalParticularRegExpMembers: MemberDescriptions = assembleMemberDescriptions(
 	{
 		exec: returnsUnknown,
 		test: returnsBoolean
@@ -266,8 +267,8 @@ export const literalStringMembers: MemberDescriptions = assembleMemberDescriptio
 export function getLiteralMembersForValue<T extends LiteralValue = LiteralValue>(
 	value: T
 ): MemberDescriptions {
-	if (value instanceof RegExp) {
-		return literalRegExpMembers;
+	if (value instanceof RegExp && !value.global && !value.sticky) {
+		return literalParticularRegExpMembers;
 	}
 	switch (typeof value) {
 		case 'boolean': {

diff --git a/test/form/samples/builtin-prototypes/literal/_expected.js b/test/form/samples/builtin-prototypes/literal/_expected.js
@@ -17,6 +17,9 @@ true.valueOf().unknown.unknown().unknown;
 'ab'.charAt(1).unknown.unknown();
 'ab'.charAt(1).unknown.unknown().unknown;
 
+/1/g.exec(1);
+/1/y.exec(1);
+
 null.unknown;
 'ab'.replace('a', () => console.log(1) || 'b');
 'ab'.replaceAll('a', () => console.log(1) || 'b');

diff --git a/test/form/samples/builtin-prototypes/literal/main.js b/test/form/samples/builtin-prototypes/literal/main.js
@@ -17,6 +17,9 @@ true.valueOf().unknown.unknown().unknown;
 'ab'.charAt(1).unknown.unknown();
 'ab'.charAt(1).unknown.unknown().unknown;
 
+/1/g.exec(1);
+/1/y.exec(1);
+
 null.unknown;
 
 // boolean prototype