Fix regression in for loop

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -835,7 +835,6 @@ private function processStmtNode(
 					$bodyScope = $this->enterForeach($bodyScope, $stmt);
 					$bodyScopeResult = $this->processStmtNodes($stmt, $stmt->stmts, $bodyScope, static function (): void {
 					}, $context->enterDeep())->filterOutLoopExitPoints();
-					$alwaysTerminating = $bodyScopeResult->isAlwaysTerminating();
 					$bodyScope = $bodyScopeResult->getScope();
 					foreach ($bodyScopeResult->getExitPointsByType(Continue_::class) as $continueExitPoint) {
 						$bodyScope = $bodyScope->mergeWith($continueExitPoint->getScope());
@@ -848,7 +847,7 @@ private function processStmtNode(
 						$bodyScope = $prevScope->generalizeWith($bodyScope);
 					}
 					$count++;
-				} while (!$alwaysTerminating && $count < self::LOOP_SCOPE_ITERATIONS);
+				} while ($count < self::LOOP_SCOPE_ITERATIONS);
 			}
 
 			$bodyScope = $bodyScope->mergeWith($this->polluteScopeWithAlwaysIterableForeach ? $scope->filterByTruthyValue($arrayComparisonExpr) : $scope);
@@ -904,7 +903,6 @@ private function processStmtNode(
 					}, ExpressionContext::createDeep())->getTruthyScope();
 					$bodyScopeResult = $this->processStmtNodes($stmt, $stmt->stmts, $bodyScope, static function (): void {
 					}, $context->enterDeep())->filterOutLoopExitPoints();
-					$alwaysTerminating = $bodyScopeResult->isAlwaysTerminating();
 					$bodyScope = $bodyScopeResult->getScope();
 					foreach ($bodyScopeResult->getExitPointsByType(Continue_::class) as $continueExitPoint) {
 						$bodyScope = $bodyScope->mergeWith($continueExitPoint->getScope());
@@ -917,7 +915,7 @@ private function processStmtNode(
 						$bodyScope = $prevScope->generalizeWith($bodyScope);
 					}
 					$count++;
-				} while (!$alwaysTerminating && $count < self::LOOP_SCOPE_ITERATIONS);
+				} while ($count < self::LOOP_SCOPE_ITERATIONS);
 			}
 
 			$bodyScope = $bodyScope->mergeWith($scope);
@@ -999,7 +997,7 @@ private function processStmtNode(
 						$bodyScope = $prevScope->generalizeWith($bodyScope);
 					}
 					$count++;
-				} while (!$alwaysTerminating && $count < self::LOOP_SCOPE_ITERATIONS);
+				} while ($count < self::LOOP_SCOPE_ITERATIONS);
 
 				$bodyScope = $bodyScope->mergeWith($scope);
 			}
@@ -1082,7 +1080,6 @@ private function processStmtNode(
 					}
 					$bodyScopeResult = $this->processStmtNodes($stmt, $stmt->stmts, $bodyScope, static function (): void {
 					}, $context->enterDeep())->filterOutLoopExitPoints();
-					$alwaysTerminating = $bodyScopeResult->isAlwaysTerminating();
 					$bodyScope = $bodyScopeResult->getScope();
 					foreach ($bodyScopeResult->getExitPointsByType(Continue_::class) as $continueExitPoint) {
 						$bodyScope = $bodyScope->mergeWith($continueExitPoint->getScope());
@@ -1103,7 +1100,7 @@ private function processStmtNode(
 						$bodyScope = $prevScope->generalizeWith($bodyScope);
 					}
 					$count++;
-				} while (!$alwaysTerminating && $count < self::LOOP_SCOPE_ITERATIONS);
+				} while ($count < self::LOOP_SCOPE_ITERATIONS);
 			}
 
 			$bodyScope = $bodyScope->mergeWith($initScope);

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -1142,6 +1142,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-82.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-4565.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-3789.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8520.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/bug-8520.php

@@ -0,0 +1,15 @@
+<?php
+
+namespace Bug8520;
+
+use function PHPStan\Testing\assertType;
+
+for ($i = 0; $i < 7; $i++) {
+	assertType('int<0, 6>', $i);
+	$tryMax = true;
+	while ($tryMax) {
+		$tryMax = false;
+	}
+}
+
+assertType('int<7, max>', $i);