fix(42088): fix crash on unreachability condition in for statement (#42110)

Author: a-tarasyuk

src/compiler/checker.ts

@@ -21966,8 +21966,12 @@ namespace ts {
                     return some((<FlowLabel>flow).antecedents, f => isReachableFlowNodeWorker(f, /*noCacheCheck*/ false));
                 }
                 else if (flags & FlowFlags.LoopLabel) {
+                    const antecedents = (<FlowLabel>flow).antecedents;
+                    if (antecedents === undefined || antecedents.length === 0) {
+                        return false;
+                    }
                     // A loop is reachable if the control flow path that leads to the top is reachable.
-                    flow = (<FlowLabel>flow).antecedents![0];
+                    flow = antecedents[0];
                 }
                 else if (flags & FlowFlags.SwitchClause) {
                     // The control flow path representing an unmatched value in a switch statement with

tests/baselines/reference/reachabilityChecks8.errors.txt

@@ -0,0 +1,17 @@
+tests/cases/compiler/reachabilityChecks8.ts(4,24): error TS7027: Unreachable code detected.
+tests/cases/compiler/reachabilityChecks8.ts(5,24): error TS7027: Unreachable code detected.
+
+
+==== tests/cases/compiler/reachabilityChecks8.ts (2 errors) ====
+    try {
+        for (
+            (function () { throw "1"; })();
+            (function () { throw "2"; })();
+                           ~~~~~~~~~~
+!!! error TS7027: Unreachable code detected.
+            (function () { throw "3"; })()
+                           ~~~~~~~~~~
+!!! error TS7027: Unreachable code detected.
+        ) {}
+    } catch (e) {}
+    

tests/baselines/reference/reachabilityChecks8.js

@@ -0,0 +1,15 @@
+//// [reachabilityChecks8.ts]
+try {
+    for (
+        (function () { throw "1"; })();
+        (function () { throw "2"; })();
+        (function () { throw "3"; })()
+    ) {}
+} catch (e) {}
+
+
+//// [reachabilityChecks8.js]
+try {
+    for ((function () { throw "1"; })(); (function () { throw "2"; })(); (function () { throw "3"; })()) { }
+}
+catch (e) { }

tests/baselines/reference/reachabilityChecks8.symbols

@@ -0,0 +1,10 @@
+=== tests/cases/compiler/reachabilityChecks8.ts ===
+try {
+    for (
+        (function () { throw "1"; })();
+        (function () { throw "2"; })();
+        (function () { throw "3"; })()
+    ) {}
+} catch (e) {}
+>e : Symbol(e, Decl(reachabilityChecks8.ts, 6, 9))
+

tests/baselines/reference/reachabilityChecks8.types

@@ -0,0 +1,25 @@
+=== tests/cases/compiler/reachabilityChecks8.ts ===
+try {
+    for (
+        (function () { throw "1"; })();
+>(function () { throw "1"; })() : never
+>(function () { throw "1"; }) : () => never
+>function () { throw "1"; } : () => never
+>"1" : "1"
+
+        (function () { throw "2"; })();
+>(function () { throw "2"; })() : never
+>(function () { throw "2"; }) : () => never
+>function () { throw "2"; } : () => never
+>"2" : "2"
+
+        (function () { throw "3"; })()
+>(function () { throw "3"; })() : never
+>(function () { throw "3"; }) : () => never
+>function () { throw "3"; } : () => never
+>"3" : "3"
+
+    ) {}
+} catch (e) {}
+>e : any
+

tests/cases/compiler/reachabilityChecks8.ts

@@ -0,0 +1,9 @@
+// @allowUnreachableCode: false
+
+try {
+    for (
+        (function () { throw "1"; })();
+        (function () { throw "2"; })();
+        (function () { throw "3"; })()
+    ) {}
+} catch (e) {}