Skip to content

Commit 92edcff

Browse files
ajafffajafff
committed
No error on indirect calls
Fixes: microsoft#35866
1 parent 0f5ddd2 commit 92edcff

File tree

6 files changed

+87
-6
lines changed

6 files changed

+87
-6
lines changed

‎src/compiler/checker.ts

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -27104,7 +27104,7 @@ namespace ts {
2710427104
return getRegularTypeOfObjectLiteral(rightType);
2710527105
}
2710627106
case SyntaxKind.CommaToken:
27107-
if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isEvalNode(right)) {
27107+
if (!compilerOptions.allowUnreachableCode && isSideEffectFree(left) && !isInIndirectCall(<BinaryExpression>left.parent)) {
2710827108
error(left, Diagnostics.Left_side_of_comma_operator_is_unused_and_has_no_side_effects);
2710927109
}
2711027110
return rightType;
@@ -27133,8 +27133,9 @@ namespace ts {
2713327133
}
2713427134
}
2713527135

27136-
function isEvalNode(node: Expression) {
27137-
return node.kind === SyntaxKind.Identifier && (node as Identifier).escapedText === "eval";
27136+
function isInIndirectCall(node: BinaryExpression) {
27137+
return node.parent.kind === SyntaxKind.ParenthesizedExpression && (isCallExpression(node.parent.parent) && node.parent.parent.expression === node.parent || node.parent.parent.kind === SyntaxKind.TaggedTemplateExpression) &&
27138+
(isAccessExpression(node.right) || isIdentifier(node.right) && node.right.escapedText === "eval");
2713827139
}
2713927140

2714027141
// Return true if there was no error, false if there was an error.

‎tests/baselines/reference/commaOperatorLeftSideUnused.errors.txt

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,10 @@ tests/cases/compiler/commaOperatorLeftSideUnused.ts(38,7): error TS2695: Left si
2121
tests/cases/compiler/commaOperatorLeftSideUnused.ts(39,7): error TS2695: Left side of comma operator is unused and has no side effects.
2222
tests/cases/compiler/commaOperatorLeftSideUnused.ts(40,7): error TS2695: Left side of comma operator is unused and has no side effects.
2323
tests/cases/compiler/commaOperatorLeftSideUnused.ts(41,7): error TS2695: Left side of comma operator is unused and has no side effects.
24+
tests/cases/compiler/commaOperatorLeftSideUnused.ts(42,7): error TS2695: Left side of comma operator is unused and has no side effects.
2425

2526

26-
==== tests/cases/compiler/commaOperatorLeftSideUnused.ts (23 errors) ====
27+
==== tests/cases/compiler/commaOperatorLeftSideUnused.ts (24 errors) ====
2728
var xx: any;
2829
var yy: any;
2930

@@ -111,6 +112,9 @@ tests/cases/compiler/commaOperatorLeftSideUnused.ts(41,7): error TS2695: Left si
111112
xx = (+xx, 10);
112113
~~~
113114
!!! error TS2695: Left side of comma operator is unused and has no side effects.
115+
xx = (0, xx)();
116+
~
117+
!!! error TS2695: Left side of comma operator is unused and has no side effects.
114118

115119
// OK cases
116120
xx = (xx ? x++ : 4, 10);
@@ -122,4 +126,6 @@ tests/cases/compiler/commaOperatorLeftSideUnused.ts(41,7): error TS2695: Left si
122126
xx = (Math.pow(3, 2), 4);
123127
xx = (void xx, 10);
124128
xx = (xx as any, 100);
125-
129+
xx = (0, xx.fn)();
130+
xx = (0, xx['fn'])();
131+
xx = (0, xx.fn)``;

‎tests/baselines/reference/commaOperatorLeftSideUnused.js

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ xx = (!xx, 10);
4040
xx = (~xx, 10);
4141
xx = (-xx, 10);
4242
xx = (+xx, 10);
43+
xx = (0, xx)();
4344

4445
// OK cases
4546
xx = (xx ? x++ : 4, 10);
@@ -51,9 +52,15 @@ xx = ((xx+= 4), xx);
5152
xx = (Math.pow(3, 2), 4);
5253
xx = (void xx, 10);
5354
xx = (xx as any, 100);
54-
55+
xx = (0, xx.fn)();
56+
xx = (0, xx['fn'])();
57+
xx = (0, xx.fn)``;
5558

5659
//// [commaOperatorLeftSideUnused.js]
60+
var __makeTemplateObject = (this && this.__makeTemplateObject) || function (cooked, raw) {
61+
if (Object.defineProperty) { Object.defineProperty(cooked, "raw", { value: raw }); } else { cooked.raw = raw; }
62+
return cooked;
63+
};
5764
var xx;
5865
var yy;
5966
function fn() {
@@ -91,6 +98,7 @@ xx = (!xx, 10);
9198
xx = (~xx, 10);
9299
xx = (-xx, 10);
93100
xx = (+xx, 10);
101+
xx = (0, xx)();
94102
// OK cases
95103
xx = (xx ? x++ : 4, 10);
96104
xx = (--xx, 3);
@@ -101,3 +109,6 @@ xx = ((xx += 4), xx);
101109
xx = (Math.pow(3, 2), 4);
102110
xx = (void xx, 10);
103111
xx = (xx, 100);
112+
xx = (0, xx.fn)();
113+
xx = (0, xx['fn'])();
114+
xx = (0, xx.fn)(__makeTemplateObject([""], [""]));

‎tests/baselines/reference/commaOperatorLeftSideUnused.symbols

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -109,6 +109,10 @@ xx = (+xx, 10);
109109
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
110110
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
111111

112+
xx = (0, xx)();
113+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
114+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
115+
112116
// OK cases
113117
xx = (xx ? x++ : 4, 10);
114118
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
@@ -151,3 +155,15 @@ xx = (xx as any, 100);
151155
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
152156
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
153157

158+
xx = (0, xx.fn)();
159+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
160+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
161+
162+
xx = (0, xx['fn'])();
163+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
164+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
165+
166+
xx = (0, xx.fn)``;
167+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
168+
>xx : Symbol(xx, Decl(commaOperatorLeftSideUnused.ts, 0, 3))
169+

‎tests/baselines/reference/commaOperatorLeftSideUnused.types

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -240,6 +240,15 @@ xx = (+xx, 10);
240240
>xx : any
241241
>10 : 10
242242

243+
xx = (0, xx)();
244+
>xx = (0, xx)() : any
245+
>xx : any
246+
>(0, xx)() : any
247+
>(0, xx) : any
248+
>0, xx : any
249+
>0 : 0
250+
>xx : any
251+
243252
// OK cases
244253
xx = (xx ? x++ : 4, 10);
245254
>xx = (xx ? x++ : 4, 10) : 10
@@ -335,3 +344,37 @@ xx = (xx as any, 100);
335344
>xx : any
336345
>100 : 100
337346

347+
xx = (0, xx.fn)();
348+
>xx = (0, xx.fn)() : any
349+
>xx : any
350+
>(0, xx.fn)() : any
351+
>(0, xx.fn) : any
352+
>0, xx.fn : any
353+
>0 : 0
354+
>xx.fn : any
355+
>xx : any
356+
>fn : any
357+
358+
xx = (0, xx['fn'])();
359+
>xx = (0, xx['fn'])() : any
360+
>xx : any
361+
>(0, xx['fn'])() : any
362+
>(0, xx['fn']) : any
363+
>0, xx['fn'] : any
364+
>0 : 0
365+
>xx['fn'] : any
366+
>xx : any
367+
>'fn' : "fn"
368+
369+
xx = (0, xx.fn)``;
370+
>xx = (0, xx.fn)`` : any
371+
>xx : any
372+
>(0, xx.fn)`` : any
373+
>(0, xx.fn) : any
374+
>0, xx.fn : any
375+
>0 : 0
376+
>xx.fn : any
377+
>xx : any
378+
>fn : any
379+
>`` : ""
380+

‎tests/cases/compiler/commaOperatorLeftSideUnused.ts

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ xx = (!xx, 10);
4040
xx = (~xx, 10);
4141
xx = (-xx, 10);
4242
xx = (+xx, 10);
43+
xx = (0, xx)();
4344

4445
// OK cases
4546
xx = (xx ? x++ : 4, 10);
@@ -51,3 +52,6 @@ xx = ((xx+= 4), xx);
5152
xx = (Math.pow(3, 2), 4);
5253
xx = (void xx, 10);
5354
xx = (xx as any, 100);
55+
xx = (0, xx.fn)();
56+
xx = (0, xx['fn'])();
57+
xx = (0, xx.fn)``;

0 commit comments

Comments
 (0)